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. To appear.
Generating Sound and Effective Memory Debuggers
Yan Wang, Iulian Neamtiu, and Rajiv Gupta.
ACM SIGPLAN International Symposium on Memory Management (ISMM 2013),
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.
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,
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.
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.
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
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.
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.
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.
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 UpdatingIulian Neamtiu. Ph.D. dissertation, University of Maryland, August 2008.