Research
Interests
Programming languages, software engineering, dependable AI, and the smartphone side of systems/security.
Projects and tools
Smartphones -- Android:
Algebraic Taint Tracking (precise and effective taint tracking, e.g., taint signatures that use AND, XOR, hashing)
KREfinder/KREreproducer (find and reproduce resume-and-restart errors/directed testing)
VALERA (full-fledged replay)
RERAN (GUI-only replay)
A3E (automatic app exploration)
Dynamic software updating: Ginseng
Publications
Full list of publications
Profiles: Google Scholar (h-index: 37), Microsoft Academic, DBLP
Misc
Looking for objective, quantitative CS department rankings? Use csrankings.org
Selected Publications
Students
CurrentPhD
Muyeed Ahmed
Alireza Ardalani
MS
Joseph Antonucci
PhD
2023:
Sydur Rahaman (now at Google)
2022:
Raina Samuel (now at Montclair State University)
2020:
Xin Yin (now at Meta)
2017:
Yongjian Hu (now at Two Sigma)
2016:
Tanzirul Azim (now at Microsoft)
Amlan Kusum (now at Oracle; co-advised with Rajiv Gupta)
Vineet Singh (now at Intel; co-advised with Rajiv Gupta)
Bo Zhou (now at WANdisco; co-advised with Rajiv Gupta)
2014:
Yan Wang (now at Google;
co-advised with Rajiv Gupta)
Dissertation:
Dynamic Analysis Techniques for Effective and Efficient Debugging
2013:
Xuetao Wei (now at SUSTech; co-advised with
Michalis Faloutsos)
Dissertation:
Understanding and Improving the Smartphone Ecosystem:
Measurements, Security and Tools
2012: Pamela
Bhattacharya (now at Microsoft)
Dissertation: Quantitative Decision-making in Software Engineering
Postdoc
Vincenzo Musco
Zhiyong Shan
Current Funding
NSF: Medium: Collaborative Research: Precise Static Analysis of Event-based Systems with Zhijia Zhao (2021—2025)
NSF: Program Analysis for Dependable Clustering (2020—2024)
Teaching
CS 388 - Android Application Development: Fall'20, Spring'20
CS 485 - Selected Topics in CS: Smartphone Security & Reliability: Spring'22, Fall'21
CS 635 - Computer Programming Languages: Spring'16
CS 673 - Software Design and Production Methodology: Spring'23, Spring'22, Fall'19, Fall'18, Fall'17, Fall'16, Fall'15
CS 698 - Special Topics: Smartphone Security & Reliability: Spring'18, Spring'17
Professional Activities
Program committees
PLDI24,
ASPLOS24,
OOPSLA21,
OOPSLA20,
OOPSLA19(ERC),
CC19,
PLDI18,
ISSRE17,
MTD17,
MILCOM17,
MTD16,
MILCOM16,
PLDI15(ERC),
PPOPP15,
MOBILESoft15,
SANER15,
MobileDeLi14,
ICSME-ERA14,
OOPSLA14,
DSSO14,
PLDI14,
ICSE14,
HotSWUp13,
MOBS13,
HotSWUp12,
ICSM-ERA12,
ICSM-ERA11,
RAM-SE11,
ICSM-ERA10,
RAM-SE10,
RAM-SE09
Other
PLDI16 posters: chair
CSET15: co-chair
PLDI13,
PLDI12: finance and sponsorship chair
SoCalPLS Fall12: organizer
ASPLOS11: poster chair
HotSWUp09, HotSWUp08: co-chair
Brief Vita
University of California, Riverside - Assistant, Associate Professor (2008--2015)
Research groups: RIPLE, SPRUCe
University of Maryland, College Park - PhD (2008), MS (2005)
Advisor: Mike Hicks
Research group: PLUM
Technical University of Cluj-Napoca,
Romania - BSE (1999)
Colegiul National "Gheorghe Lazar" Sibiu, Romania - high school (1994)