Students

Yanju Chen (PhD)

Junrui Liu (PhD)

Bryan Tan (BS/MS)

Recent Publications

More Publications

. Visualization Question Answering Using Introspective Program Synthesis. PLDI, 2022.

PDF

. Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation. ASPLOS, 2022.

PDF

. SolType: Refinement Types for Solidity. POPL, 2022.

PDF

. Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis. To appear at OOPSLA, 2022.

PDF

. Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring. To appear at OOPSLA, 2022 (Revision).

PDF

. SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. IEEE Security & Privacy, 2022 (Oakland).

PDF

. Checking Conformance of Applications against GUI Policies. FSE, 2021.

PDF

. Falx: Synthesis-Powered Visualization Authoring. (Best Paper Award) CHI, 2021.

PDF

. Summary-Based Symbolic Evaluation for Smart Contracts. (Distinguished Paper Award) ASE, 2020.

PDF

. Demystifying Loops in Smart Contracts. ASE, 2020.

PDF

. Program Synthesis using Deduction-Guided Reinforcement Learning. CAV, 2020.

PDF

. Visualization by Example. POPL, 2020.

PDF

. OAuthLint: An Empirical Study on OAuth Bugs in Android Applications. ASE, 2019.

PDF

. Maximal Multi-layer Specification Synthesis. FSE, 2019.

PDF

. Relational Verification using Reinforcement Learning. OOPSLA, 2019.

PDF

. Trinity: An Extensible Synthesis Framework for Data Science. PVLDB, 2019.

PDF

. Program Synthesis using Conflict-Driven Learning. (Distinguished Paper Award) PLDI, 2018.

PDF

. Singularity: Pattern Fuzzing for Worst Case Complexity. FSE, 2018.

PDF

. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. PLDI, 2017.

PDF

. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS, 2017.

PDF

. Component-Based Synthesis for Complex APIs. POPL, 2017.

PDF

. Hunter: Next-Generation Code Reuse for Java. FSE, 2016.

. Bottom-up Context-Sensitive Pointer Analysis for Java. APLAS, 2015.

PDF

. Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis. FSE, 2014.

PDF

Awards and Grants

ACM SIGCHI Best Paper Award, CHI 2021

Google Faculty Research Award (Security), 2021

ACM SIGSOFT Distinguished Paper Award, ASE 2020

DARPA HARDEN, 2022-2025.

NSF-SaTC (core) medium, 2019-2022.

ACM SIGPLAN Distinguished Paper Award, PLDI 2018.

UT Austin Graduate School Dissertation Fellowship, 2018.

ACM SIGPLAN PAC award, 2017.

Service

Program Committee: PLDI’22, ICSE’22, ASPLOS’21, OOPSLA’20, PLDI’20, POPL’20 (ERC), CAV’20, CAV’19, POPL’18 (AEC), ECOOP’18 (AEC), CAV’16 (AEC), MOBILESoft’16 (Publicity Chair), and MOBILESoft’15

External Review: POPL’18, CAV’18, TSE’18 (Transactions on Software Engineering), POPL’17, OOPSLA’16, PLDI’16, and PLDI’15

Contact