Select Papers

Large-scale Study of Substitutability in the Presence of Effects

FSE '18

Collective Program Analysis

ICSE '18

Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow

ICSE '18

Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-based Specification Mining

OOPSLA '17

On Accelerating Ultra-Large-Scale Mining

ICSE '17 (NIER)

Capsule-Oriented Programming

ICSE '15 (NIER)

Boa: Ultra-Large-Scale Software Repository and Source-Code Mining

TOSEM '15

Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence

ICSE '15 (NIER)

First-Class Effect Reflection for Effect-Guided Programming

OOPSLA '16

Intensional Effect Polymorphism

ECOOP '15

Effectively Mapping Linguistic Abstractions for Message-passing Concurrency to Threads on the Java Virtual Machine

OOPSLA '15

Mining Preconditions of APIs in Large-scale Code Corpus

FSE '14

Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features

ICSE '14

Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors

CGO '11

Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems

ESEC/FSE '09

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

ESOP '09

Ptolemy: A Language with Quantified Typed, Events

ECOOP '08

News