Students

Yanju Chen (PhD)

Junrui Liu (PhD)

Bryan Tan (BS/MS)

Recent Publications

More Publications

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

PDF

. SolType: Refinement Types for Solidity. To appear at POPL, 2022.

PDF

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

PDF

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

PDF

. OAuthShield: Efficient Vetting for OAuth Service Providers. To appear in Usenix Security.

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

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