Self-Hiding Behavior in Android Apps: Detection and Characterization
Zhiyong Shan, Iulian Neamtiu, Raina Samuel. 40th International Conference on Software Engineering (ICSE'18), May 2018. To appear.

Static Detection of Event-based Races in Android Apps
Yongjian Hu, Iulian Neamtiu. 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'18), March 2018. To appear

Defining and Detecting Environment Discrimination in Android Apps
Yunfeng Hong, Yongjian Hu, Chun-Ming Lai, Felix Wu, Iulian Neamtiu, Patrick McDaniel, Paul Yu, Hasan Cam and Gail-Joon Ahn13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm 2017). October 2017.

ZapDroid: Managing Infrequently Used Applications on Smartphones
Indrajeet Singh, Srikanth Krishnamurthy, Harsha Madhyastha, Iulian Neamtiu. IEEE Transactions on Mobile Computing (TMC). Volume: 16, Issue: 5, May 1 2017, Pages: 1475 - 1489.

Improving Smartphone Security and Reliability
Iulian Neamtiu, Xuetao Wei, Michalis Faloutsos, Lorenzo Gomez, Tanzirul Azim, Yongjian Hu, Zhiyong Shan. Journal of Interconnection Networks (JOIN 2017). Volume 17, Number 01, March 2017, 67 pages.

Characterizing the Behavior of Handheld Devices and Its Implications
Xuetao Wei, Nicholas Valler, Harsha V. Madhyastha, Iulian Neamtiu, Michalis Faloutsos. Elsevier Computer Networks (CN 2017). Volume 114, 26 February 2017, Pages 1-12.

Finding Resume and Restart Errors in Android Applications
Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu. ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2016), November 2016.

Proving Concurrent Data Structures Linearizable
Vineet Singh, Iulian Neamtiu, Rajiv Gupta. 27th IEEE International Symposium on Software Reliability Engineering (ISSRE 2016), November 2016.

Automatically Verifying and Reproducing Event-based Races in Android Apps
Yongjian Hu, Iulian Neamtiu, Arash Alavi. The International Symposium on Software Testing and Analysis (ISSTA 2016), July 2016.

Efficient Processing of Large Graphs via Input Reduction
Amlan Kusum, Keval Vora, Rajiv Gupta, Iulian Neamtiu. 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, (HPDC 2016), June 2016.

Modeling Cybersecurity Risks: Proof of concept of a holistic approach for integrated risk quantification
Mariana Cains, Diane Henshel, Hasan Cam, Iulian Neamtiu, Blaine Hoffman, Alexander Alexeev, Jeffrey Rowe. 2016 IEEE International Symposium on Technologies for Homeland Security (IEEE HST 2016), May 2016.

Fuzzy and Cross-App Replay for Smartphone Apps
Yongjian Hu and Iulian Neamtiu. The 11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), May 2016.

VALERA: An Effective and Efficient Record-and-replay Tool for Android
Yongjian Hu, Iulian Neamtiu. IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft 2016 Demos), May 2016.

Expertise and Behavior of Unix Command Line Users: An Exploratory Study
Mohammad Gharehyazie, Bo Zhou, Iulian Neamtiu. The Ninth International Conference on Advances in Computer-Human Interactions (ACHI 2016), April 2016.

Safe and Flexible Adaptation Via Alternate Data Structure Representations
Amlan Kusum, Iulian Neamtiu, Rajiv Gupta. 25th International Conference on Compiler Construction (CC 2016), March 2016.

Automatic Fault Location for Data Structures
Vineet Singh, Rajiv Gupta, Iulian Neamtiu. 25th International Conference on Compiler Construction (CC 2016), March 2016.

Whom Does Your Android App Talk To?
Xuetao Wei, Iulian Neamtiu, Michalis Faloutsos. 2015 IEEE Global Communications Conference (GLOBECOM15), December 2015.

How Do Bug Characteristics Differ Across Severity Classes: A Multi-platform Study
Bo Zhou, Iulian Neamtiu, Rajiv Gupta. 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), November 2015.

Versatile yet Lightweight Record-and-replay for Android
Yongjian Hu, Tanzirul Azim, Iulian Neamtiu. ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2015), October 2015. OOPSLA talk.

Improving the Android Development Lifecycle with the VALERA Record-and-Replay Approach
Yongjian Hu, Tanzirul Azim, Iulian Neamtiu. 3rd International Workshop on Mobile Development Lifecycle (MobileDeLi 2015), October 2015. Invited paper.

Proactive Restart as Cyber Maneuver for Android
Zhiyong Shan, Iulian Neamtiu, Zhiyun Qian, Don Torrieri. (MILCOM 2015), October 2015.

A Proposed Framework to Evaluate Cyber Agility
Lisa M. Marvel, Scott Brown, Iulian Neamtiu, Richard Harang, David Harman, Brian Henz. (MILCOM 2015), October 2015.

ZapDroid: Managing Infrequently Used Applications on Smartphones
Indrajeet Singh, Srikanth Krishnamurthy, Harsha Madhyastha, Iulian Neamtiu. 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2015), September 2015.

Size Oblivious Programming with InfiniMem (Best Student Paper award)
Sai Charan Koduru, Rajiv Gupta, Iulian Neamtiu. The 28th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2015), September 2015.

A Behavior-aware Profiling of Handheld Devices
Xuetao Wei, Nicholas Valler, Harsha V. Madhyastha, Iulian Neamtiu, Michalis Faloutsos. IEEE INFOCOM 2015 (INFOCOM 2015), April 2015.

Predicting Concurrency Bugs: How Many, What Kind and Where Are They?
Bo Zhou, Iulian Neamtiu, Rajiv Gupta. 19th International Conference on Evaluation and Assessment in Software Engineering (EASE 2015), April 2015.

A Cross-platform Analysis of Bugs and Bug-fixing in Open Source Projects: Desktop vs. Android vs. iOS
Bo Zhou, Iulian Neamtiu, Rajiv Gupta. 19th International Conference on Evaluation and Assessment in Software Engineering (EASE 2015), April 2015.

MG++: Memory Graphs for Analyzing Dynamic Data Structures
Vineet Singh, Rajiv Gupta, Iulian Neamtiu. 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER 2015), March 2015.

Adapting Graph Application Performance Via Alternate Data Structure Representations
Amlan Kusum, Iulian Neamtiu, Rajiv Gupta. 5th International Workshop on Adaptive Self-tuning Computing Systems. (ADAPT 2015), January 2015.

Security and Science of Agility
Patrick McDaniel, Trent Jaeger, Thomas F. La Porta, Nicolas Papernot, Robert J. Walls, Alexander Kott, Lisa Marvel, Ananthram Swami, Prasant Mohapatra, Srikanth V. Krishnamurthy, and Iulian Neamtiu. First ACM Workshop on Moving Target Defense (MTD 2014), November 2014.

Towards Self-healing Smartphone Software via Automated Patching
Tanzirul Azim, Iulian Neamtiu, and Lisa Marvel. 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) New ideas track, September 2014.

Determining Developers' Expertise and Role: A Graph Hierarchy-based Approach
Pamela Bhattacharya, Iulian Neamtiu, and Michalis Faloutsos. 30th International Conference on Software Maintenance and Evolution (ICSME 2014), September 2014.

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing
Yan Wang, Harish Patil, Cristiano Pereira, Gregory Lueck, Rajiv Gupta, and Iulian Neamtiu. 2014 International Symposium on Code Generation and Optimization (CGO 2014), February 2014.

Improving Cloud Availability with On-the-fly Schema Updates
Iulian Neamtiu, Jonathan Bardin, Md. Reaz Uddin, Dien-Yen Lin, Pamela Bhattacharya. The 19th International Conference on Management of Data (COMAD 2013), December 2013.

Relevant Inputs Analysis and its Applications
Yan Wang, Rajiv Gupta, and Iulian Neamtiu. The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), November 2013.

Targeted and Depth-first Exploration for Systematic Testing of Android Apps
Tanzirul Azim and Iulian Neamtiu. ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2013), October 2013.

A State Alteration and Inspection-based Interactive Debugger
Yan Wang, Min Feng, Rajiv Gupta, and Iulian Neamtiu. 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2013), September 2013.

Generating Sound and Effective Memory Debuggers
Yan Wang, Iulian Neamtiu, and Rajiv Gupta. ACM SIGPLAN International Symposium on Memory Management (ISMM 2013), June 2013.

Competing Memes Propagation on Networks: A Network Science Perspective
Xuetao Wei, Nicholas Valler, B. Aditya Prakash, Michalis Faloutsos, Iulian Neamtiu, and Christos Faloutsos. IEEE Journal on Selected Areas in Communications (JSAC), June 2013.

RERAN: Timing- and Touch-Sensitive Record and Replay for Android
Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim and Todd Millstein. International Conference on Software Engineering (ICSE 2013), May 2013.

Programming Support for Speculative Execution with Software Transactional Memory
Min Feng, Rajiv Gupta, and Iulian Neamtiu. 18th International Workshop on High-level Parallel Programming Models and Supportive Environments (HIPS 2013), May 2013.

Smartphone Viruses Propagation on Heterogeneous Composite Networks
Xuetao Wei, Nicholas Valler, Michalis Faloutsos, Iulian Neamtiu, B. Aditya Prakash, and Christos Faloutsos. 2nd IEEE Network Science Workshop (NSW 2013), April 2013. Short paper.

An Empirical Analysis of the Bug-fixing Process in Open Source Android Apps
Pamela Bhattacharya, Liudmila Ulanova, Iulian Neamtiu, and Sai Charan Koduru. 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), March 2013.

Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)
Karla Saur and Iulian Neamtiu. ACM SIGOPS Operating Systems Review archive (OSR), Volume 47, Issue 1, January 2013.

Permission Evolution in the Android Ecosystem
Xuetao Wei, Lorenzo Gomez, Iulian Neamtiu, and Michalis Faloutsos. 28th Annual Computer Security Applications Conference (ACSAC 2012), December 2012.

Competing Memes Propagation on Networks: A Case Study of Composite Networks
Xuetao Wei, Nicholas Valler, B. Aditya Prakash, Iulian Neamtiu, Michalis Faloutsos, and Christos Faloutsos. ACM Sigcomm Computer Communication Review (CCR), October 2012.

ProfileDroid: Multi-layer Profiling of Android Applications
Xuetao Wei, Lorenzo Gomez, Iulian Neamtiu, and Michalis Faloutsos. The 18th Annual International Conference on Mobile Computing and Networking (MobiCom 2012), August 2012.

Effective Parallelization of Loops in the Presence of I/O Operations
Min Feng, Rajiv Gupta, and Iulian Neamtiu. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI 2012), June 2012.

Graph-based Analysis and Prediction for Software Evolution
Pamela Bhattacharya, Marios Iliofotou, Iulian Neamtiu, and Michalis Faloutsos. International Conference on Software Engineering (ICSE 2012), June 2012.

Who Watches the Watchers: Toward Provably-correct Decision Diagram Code
Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, and Gianfranco Ciardo 21st International Workshop on Logic & Synthesis (IWLS 2012), June 2012. Invited paper.

Automated, Highly-Accurate, Bug Assignment Using Machine Learning and Tossing Graphs
Pamela Bhattacharya, Iulian Neamtiu, and Christian Shelton. Journal of Systems and Software (JSS), Volume 85, Issue 10, October 2012, Pages 2275--2292.

How To Have your Cake and Eat It Too: Dynamic Software Updating with Just in Time Overhead
Rida A. Bazzi, Bryan Topp, and Iulian Neamtiu. Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp'12), June 2012.

Malicious Android Applications in the Enterprise: What Do They Do and How Do We Fix It?
Xuetao Wei, Lorenzo Gomez, Iulian Neamtiu, and Michalis Faloutsos. ICDE Workshop on Secure Data Management on Smartphones and Mobiles (SDMSM 2012), April 2012.

Report on the third ACM workshop on hot topics in software upgrades (HotSWUp'11)
Christopher Hayden and Iulian Neamtiu. ACM SIGOPS Operating Systems Review archive, Volume 46, Issue 1, January 2012.

Towards a Better Understanding of Software Evolution: An Empirical Study on Open Source Software
Iulian Neamtiu, Guowu Xie, Jianbo Chen. Journal of Software Maintenance and Evolution: Research and Practice (JSME), 2011.

Cloud Software Upgrades: Challenges and Opportunities
Iulian Neamtiu and Tudor Dumitraș. IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA 2011), September 2011.

Experimental Challenges in Cyber Security: A Story of Provenance and Lineage for Malware
Tudor Dumitraș and Iulian Neamtiu. 4th Workshop on Cyber Security Experimentation and Test (CSET'11), August 2011.

Assessing Programming Language Impact on Development and Maintenance: A Study on C and C++
Pamela Bhattacharya and Iulian Neamtiu. International Conference on Software Engineering (ICSE 2011), May 2011.

Bug-fix Time Prediction Models: Can We Do Better?
Pamela Bhattacharya and Iulian Neamtiu. 8th Working Conference on Mining Software Repositories (MSR 2011), May 2011. (Short paper).

Elastic Executions from Inelastic Programs
Iulian Neamtiu. 6th International Symposium on Software Engineering for Adaptive and Self-Managed Systems (SEAMS'11), May 2011.

Automating GUI Testing for Android Applications
Cuixiong Hu and Iulian Neamtiu. Sixth IEEE/ACM International Workshop on Automation of Software Test (AST'11), May 2011.

A Prolog-based Framework for Search, Integration and Empirical Analysis on Software Evolution Data
Pamela Bhattacharya and Iulian Neamtiu. 3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools and Evaluation (SUITE'11), May 2011.

Schema Evolution Analysis for Embedded Databases
Shengfeng Wu and Iulian Neamtiu. Third Workshop on Hot Topics in Software Upgrades (HotSWUp'11), April 2011.

Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09)
Tudor Dumitraș, Iulian Neamtiu, Eli Tilevich. ACM SIGOPS Operating Systems Review archive, Volume 44, Issue 4, December 2010.

Fine-grained Incremental Learning and Multi-feature Tossing Graphs to Improve Bug Triaging
Pamela Bhattacharya and Iulian Neamtiu. IEEE Conference on Software Maintenance (ICSM'10), September 2010.

Dynamic Updates for Web and Cloud Applications
Pamela Bhattacharya and Iulian Neamtiu. Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications (APLWACA'10), June 2010.

Studying Software Evolution for Taming Software Complexity
Steve D. Suh and Iulian Neamtiu. Australian Software Engineering Conference 2010 (ASWEC'10), April 2010.

Towards a Better Understanding of Software Evolution: An Empirical Study on Open Source Software
Guowu Xie, Jianbo Chen, and Iulian Neamtiu. IEEE Conference on Software Maintenance (ICSM'09), September 2009.

Collateral Evolution of Applications and Databases
Dien-Yen Lin and Iulian Neamtiu. ERCIM Workshop on Software Evolution/International Workshop on Principles of Software Evolution (IWPSE-Evol'09), August 2009.

Safe and Timely Dynamic Updates for Multi-threaded Programs
Iulian Neamtiu and Michael Hicks. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI'09), June 2009.
Extended version available here.

Finding and reproducing Heisenbugs in concurrent programs
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Arumuga Nainar, and Iulian Neamtiu. USENIX Symposium on Operating Systems Design and Implementation (OSDI'08), San Diego, CA, December 2008.

Formalizing Soundness of Contextual Effects
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, and Iulian Neamtiu. Proceedings of 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs'08), August 2008.

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Proceedings of the ACM Conference on Principles of Programming Languages (POPL'08), January 2008.
Extended version available here.

Mutatis Mutandis: Safe and Flexible Dynamic Software Updating
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 29, Issue 4 (August 2007).
Full version of POPL 05 paper.

Practical Dynamic Software Updating for C
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI'06), June 2006.
Extended version available here.

Understanding Source Code Evolution Using Abstract Syntax Tree Matching
Iulian Neamtiu, Jeffrey Foster, Michael Hicks
International Workshop on Mining Software Repositories (MSR'05), May 2005.

Recovering Internet Service Sessions from Operating System Failures
Florin Sultan, Aniruddha Bohra, Stephen Smaldone, Yufei Pan, Pascal Gallard, Iulian Neamtiu, and Liviu Iftode. In IEEE Internet Computing Special Issue - Recovery-Oriented Approaches to Dependability, March/April 2005.

Mutatis Mutandis: Safe and Flexible Dynamic Software Updating
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. Proceedings of the ACM Conference on Principles of Programming Languages (POPL'05), January 2005.

Remote Repair of Operating System State Using Backdoors
Aniruddha Bohra, Iulian Neamtiu, Pascal Gallard, Florin Sultan, Liviu Iftode. The International Conference on Autonomic Computing (ICAC'04), May 2004.

Nonintrusive Remote Healing Using Backdoors
Florin Sultan, Aniruddha Bohra, Iulian Neamtiu, Liviu Iftode. First Workshop on Algorithms and Architectures for Self-Managing Systems (Self-Manage'03), June 2003.

Posters and Short Presentations (Refereed)

Dynamic Software Updating for the Linux Kernel
Iulian Neamtiu and Michael Hicks. Work-in-progress session at The 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), November 2006.

Ginseng: A System for Dynamic Software Updating
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Poster presentation at ACM Conference on Programming Language Design and Implementation (PLDI), June 2006.

Backdoors - A System Architecture for Nonintrusive Remote Healing
Florin Sultan, Aniruddha Bohra, Pascal Gallard, Iulian Neamtiu, Yufei Pan, Stephen Smaldone, Liviu Iftode. Poster presentation at The 19th Symposium on Operating Systems Principles (SOSP), October 2003.

Technical Reports

Static Detection of Event-based Races in Android Apps
Yongjian Hu, Iulian Neamtiu. New Jersey Institute of Technology, Department of Computer Science Technical Report, November 2016.

Generating Sound and Effective Memory Debuggers.
Yan Wang, Iulian Neamtiu, Rajiv Gupta. University of California, Riverside, Department of Computer Science and Engineering Technical Report, April 2013. Extended version of ISMM'13 paper.

Safe and Timely Dynamic Updates for Multi-threaded Programs.
Iulian Neamtiu and Michael Hicks. University of California, Riverside, Department of Computer Science and Engineering Technical Report, June 2009. Extended version of PLDI'09 paper.

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis. Department of Computer Science Technical Report CS-TR-4920, 2007. Extended version of POPL'08 paper.

Practical Dynamic Software Updating for C
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol. Department of Computer Science Technical Report CS-TR-4790, May 2006. Extended version of PLDI'06 paper.

Nonintrusive Failure Detection and Recovery for Internet Services Using Backdoors
Florin Sultan, Aniruddha Bohra, Yufei Pan, Stephen Smaldone, Iulian Neamtiu, Pascal Gallard, Liviu Iftode. Rutgers University, Department of Computer Science Technical Report DCS-TR-524, December 2003.

Using Remote Memory Communication for Self-Healing Systems.
Florin Sultan, Aniruddha Bohra, Iulian Neamtiu, Liviu Iftode, Rutgers University, Department of Computer Science Technical Report DCS-TR-522, April 2003.

The SEMI Target Environment for Linux. Real-time Extensions
Iulian Neamtiu. Technical Report, SEMI Project, Technical University of Munich, August 2000.

Ph.D. Dissertation

Practical Dynamic Software Updating
Iulian Neamtiu. Ph.D. dissertation, University of Maryland, August 2008.