Select Papers

On Decomposing a Deep Neural Network into Modules

ESEC-FSE '20

Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness

ESEC-FSE '20

Repairing Deep Neural Networks Fix Patterns and Challenges

ICSE '20

BCFA Bespoke Control Flow Analysis for CFA at Scale

ICSE '20

A Comprehensive Study on Deep Learning Bug Characteristics

ESEC-FSE '19

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

News