Iulian Neamtiu
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
M.S.; University of Maryland-College Park; Computer Science; 2005
B.S.; Technical University of Cluj-Napoca; Computer Science; 1999
2025 Spring Courses
IS 792 - PRE-DOCTORAL RESEARCH
CS 785 - ST: ADVANCED PROGRAMMING LANGUAGES
IS 489 - INFO UNDERGRAD THESIS RESEARCH
IS 701B - MASTER'S THESIS
CS 700B - MASTER'S PROJECT
CS 726 - INDEPENDENT STUDY II
IS 488 - INDEPENDENT STUDY IN INFO
IS 725 - INDEPENDENT STUDY I
CS 792 - PRE-DOCTORAL RESEARCH
CS 488 - INDEPENDENT STUDY IN CS
CS 701B - MASTER'S THESIS
IS 726 - INDEPENDENT STUDY II
IS 790A - DOCT DISSERTATION & RES
CS 725 - INDEPENDENT STUDY I
IS 700B - MASTER'S PROJECT
CS 790A - DOCT DISSERTATION & RES
IS 776 - IS RESEARCH STUDY
CS 785 - ST: ADVANCED PROGRAMMING LANGUAGES
IS 489 - INFO UNDERGRAD THESIS RESEARCH
IS 701B - MASTER'S THESIS
CS 700B - MASTER'S PROJECT
CS 726 - INDEPENDENT STUDY II
IS 488 - INDEPENDENT STUDY IN INFO
IS 725 - INDEPENDENT STUDY I
CS 792 - PRE-DOCTORAL RESEARCH
CS 488 - INDEPENDENT STUDY IN CS
CS 701B - MASTER'S THESIS
IS 726 - INDEPENDENT STUDY II
IS 790A - DOCT DISSERTATION & RES
CS 725 - INDEPENDENT STUDY I
IS 700B - MASTER'S PROJECT
CS 790A - DOCT DISSERTATION & RES
IS 776 - IS RESEARCH STUDY
Past Courses
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
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
“ACE: Algorithm-independent Acceleration and Parallelization of Clustering Implementations”
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.
“Test Amplification for Medical Apps Implementing Linearly-approximatable Functions”
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.
“Verification of Body Surface Area-calculating Android Apps”
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer) 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.
“Test Amplification for Medical Apps Implementing Linearly-approximatable Functions”
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.
“Verification of Body Surface Area-calculating Android Apps”
16th International Conference on e-Health (EH 2024), July (3rd Quarter/Summer) 2024.
SHOW MORE
“Diagnosing Medical Score Calculator Apps”
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.
“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.
“Anomalous Anomaly Detection”
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.
“BDDL: A Type System for Binary Decision Diagrams”
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.
“Could Medical Apps Keep Their Promises?”
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.
“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.
“Quantifying Nondeterminism and Inconsistency in Self-organizing Map Implementations”
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.
“Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms”
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.
“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.
“Elix: Path-selective taint analysis for extracting mobile app links”
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.
“SmokeOut: An Approach for Testing Clustering Implementations”
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.
“ 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.
“Self-Hiding Behavior in Android Apps: Detection and Characterization ”
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.
“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.
“Finding Resume and Restart Errors in Android Applications”
OOPSLA 2016, November 2016.
“ Proving Concurrent Data Structures Linearizable”
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.
“Efficient Processing of Large Graphs via Input Reduction”
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.
“Automatic Fault Location for Data Structures”
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.
“Whom Does Your Android App Talk To?”
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.
“A Proposed Framework to Evaluate Cyber Agility”
Milcom 2015, October (4th Quarter/Autumn) 2015.
“Proactive Restart as Cyber Maneuver for Android”
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.
“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) (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.
“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.
“Anomalous Anomaly Detection”
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.
“BDDL: A Type System for Binary Decision Diagrams”
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.
“Could Medical Apps Keep Their Promises?”
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.
“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.
“Quantifying Nondeterminism and Inconsistency in Self-organizing Map Implementations”
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.
“Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms”
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.
“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.
“Elix: Path-selective taint analysis for extracting mobile app links”
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.
“SmokeOut: An Approach for Testing Clustering Implementations”
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.
“ 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.
“Self-Hiding Behavior in Android Apps: Detection and Characterization ”
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.
“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.
“Finding Resume and Restart Errors in Android Applications”
OOPSLA 2016, November 2016.
“ Proving Concurrent Data Structures Linearizable”
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.
“Efficient Processing of Large Graphs via Input Reduction”
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.
“Automatic Fault Location for Data Structures”
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.
“Whom Does Your Android App Talk To?”
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.
“A Proposed Framework to Evaluate Cyber Agility”
Milcom 2015, October (4th Quarter/Autumn) 2015.
“Proactive Restart as Cyber Maneuver for Android”
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.
“ZapDroid: Managing Infrequently Used Applications on Smartphones”
ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2015), September 2015.
COLLAPSE
Journal Article
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.
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.
“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.
“Size Oblivious Programming with InfiniMem”
28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), September 2015.
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.
“Size Oblivious Programming with InfiniMem”
28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), September 2015.