Students

Yanju Chen (PhD)

Junrui Liu (PhD)

Hongbo Wen (PhD)

Hanzhi Liu (PhD)

Bryan Tan (BS/MS)

Recent Publications

More Publications

. Certifying Zero-Knowledge Circuits with Refinement Types. To appear at IEEE Security & Privacy, 2024 (Oakland).

PDF

. Practical Security Analysis of Zero-Knowledge Proof Circuits. To appear at USENIX Security, 2024.

PDF

. Fast and Reliable Program Synthesis via User Interaction. To appear at ASE, 2023.

PDF

. Conflict-Driven Synthesis for Layout Engines. PLDI 2023.

PDF

. Automated Detection of Under-constrained Circuits in Zero-Knowledge Proofs. PLDI 2023.

PDF

. Learning Contract Invariants Using Reinforcement Learning. ASE,2022.

PDF

. Visualization Question Answering Using Introspective Program Synthesis. (Distinguished Paper Award) 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. OOPSLA, 2022.

PDF

. Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring. OOPSLA, 2022.

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

Ethereum Academic Award, 2023

ACM SIGPLAN Distinguished Paper Award, PLDI 2022.

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: CCS’24, OOPSLA’24, CCS’23, 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