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: 36), Microsoft Academic, DBLP
Misc
Looking for objective, quantitative CS department rankings? Use csrankings.org
NJIT was ranked 42nd in Software Engineering, 68th in Programming Languages, 51st in Mobile, and 48th in Databases, last time I checked.
Selected Publications
Students
CurrentPhD
Sydur Rahaman
Muyeed Ahmed
PhD
2022:
Raina Samuel (now at Colgate University)
2020:
Xin Yin (now at Facebook)
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
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)