Iulian Neamtiu

According to our database1, Iulian Neamtiu authored at least 85 papers between 2004 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
LiveDroid: identifying and preserving mobile app state in volatile runtime environments.
Proc. ACM Program. Lang., 2020

Knock, Knock. Who's There? On the Security of LG's Knock Codes.
Proceedings of the Sixteenth Symposium on Usable Privacy and Security, 2020

Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Elix: Path-Selective Taint Analysis for Extracting Mobile App Links.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Device Administrator Use and Abuse in Android: Detection and Characterization.
Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

SmokeOut: An Approach for Testing Clustering Implementations.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Dynamic slicing for Android.
Proceedings of the 41st International Conference on Software Engineering, 2019

Statistically Rigorous Testing of Clustering Implementations.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018
Self-hiding behavior in Android apps: detection and characterization.
Proceedings of the 40th International Conference on Software Engineering, 2018

On the effectiveness of random testing for Android: or how i learned to stop worrying and love the monkey.
Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Static Detection of Event-based Races in Android Apps.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017
ZapDroid: Managing Infrequently Used Applications on Smartphones.
IEEE Trans. Mob. Comput., 2017

Improving Smartphone Security and Reliability.
J. Interconnect. Networks, 2017

Characterizing the behavior of handheld devices and its implications.
Comput. Networks, 2017

Defining and Detecting Environment Discrimination in Android Apps.
Proceedings of the Security and Privacy in Communication Networks, 2017

2016
Finding resume and restart errors in Android applications.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Automatically verifying and reproducing event-based races in Android apps.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Proving Concurrent Data Structures Linearizable.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

VALERA: an effective and efficient record-and-replay tool for android.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Fuzzy and cross-app replay for smartphone apps.
Proceedings of the 11th International Workshop on Automation of Software Test, 2016

Efficient Processing of Large Graphs via Input Reduction.
Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, 2016

Automatic fault location for data structures.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Safe and flexible adaptation via alternate data structure representations.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
MG++: Memory graphs for analyzing dynamic data structures.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Improving the Android development lifecycle with the VALERA record-and-replay approach.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Versatile yet lightweight record-and-replay for Android.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Proactive restart as cyber maneuver for Android.
Proceedings of the 34th IEEE Military Communications Conference, 2015

A framework to evaluate cyber agility.
Proceedings of the 34th IEEE Military Communications Conference, 2015

Size Oblivious Programming with InfiniMem.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

Experience report: How do bug characteristics differ across severity classes: A multi-platform study.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

A behavior-aware profiling of handheld devices.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Whom Does Your Android App Talk To?
Proceedings of the 2015 IEEE Global Communications Conference, 2015

A cross-platform analysis of bugs and bug-fixing in open source projects: desktop vs. Android vs. iOS.
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015

Predicting concurrency bugs: how many, what kind and where are they?
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015

2014
Adapting Graph Application Performance via Alternate Data Structure Representation.
CoRR, 2014

Towards self-healing smartphone software via automated patching.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Determining Developers' Expertise and Role: A Graph Hierarchy-Based Approach.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014


2013
Towards a better understanding of software evolution: an empirical study on open-source software.
J. Softw. Evol. Process., 2013

Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012).
ACM SIGOPS Oper. Syst. Rev., 2013

Competing Memes Propagation on Networks: A Network Science Perspective.
IEEE J. Sel. Areas Commun., 2013

A state alteration and inspection-based interactive debugger.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Targeted and depth-first exploration for systematic testing of android apps.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Smartphone viruses propagation on heterogeneous composite networks.
Proceedings of the 2nd IEEE Network Science Workshop, 2013

Generating sound and effective memory debuggers.
Proceedings of the International Symposium on Memory Management, 2013

Relevant inputs analysis and its applications.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Programming Support for Speculative Execution with Software Transactional Memory.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

RERAN: timing- and touch-sensitive record and replay for Android.
Proceedings of the 35th International Conference on Software Engineering, 2013

An Empirical Analysis of Bug Reports and Bug Fixing in Open Source Android Apps.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Improving Cloud Availability with On-the-fly Schema Updates.
Proceedings of the 19th International Conference on Management of Data, 2013

2012
Report on the third workshop on hot topics in software upgrades (HotSWUp'11).
ACM SIGOPS Oper. Syst. Rev., 2012

Automated, highly-accurate, bug assignment using machine learning and tossing graphs.
J. Syst. Softw., 2012

Competing memes propagation on networks: a case study of composite networks.
Comput. Commun. Rev., 2012

Effective parallelization of loops in the presence of I/O operations.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

ProfileDroid: multi-layer profiling of android applications.
Proceedings of the 18th Annual International Conference on Mobile Computing and Networking, 2012

Graph-based analysis and prediction for software evolution.
Proceedings of the 34th International Conference on Software Engineering, 2012

Malicious Android Applications in the Enterprise: What Do They Do and How Do We Fix It?
Proceedings of the Workshops Proceedings of the IEEE 28th International Conference on Data Engineering, 2012

How to have your cake and eat it too: Dynamic software updating with just-in-time overhead.
Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

Permission evolution in the Android ecosystem.
Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011
Experimental Challenges in Cyber Security: A Story of Provenance and Lineage for Malware.
Proceedings of the 4th Workshop on Cyber Security Experimentation and Test, 2011

A GUI bug finding framework for Android applications.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Bug-fix time prediction models: can we do better?
Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

Cloud software upgrades: Challenges and opportunities.
Proceedings of the 5th IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2011

Elastic executions from inelastic programs.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Automating GUI testing for Android applications.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Assessing programming language impact on development and maintenance: a study on c and c++.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Schema evolution analysis for embedded databases.
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2010
Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/.
ACM SIGOPS Oper. Syst. Rev., 2010

Fine-grained incremental learning and multi-feature tossing graphs to improve bug triaging.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Studying Software Evolution for Taming Software Complexity.
Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010

2009
Safe and timely updates to multi-threaded programs.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Second ACM workshop on hot topics in software upgrades (HotSWUp 2009).
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Collateral evolution of applications and databases.
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

2008
Practical Dynamic Software Updating.
PhD thesis, 2008

Formalizing Soundness of Contextual Effects.
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Finding and Reproducing Heisenbugs in Concurrent Programs.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

1st ACM workshop on hot topics in software upgrades (HotSWUp 2008).
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
<i>Mutatis Mutandis</i>: Safe and predictable dynamic software updating.
ACM Trans. Program. Lang. Syst., 2007

2006
Practical dynamic software updating for C.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2005
Understanding source code evolution using abstract syntax tree matching.
ACM SIGSOFT Softw. Eng. Notes, 2005

Recovering Internet Service Sessions from Operating System Failures.
IEEE Internet Comput., 2005

Mutatis mutandis: safe and predictable dynamic software updating.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Remote Repair of Operating System State Using Backdoors.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004


  Loading...