Diagnosing Medical Score Calculator Apps
Sydur Rahaman, Raina Samuel, Iulian Neamtiu.
ACM international joint conference on Pervasive and Ubiquitous Computing (UbiComp)
(UbiComp/ISWC 2023). October 2023. To appear.
DEANOMALYZER: Improving Determinism and Consistency in Anomaly Detection Implementations
Muyeed Ahmed, Iulian Neamtiu.
Fifth International Conference On Artificial Intelligence Testing
(AITEST'23), July 2023.
Detecting Potential User-data Save & Export Losses due to Android App Termination
Sydur Rahaman, Umar Farooq, Iulian Neamtiu, Zhijia Zhao.
4th ACM/IEEE International Conference on Automation of Software Test
(AST 2023). May 2023.
Anomalous Anomaly Detection
Muyeed Ahmed, Iulian Neamtiu.
Fourth International Conference On Artificial Intelligence Testing
(AITEST'22), August 2022.
A New Security Defense Approach for Android Via Proactive Restart
Zhiyong Shan, Iulian Neamtiu.
Journal of Computing and Communication (JOCC),
Vol 1, Issue 2. August 2022, pages 24--43.
Characterizing Android Medical Apps
Raina Samuel, Iulian Neamtiu, Sydur Rahaman, James Geller.
14th International Conference on e-Health 2022
(EH 2022). July 2022.
Could Medical Apps Keep Their Promises?
Raina Samuel, Iulian Neamtiu, Sydur Rahaman.
14th International Conference on e-Health 2022
(EH 2022). July 2022.
BDDL: A Type System for Binary Decision Diagrams
Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo.
16th International Conference on Tests and Proofs
(TAP 2022). July 2022.
Scraping Sticky Leftovers: App User Information Left on Servers After Account Deletion
Preethi Santhanam, Hoang Dang, Zhiyong Shan, Iulian Neamtiu.
43rd IEEE Symposium on Security and Privacy
(IEEE S&P 2022). May 2022.
Algebraic-datatype Taint Tracking, with Applications to Understanding Android Identifier Leaks
Sydur Rahaman, Iulian Neamtiu, Xin Yin.
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
Sydur Rahaman, Raina Samuel, Iulian Neamtiu.
Third International Conference On Artificial
Intelligence Testing
(AITEST'21), August 2021.
LiveDroid: Identifying and Preserving Mobile App State in
Volatile Runtime Environments
Umar Farooq, Zhijia Zhao, Manu Sridharan, Iulian Neamtiu.
ACM Conference on Object-Oriented Programming, Systems, Languages & Applications
(OOPSLA'20), November 2020.
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
Xin Yin, Iulian Neamtiu, Saketan Patil, Sean Andrews.
International Conference on Software Testing, Verification, and Validation
(ICST'20), October 2020.
Knock, Knock. Who's There? On the Security of
LG's Knock Codes
Raina Samuel, Philipp Markert, Adam J Aviv, Iulian Neamtiu.
Sixteenth Symposium on Usable Privacy and Security
(SOUPS'20), August 2020.
Device Administrator Use and Abuse in Android: Detection and Characterization
Zhiyong Shan, Raina Samuel, Iulian Neamtiu.
The 25th Annual International Conference on Mobile Computing and Networking
(MobiCom'19), October 2019.
Elix: Path-selective taint analysis for extracting mobile
app links
Yongjian Hu, Oriana Riva, Suman Nath, Iulian Neamtiu.
17th ACM International Conference on Mobile Systems, Applications, and Services
(MobiSys'19), June 2019.
Dynamic Slicing for Android
Tanzirul Azim, Arash Alavi, Iulian Neamtiu, Rajiv Gupta.
41st International Conference on Software Engineering
(ICSE'19), May 2019.
Statistically Rigorous Testing of Clustering Implementations
Xin Yin, Vincenzo Musco, Iulian Neamtiu, Usman Roshan.
The First IEEE International Conference on Artificial Intelligence Testing
(AI Testing'19), April 2019.
SmokeOut: An Approach for Testing Clustering Implementations
Vincenzo Musco, Xin Yin, Iulian Neamtiu.
International Conference on Software Testing, Verification, and Validation
(ICST'19), Tools track, April 2019.
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.
On the Effectiveness of Random Testing for Android (or How I Learned to Stop Worrying and Love the Monkey)
Priyam Patel, Gokul Srinivasan, Sydur Rahaman, Iulian Neamtiu.
The 13th IEEE/ACM International Workshop on Automation of Software Test
(AST 2018), May 2018. Short paper.
Inter-Disciplinary Research Challenges in Computer Systems for the 2020s
Albert Cohen, Xipeng Shen, Josep Torrellas, James Tuck, et al.
Visioning report, the outcome of the Workshop on Inter-Disciplinary Research Challenges in Computer Systems (co-located with ASPLOS'18), March 2018.
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.
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.
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 UpdatingIulian Neamtiu. Ph.D. dissertation, University of Maryland, August 2008.