Education
Ph.D.; University of Maryland-College Park; Computer Science; 2008
M.S.; University of Maryland-College Park; Computer Science; 2005
B.S.; Technical University of Cluj-Napoca; Computer Science; 1999
2026 Fall Courses
CS 489 - COMPUTER SCIENCE RESEARCH PROJ
CS 700B - MASTER'S PROJECT
CS 726 - INDEPENDENT STUDY II
CS 388 - ANDROID APPLICATION DEVELOPMNT
CS 792 - PRE-DOCTORAL RESEARCH
CS 488 - INDEPENDENT STUDY IN CS
CS 701B - MASTER'S THESIS
CS 673 - SOFTWARE DES PROD METHODOLOGY
CS 725 - INDEPENDENT STUDY I
CS 790A - DOCT DISSERTATION & RES
Past Courses
CS 388: ANDROID APPLICATION DEVELOPMENT
CS 388: ANDROID APPLICATION DEVELOPMNT
CS 485: SELECTED TOPICS IN CS
CS 635: COMP PROGRAMMING LANG
CS 673: SOFTWARE DES & PROD METH
CS 673: SOFTWARE DESIGN AND PRODUCTION METHODOLOGY
CS 678: TOPICS IN SMARTPHONE SEC & REL
CS 698: ST: SMARTPHONE SECURITY & RELIABILITY
CS 698: ST: SMART PHONE SECURITY & RELIABILITY
CS 785: ST: ADVANCED PROGRAMMING LANGUAGES
Conference Proceeding
"Can LLMs be Effective Code Contributors? A Study on Open-source Projects"
International Conference on Evaluation and Assessment in Software Engineering (EASE) 2026.
International Conference on Evaluation and Assessment in Software Engineering (EASE) 2026.
"ACE: Algorithm-independent Acceleration and Parallelization of Clustering Implementations"
15th International Conference on Parallel Processing & Applied Mathematics (PPAM'24), September, 2024.
15th International Conference on Parallel Processing & Applied Mathematics (PPAM'24), September, 2024.
"Quantifying the Vulnerability of Anomaly Detection Implementations to Nondeterminism-based Attacks"
Sixth International Conference On Artificial Intelligence Testing (AITEST'24), July (3rd Quarter/Summer), 2024.
Sixth International Conference On Artificial Intelligence Testing (AITEST'24), July (3rd Quarter/Summer), 2024.
"Test Amplification for Medical Apps Implementing Linearly-approximatable Functions"
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer), 2024.
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer), 2024.
"Towards Precise Detection of Personal Information Leaks in Mobile Health Apps"
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer), 2024.
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer), 2024.
"Verification of Body Surface Area-calculating Android Apps"
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer), 2024.
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer), 2024.
"Diagnosing Medical Score Calculator Apps"
ACM international joint conference on Pervasive and Ubiquitous Computing (UbiComp) (UbiComp/ISWC 2023), October (4th Quarter/Autumn), 2023.
ACM international joint conference on Pervasive and Ubiquitous Computing (UbiComp) (UbiComp/ISWC 2023), October (4th Quarter/Autumn), 2023.
"DEANOMALYZER: Improving Determinism and Consistency in Anomaly Detection Implementations"
Fifth International Conference On Artificial Intelligence Testing (AITEST'22), July (3rd Quarter/Summer), 2023.
Fifth International Conference On Artificial Intelligence Testing (AITEST'22), July (3rd Quarter/Summer), 2023.
"Detecting Potential User-data Save & Export Losses due to Android App Termination"
4th ACM/IEEE International Conference on Automation of Software Test (AST 2023), May, 2023.
4th ACM/IEEE International Conference on Automation of Software Test (AST 2023), May, 2023.
"Anomalous Anomaly Detection"
Fourth International Conference On Artificial Intelligence Testing (AITEST'22), August, 2022.
Fourth International Conference On Artificial Intelligence Testing (AITEST'22), August, 2022.
"A New Security Defense Approach for Android Via Proactive Restart"
Journal of Computing and Communication (JOCC), Vol 1, Issue 2. August 2022, August, 2022.
Journal of Computing and Communication (JOCC), Vol 1, Issue 2. August 2022, August, 2022.
"BDDL: A Type System for Binary Decision Diagrams"
16th International Conference on Tests and Proofs (TAP 2022), July (3rd Quarter/Summer), 2022.
16th International Conference on Tests and Proofs (TAP 2022), July (3rd Quarter/Summer), 2022.
"Characterizing Android Medical Apps"
14th International Conference on e-Health 2022 (EH 2022), July (3rd Quarter/Summer), 2022.
14th International Conference on e-Health 2022 (EH 2022), July (3rd Quarter/Summer), 2022.
"Could Medical Apps Keep Their Promises?"
14th International Conference on e-Health 2022 (EH 2022), July (3rd Quarter/Summer), 2022.
14th International Conference on e-Health 2022 (EH 2022), July (3rd Quarter/Summer), 2022.
"Scraping Sticky Leftovers: App User Information Left on Servers After Account Deletion"
43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022), June, 2022.
43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022), June, 2022.
"Algebraic-datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks"
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (FSE'21), August, 2021.
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (FSE'21), August, 2021.
"Quantifying Nondeterminism and Inconsistency in Self-organizing Map Implementations"
The Third IEEE International Conference on Artificial Intelligence Testing (AI Testing'19), August, 2021.
The Third IEEE International Conference on Artificial Intelligence Testing (AI Testing'19), August, 2021.
"LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments"
ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'20), November, 2020.
ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'20), November, 2020.
"Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms"
International Conference on Software Testing, Verification, and Validation (ICST'20), October (4th Quarter/Autumn), 2020.
International Conference on Software Testing, Verification, and Validation (ICST'20), October (4th Quarter/Autumn), 2020.
"Knock, Knock. Who's There? On the Security of LG's Knock Codes"
Sixteenth Symposium on Usable Privacy and Security (SOUPS'20), August, 2020.
Sixteenth Symposium on Usable Privacy and Security (SOUPS'20), August, 2020.
"Device Administrator Use and Abuse in Android: Detection and Characterization"
The 25th Annual International Conference on Mobile Computing and Networking (MobiCom'19), October (4th Quarter/Autumn), 2019.
The 25th Annual International Conference on Mobile Computing and Networking (MobiCom'19), October (4th Quarter/Autumn), 2019.
"Elix: Path-selective taint analysis for extracting mobile app links"
17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'19), June, 2019.
17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'19), June, 2019.
"Dynamic Slicing for Android"
41st International Conference on Software Engineering (ICSE'19), May, 2019.
41st International Conference on Software Engineering (ICSE'19), May, 2019.
"SmokeOut: An Approach for Testing Clustering Implementations"
International Conference on Software Testing, Verification, and Validation (ICST'19), Tools track, April (2nd Quarter/Spring), 2019.
International Conference on Software Testing, Verification, and Validation (ICST'19), Tools track, April (2nd Quarter/Spring), 2019.
"Statistically Rigorous Testing of Clustering Implementations"
The First IEEE International Conference on Artificial Intelligence Testing (AI Testing'19), April (2nd Quarter/Spring), 2019.
The First IEEE International Conference on Artificial Intelligence Testing (AI Testing'19), April (2nd Quarter/Spring), 2019.
" On the Effectiveness of Random Testing for Android (or How I Learned to Stop Worrying and Love the Monkey) "
13th IEEE/ACM International Workshop on Automation of Software Test (AST 2018), May, 2018.
13th IEEE/ACM International Workshop on Automation of Software Test (AST 2018), May, 2018.
"Self-Hiding Behavior in Android Apps: Detection and Characterization "
40th International Conference on Software Engineering (ICSE'18), May, 2018.
40th International Conference on Software Engineering (ICSE'18), May, 2018.
"Static Detection of Event-based Races in Android Apps "
23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'18), March, 2018.
23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'18), March, 2018.
"Defining and Detecting Environment Discrimination in Android Apps "
13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm 2017), October (4th Quarter/Autumn), 2017.
13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm 2017), October (4th Quarter/Autumn), 2017.
"Finding Resume and Restart Errors in Android Applications"
OOPSLA 2016, November, 2016.
OOPSLA 2016, November, 2016.
" Proving Concurrent Data Structures Linearizable"
27th IEEE International Symposium on Software Reliability Engineering (ISSRE 2016), November, 2016.
27th IEEE International Symposium on Software Reliability Engineering (ISSRE 2016), November, 2016.
"Automatically Verifying and Reproducing Event-based Races in Android Apps"
Automatically Verifying and Reproducing Event-based Races in Android AThe International Symposium on Software Testing and Analysis (ISSTA 2016), July (3rd Quarter/Summer), 2016.
Automatically Verifying and Reproducing Event-based Races in Android AThe International Symposium on Software Testing and Analysis (ISSTA 2016), July (3rd Quarter/Summer), 2016.
"Efficient Processing of Large Graphs via Input Reduction"
25th ACM International Symposium on High-Performance Parallel and Distributed Computing, (HPDC 2016), June, 2016.
25th ACM International Symposium on High-Performance Parallel and Distributed Computing, (HPDC 2016), June, 2016.
"Expertise and Behavior of Unix Command Line Users: An Exploratory Study"
The Ninth International Conference on Advances in Computer-Human Interactions (ACHI 2016), April (2nd Quarter/Spring), 2016.
The Ninth International Conference on Advances in Computer-Human Interactions (ACHI 2016), April (2nd Quarter/Spring), 2016.
"Automatic Fault Location for Data Structures"
25th International Conference on Compiler Construction (CC 2016), March, 2016.
25th International Conference on Compiler Construction (CC 2016), March, 2016.
"Safe and Flexible Adaptation Via Alternate Data Structure Representations"
25th International Conference on Compiler Construction (CC 2016), March, 2016.
25th International Conference on Compiler Construction (CC 2016), March, 2016.
"Whom Does Your Android App Talk To?"
2015 IEEE Global Communications Conference (GLOBECOM15), December, 2015.
2015 IEEE Global Communications Conference (GLOBECOM15), December, 2015.
"How Do Bug Characteristics Differ Across Severity Classes: A Multi-platform Study"
26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), November, 2015.
26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), November, 2015.
"A Proposed Framework to Evaluate Cyber Agility"
Milcom 2015, October (4th Quarter/Autumn), 2015.
Milcom 2015, October (4th Quarter/Autumn), 2015.
"Proactive Restart as Cyber Maneuver for Android"
MILCOM 2015, October (4th Quarter/Autumn), 2015.
MILCOM 2015, October (4th Quarter/Autumn), 2015.
"Versatile yet Lightweight Record-and-replay for Android"
ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2015), October (4th Quarter/Autumn), 2015.
ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2015), October (4th Quarter/Autumn), 2015.
"ZapDroid: Managing Infrequently Used Applications on Smartphones"
ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2015), September, 2015.
ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2015), September, 2015.
Software
"Personal Information Tracker that tracks how Android apps collect medical or personal data and expose where it is sent"
December, 2024.
December, 2024.
Journal Article
Alireza Ardalani, Joseph Antonucci, Iulian Neamtiu. 2024. "A STUDY OF PERSONAL INFORMATION LEAKS IN MOBILE MEDICAL, HEALTH, AND FITNESS APPS." IADIS International Journal on WWW/Internet, vol. 22, no. 2, pp. 18.
Indrajeet Singh, Srikanth Krishnamurthy, HArsha Madhyastha, Iulian Neamtiu. 2017. "ZapDroid: Managing Infrequently Used Applications on Smartphones." IEEE Transactions on Mobile Computing (TMC), no. May 2017, pp. 15.
Iulian Neamtiu, Xuetao Wei , Michalis Faloutsos , Lorenzo Gomez , Tanzirul Azim , Yongjian Hu , Zhiyong Shan . 2017. "Improving Smartphone Security and Reliability." Journal of Interconnection Networks, pp. 67.
Xuetao Wei , Nichols Valler , Harsha Madhyastha , Iulian Neamtiu, Michalis faloutsos . 2017. "Characterizing the Behavior of Handheld Devices and Its Implications." Elsevier Computer Networks , pp. 12.
Other
"Fuzzy and Cross-App Replay for Smartphone Apps"
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), May, 2016.
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), May, 2016.
"Improving the Android Development Lifecycle with the VALERA Record-and-Replay Approach"
3rd International Workshop on Mobile Development Lifecycle (MobileDeLi 2015), October (4th Quarter/Autumn), 2015.
3rd International Workshop on Mobile Development Lifecycle (MobileDeLi 2015), October (4th Quarter/Autumn), 2015.
"Size Oblivious Programming with InfiniMem"
28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), September, 2015.
28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), September, 2015.