I have moved to NJIT. You might want to visit my new page there. This page is left here for historical purposes only.

Research


Interests
    Programming languages, software engineering, and the smartphone side of systems/security.
Projects and tools
    Smartphones (Android): VALERA (full-fledged replay); RERAN (GUI-only replay); A3E (automatic app exploration)
    Dynamic software updating: Ginseng
Labs
   RIPLE, SPRUCe
Publications
    Full list of publications
    Profiles: Google Scholar, Microsoft Academic search, DBLP

Selected Publications

OOPSLA15 Versatile yet Lightweight Record-and-replay for Android Y. Hu, T. Azim, I. Neamtiu
INFOCOM15 A Behavior-aware Profiling of Handheld Devices X. Wei, N. Valler, H. Madhyastha, I. Neamtiu, M. Faloutsos
ASE14(NIT) Towards Self-healing Smartphone Software via Automated Patching T. Azim, I. Neamtiu, L. Marvel
ICSME14 Determining Developers' Expertise and Role: A Graph Hierarchy-based Approach P. Bhattacharya, I. Neamtiu, M. Faloutsos
OOPSLA13 Targeted and Depth-first Exploration for Systematic Testing of Android Apps T. Azim, I. Neamtiu
ICSE13 RERAN: Timing- and Touch-Sensitive Record and Replay for Android L. Gomez, I. Neamtiu, T. Azim, T. Millstein
ISMM13 Generating Sound and Effective Memory Debuggers Y. Wang, I. Neamtiu, R. Gupta
MOBICOM12 ProfileDroid: Multi-layer Profiling of Android Applications X. Wei, L. Gomez, I. Neamtiu, M. Faloutsos
PLDI12 Effective Parallelization of Loops in the Presence of I/O Operations M. Feng, R. Gupta, I. Neamtiu
ICSE12 Graph-based Analysis and Prediction for Software Evolution P. Bhattacharya, M. Iliofotou, I. Neamtiu, M. Faloutsos
ACSAC12 Permission Evolution in the Android Ecosystem X. Wei, L. Gomez, I. Neamtiu, M. Faloutsos
JSS12 Automated, Highly-Accurate, Bug Assignment Using Machine Learning and Tossing Graphs P. Bhattacharya, I. Neamtiu, C. Shelton
ICSE11 Assessing Programming Language Impact on Development and Maintenance: A Study on C and C++ P. Bhattacharya, I. Neamtiu
SEAMS11 Elastic Executions from Inelastic Programs I. Neamtiu
JSME11 Towards a Better Understanding of Software Evolution: An Empirical Study on Open Source Software I. Neamtiu, G. Xie, J. Chen
PLDI09 Safe and Timely Dynamic Updates for Multi-threaded Programs I. Neamtiu, M. Hicks
OSDI08 Finding and reproducing Heisenbugs in concurrent programs M. Musuvathi, S. Qadeer, T. Ball, G. Basler, A. Nainar, I. Neamtiu
POPL08 Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming I. Neamtiu, M. Hicks, J. Foster, P. Pratikakis
PLDI06 Practical Dynamic Software Updating for C I. Neamtiu, M. Hicks, G. Stoyle, M. Oriol
POPL05 Mutatis Mutandis: Safe and Flexible Dynamic Software Updating G. Stoyle, M. Hicks, G. Bierman, P. Sewell, I. Neamtiu
ICAC04 Remote Repair of Operating System State Using Backdoors A. Bohra, I. Neamtiu, P. Gallard, F. Sultan, L. Iftode

Teaching

CS 100 - Software Construction: F13
CS 152 - Compiler Design: W09
CS 179E - Project in Computer Science (Compilers): S13
CS 179K - Project in Computer Science (Software Engineering): S15
CS 180 - Introduction to Software Engineering: F14, W13, W12, W11, W10, S09
CS 207 - Advanced Programming Languages: S14, W12, W11, W10
CS 245 - Software Evolution: S11, F08

Students

Current Past

Postdoc
Zhiyong Shan

PhD
Tanzirul Azim
Youngjian Hu
Amlan Kusum*
Vineet Singh*
Bo Zhou *
*co-advised with Rajiv Gupta

PhD

2014: Yan Wang (now at Google; co-advised with Rajiv Gupta)
         Dissertation: Dynamic Analysis Techniques for Effective and Efficient Debugging

2013: Xuetao Wei (now at U. of Cincinatti; co-advised with Michalis Faloutsos)
         Dissertation: Understanding and Improving the Smartphone Ecosystem: Measurements, Security and Tools

2012: Pamela Bhattacharya (now at Microsoft)
         Dissertation: Quantitative Decision-making in Software Engineering

Postdoc
Zhiyong Shan

MS
2013: Steve Suh (now at Nexon)
2012: Hyunkuk Kim
2010: Cuixiong Hu (now at Amazon), Shengfeng Wu, Dien-Yen Lin
2009: Chih-Ming Yen

Undergraduate
2012: Lorenzo Gomez (now at UCLA)

Visitors
Mohammad Gharehyazie (June-September 2014)
Jonathan Bardin (June-September 2010)

I have also worked with other graduate (Arash Alavi, Zachary Benavides, Yousra Lembachar, Ryan Rusich, Guowu Xie, Jianbo Chen, Md. Reaz Uddin), undergraduate (Rudresh Amin, Shashank Kothapalli, Gavin Huang, Garrett Wong, Michael Lambert), and high school (Abdullah Yousufi) students.

Professional Activities

Program committees
PLDI15(ERC), PPOPP15, MOBILESoft15, SANER15, MobileDeLi14, ICSME-ERA14, OOPSLA14, DSSO14, PLDI14, ICSE14, HotSWUp13, MOBS13, HotSWUp12, ICSM-ERA12, ICSM-ERA11, RAM-SE11, ICSM-ERA10, RAM-SE10, RAM-SE09

Other
CSET15: co-chair
PLDI13, PLDI12: finance and sponsorship chair
SoCalPLS Fall12: organizer
ASPLOS11: poster chair
HotSWUp09, HotSWUp08: co-chair

Current Funding

ARL: Models for Enabling Continuous Reconfigurability of Secure Missions with Srikanth Krishnamurthy, and Harsha Madhyastha (UCR); a Cyber-Security Collaborative Research Alliance (CRA) with PSU, CMU, Indiana, and UC Davis.

NSF: CAREER: Differential Types and Declarative Hypothesis Testing for Software Evolution

NSF: Collaborative Research: Program Analysis for Smartphone Application Security with Jeff Foster and Todd Millstein

Google: Static Analysis for Finding Data Loss and Resume/Restart Errors in Android Apps

Education

University of Maryland, College Park - PhD (2008), MS (2005)
   Advisor: Mike Hicks
   Research group: PLUM
Technical University of Cluj-Napoca, Romania - BSE (1999)