Recent / Selected Publications

PLDI'16
Statistical Similarity in Binaries
ICSE'16
Cross-Supervised Synthesis of Web-Crawlers
VMCAI'16
D3 : Data-Driven Disjunctive Abstraction
POPL'16
Estimating Types in Binaries using Predictive Modeling
OBT'15
Code Similarity via Natural Language Descriptions [slides] [talk]
BlackHat'15
Exploiting Social Navigation (BlackHat Asia)
PPOPP'15
Automatic Scalable Atomicity via Semantic Locking
VMCAI'15
Effective Abstractions for Verification under Relaxed Memory Models
OOPSLA14
Abstract Semantic Differencing via Speculative Correlation [code]
PLDI14
Tracelet-Based Code Search in Executables [code]
PLDI14
Code Completion with Statistical Language Models
PPOPP14
Practical concurrent binary search trees via logical ordering [code]
PPOPP14
Automatic semantic locking
SAS14
Synthesis of Memory Fences via Refinement Propagation
SAS13
Automatic Synthesis of Deterministic Concurrency
SAS13
Predicate Abstraction for Relaxed Memory Models
SAS13
Abstract Semantic Differencing for Numerical Programs [code]
SAS13
Symbolic Automata for Specification Mining
PLDI13
Concurrent Libraries with Foresight
OOPSLA12
Typestate-Based Semantic Code Search over Partial Programs [code]
PLDI12
Dynamic Synthesis for Relaxed Memory Models
PLDI12
Scalable and Precise Dynamic Datarace Detection for Structured Parallelism
OOPSLA11
Testing Atomicity of Composed Concurrent Operations
OOPSLA11
Automatic Fine-Grained Locking using Shape Properties
OOPSLA11
Asynchronous Assertions
PLDI11
Partial-Coherence Abstractions for Relaxed Memory Models
POPL10
Abstraction-Guided Synthesis of Synchronization