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
2024 Fall Courses
IS 792 - PRE-DOCTORAL RESEARCH
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
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
Singh, Indrajeet, & Krishnamurthy, Srikanth, & Madhyastha, HArsha, & Neamtiu, Iulian (2017). ZapDroid: Managing Infrequently Used Applications on Smartphones. IEEE Transactions on Mobile Computing (TMC)(May 2017), 15.
Neamtiu, Iulian (2017). Improving Smartphone Security and Reliability. Journal of Interconnection Networks, 67.
Neamtiu, Iulian (2017). Characterizing the Behavior of Handheld Devices and Its Implications. Elsevier Computer Networks , 12.
Neamtiu, Iulian (2017). Improving Smartphone Security and Reliability. Journal of Interconnection Networks, 67.
Neamtiu, Iulian (2017). Characterizing the Behavior of Handheld Devices and Its Implications. Elsevier Computer Networks , 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