Calculated based on number of publications stored in Pure and citations from Scopus
20042023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    DeAnomalyzer: Improving Determinism and Consistency in Anomaly Detection Implementations

    Ahmed, M. & Neamtiu, I., 2023, Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023. Institute of Electrical and Electronics Engineers Inc., p. 17-25 9 p. (Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Detecting Potential User-data Save & Export Losses due to Android App Termination

    Rahaman, S., Farooq, U., Neamtiu, I. & Zhao, Z., 2023, Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023. Institute of Electrical and Electronics Engineers Inc., p. 152-162 11 p. (Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2022

    Anomalous Anomaly Detection

    Ahmed, M. & Neamtiu, I., 2022, Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Bddl: A Type System for Binary Decision Diagrams

    Lembachar, Y., Rusich, R., Neamtiu, I. & Ciardo, G., 2022, Tests and Proofs - 16th International Conference, TAP 2022, held as Part of STAF 2022, Proceedings. Kovács, L. & Meinke, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 31-47 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13361 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • CHARACTERIZING MEDICAL ANDROID APPS

    Samuel, R., Neamtiu, I., Rahaman, S. & Geller, J., 2022, 15th International Conference on ICT, Society and Human Beings, ICT 2022, 19th International Conference on Web Based Communities and Social Media, WBC 2022 and 14th International Conference on e-Health, EH 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022. IADIS Press, p. 155-162 8 p. (15th International Conference on ICT, Society and Human Beings, ICT 2022, 19th International Conference on Web Based Communities and Social Media, WBC 2022 and 14th International Conference on e-Health, EH 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • COULD MEDICAL APPS KEEP THEIR PROMISES?

    Samuel, R., Neamtiu, I. & Rahaman, S., 2022, 15th International Conference on ICT, Society and Human Beings, ICT 2022, 19th International Conference on Web Based Communities and Social Media, WBC 2022 and 14th International Conference on e-Health, EH 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022. IADIS Press, p. 173-180 8 p. (15th International Conference on ICT, Society and Human Beings, ICT 2022, 19th International Conference on Web Based Communities and Social Media, WBC 2022 and 14th International Conference on e-Health, EH 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Scraping Sticky Leftovers: App User Information Left on Servers After Account Deletion

    Santhanam, P., Dang, H., Shan, Z. & Neamtiu, I., 2022, Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022. Institute of Electrical and Electronics Engineers Inc., p. 2145-2160 16 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2021

    Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks

    Rahaman, S., Neamtiu, I. & Yin, X., Aug 20 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, Inc, p. 70-82 13 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Quantifying Nondeterminism and Inconsistency in Self-organizing Map Implementations

    Rahaman, S., Samuel, R. & Neamtiu, I., Aug 2021, Proceedings - 3rd IEEE International Conference on Artificial Intelligence Testing, AITest 2021. Institute of Electrical and Electronics Engineers Inc., p. 85-92 8 p. (Proceedings - 3rd IEEE International Conference on Artificial Intelligence Testing, AITest 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • 2020

    Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms

    Yin, X., Neamtiu, I., Patil, S. & Andrews, S. T., Oct 2020, Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020. Institute of Electrical and Electronics Engineers Inc., p. 231-242 12 p. 9159059. (Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • Knock, Knock. Who's there? On the security of LG's knock codes

    Samuel, R., Aviv, A. J., Markert, P. & Neamtiu, I., 2020, Proceedings of the 16th Symposium on Usable Privacy and Security, SOUPS 2020. USENIX Association, p. 37-60 24 p. (Proceedings of the 16th Symposium on Usable Privacy and Security, SOUPS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • 2019

    Dynamic Slicing for Android

    Azim, T., Alavi, A., Neamtiu, I. & Gupta, R., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer Society, p. 1154-1164 11 p. 8811953. (Proceedings - International Conference on Software Engineering; vol. 2019-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • ELiX: Path-selective taint analysis for extracting mobile app links

    Hu, Y., Riva, O., Nath, S. & Neamtiu, I., Jun 12 2019, MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 193-206 14 p. (MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    3 Scopus citations
  • Finding and reproducing heisenbugs in concurrent programs

    Musuvathi, M., Qadeer, S., Nainar, P. A., Ball, T., Basler, G. & Neamtiu, I., Jan 1 2019, Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008. USENIX Association, p. 267-280 14 p. (Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    139 Scopus citations
  • SmokeOut: An approach for testing clustering implementations

    Musco, V., Yin, X. & Neamtiu, I., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 473-480 8 p. 8730180. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • Statistically rigorous testing of clustering implementations

    Yin, X., Musco, V., Neamtiu, I. & Roshan, U., May 17 2019, Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. Institute of Electrical and Electronics Engineers Inc., p. 91-98 8 p. 8718232. (Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 2018

    Defining and detecting environment discrimination in android apps

    Hong, Y., Hu, Y., Lai, C. M., Felix Wu, S., Neamtiu, I., McDaniel, P., Yu, P., Cam, H. & Ahn, G. J., 2018, Security and Privacy in Communication Networks - 13th International Conference, SecureComm 2017, Proceedings. Ghorbani, A., Lin, X., Ren, K., Zhu, S. & Zhang, A. (eds.). Springer Verlag, p. 510-529 20 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 238).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the effectiveness of random testing for Android: Or how i learned to stop worrying and love the monkey

    Patel, P., Srinivasan, G., Rahaman, S. & Neamtiu, I., May 28 2018, Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018. IEEE Computer Society, p. 34-37 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    29 Scopus citations
  • Self-hiding behavior in Android apps: Detection and characterization

    Shan, Z., Neamtiu, I. & Samuel, R., May 27 2018, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 728-739 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    24 Scopus citations
  • Static detection of event-based races in Android apps

    Hu, Y. & Neamtiu, I., Mar 19 2018, Proceedings of the 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018. 2 ed. Association for Computing Machinery, Vol. 53. p. 257-270 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations
  • 2016

    Automatically verifying and reproducing event-based races in android apps

    Hu, Y., Neamtiu, I. & Alavi, A., Jul 18 2016, ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis. Roychoudhury, A. & Zeller, A. (eds.). Association for Computing Machinery, Inc, p. 377-388 12 p. (ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    30 Scopus citations
  • Automatic fault location for data structures

    Singh, V., Gupta, R. & Neamtiu, I., Mar 17 2016, Proceedings of CC 2016: The 25th International Conference on Compiler Construction. Association for Computing Machinery, Inc, p. 99-109 11 p. (Proceedings of CC 2016: The 25th International Conference on Compiler Construction).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Scopus citations
  • Efficient processing of large graphs via input reduction

    Kusum, A., Vora, K., Gupta, R. & Neamtiu, I., May 31 2016, HPDC 2016 - Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, Inc, p. 245-257 13 p. (HPDC 2016 - Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    21 Scopus citations
  • Experience report: How do bug characteristics differ across severity classes: A multi-platform study

    Zhou, B., Neamtiu, I. & Gupta, R., Jan 13 2016, 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Institute of Electrical and Electronics Engineers Inc., p. 507-517 11 p. 7381843. (2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations
  • Finding resume and restart errors in android applications

    Shan, Z., Azim, T. & Neamtiu, I., Oct 19 2016, OOPSLA 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Visser, E. & Smaragdakis, Y. (eds.). Association for Computing Machinery, p. 864-880 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 02-04-November-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    26 Scopus citations
  • Fuzzy and cross-app replay for smartphone apps

    Hu, Y. & Neamtiu, I., May 14 2016, Proceedings - 11th International Workshop on Automation of Software Test, AST 2016. Association for Computing Machinery, Inc, p. 50-56 7 p. (Proceedings - 11th International Workshop on Automation of Software Test, AST 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • Modeling cybersecurity risks: Proof of concept of a holistic approach for integrated risk quantification

    Henshel, D., Alexeev, A., Cains, M., Rowe, J., Cam, H., Hoffman, B. & Neamtiu, I., Sep 14 2016, 2016 IEEE Symposium on Technologies for Homeland Security, HST 2016. Institute of Electrical and Electronics Engineers Inc., 7568937. (2016 IEEE Symposium on Technologies for Homeland Security, HST 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Proving Concurrent Data Structures Linearizable

    Singh, V., Neamtiu, I. & Gupta, R., Dec 5 2016, Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016. IEEE Computer Society, p. 230-240 11 p. 7774523. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Safe and flexible adaptation via alternate data structure representations

    Kusum, A., Neamtiu, I. & Gupta, R., Mar 17 2016, Proceedings of CC 2016: The 25th International Conference on Compiler Construction. Association for Computing Machinery, Inc, p. 34-44 11 p. (Proceedings of CC 2016: The 25th International Conference on Compiler Construction).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Size oblivious programming with infinimem

    Koduru, S. C., Gupta, R. & Neamtiu, I., 2016, Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Revised Selected Papers. Shen, X., Mueller, F. & Tuck, J. (eds.). Springer Verlag, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9519).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Scopus citations
  • VALERA: An effective and efficient record-and-replay tool for android

    Hu, Y. & Neamtiu, I., May 14 2016, Proceedings - International Conference on Mobile Software Engineering and Systems, MOBILESoft 2016. Association for Computing Machinery, Inc, p. 285-286 2 p. (Proceedings - International Conference on Mobile Software Engineering and Systems, MOBILESoft 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    12 Scopus citations
  • 2015

    A behavior-aware profiling of handheld devices

    Wei, X., Valler, N. C., Madhyastha, H. V., Neamtiu, I. & Faloutsos, M., Aug 21 2015, 2015 IEEE Conference on Computer Communications, IEEE INFOCOM 2015. Institute of Electrical and Electronics Engineers Inc., p. 846-854 9 p. 7218455. (Proceedings - IEEE INFOCOM; vol. 26).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    10 Scopus citations
  • A cross-platform analysis of bugs and bug-fixing in open source projects: Desktop vs. Android vs. iOS

    Zhou, B., Neamtiu, I. & Gupta, R., Apr 27 2015, Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, EASE 2015. Association for Computing Machinery, a7. (ACM International Conference Proceeding Series; vol. 27-29-April-2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • A framework to evaluate cyber agility

    Marvel, L. M., Brown, S., Neamtiu, I., Harang, R., Harman, D. & Henz, B., Dec 14 2015, 2015 IEEE Military Communications Conference, MILCOM 2015. Institute of Electrical and Electronics Engineers Inc., p. 31-36 6 p. 7357414. (Proceedings - IEEE Military Communications Conference MILCOM; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • Improving the android development lifecycle with the VALERA record-and-replay approach

    Hu, Y., Azim, T. & Neamtiu, I., Oct 26 2015, MobileDeLi 2015 - Proceedings of the 3rd International Workshop on Mobile Development Lifecycle. Abadi, A., Flynn, L. & Gray, J. (eds.). Association for Computing Machinery, Inc, p. 7-8 2 p. (MobileDeLi 2015 - Proceedings of the 3rd International Workshop on Mobile Development Lifecycle).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • MG++: Memory graphs for analyzing dynamic data structures

    Singh, V., Gupta, R. & Neamtiu, I., Apr 8 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 291-300 10 p. 7081839. (2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Predicting concurrency bugs: How many, what kind and where are they?

    Zhou, B., Neamtiu, I. & Gupta, R., Apr 27 2015, Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, EASE 2015. Association for Computing Machinery, a6. (ACM International Conference Proceeding Series; vol. 27-29-April-2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • Proactive restart as cyber maneuver for Android

    Shan, Z., Neamtiu, I., Qian, Z. & Torrieri, D., Dec 14 2015, 2015 IEEE Military Communications Conference, MILCOM 2015. Institute of Electrical and Electronics Engineers Inc., p. 19-24 6 p. 7357412. (Proceedings - IEEE Military Communications Conference MILCOM; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    10 Scopus citations
  • Versatile yet lightweight record-and-replay for android

    Hu, Y., Azim, T. & Neamtiu, I., Oct 23 2015, OOPSLA 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications. Eugster, P. & Aldrich, J. (eds.). Association for Computing Machinery, p. 349-366 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 25-30-Oct-2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    60 Scopus citations
  • ZapDroid: Managing infrequently used applications on smartphones

    Singh, I., Krishnamurthy, S. V., Madhyastha, H. V. & Neamtiu, I., Sep 7 2015, UbiComp 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, Inc, p. 1185-1196 12 p. (UbiComp 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • 2014

    Determining developers' expertise and role: A graph hierarchy-based approach

    Bhattacharya, P., Neamtiu, I. & Faloutsos, M., Dec 4 2014, Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014. Institute of Electrical and Electronics Engineers Inc., p. 11-20 10 p. 6976067. (Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    16 Scopus citations
  • DrDebug: Deterministic replay based cyclic debugging with dynamic slicing

    Wang, Y., Patil, H., Pereira, C., Lueck, G., Gupta, R. & Neamtiu, I., 2014, Proceedings of the 12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014. Association for Computing Machinery, p. 98-108 11 p. (Proceedings of the 12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    34 Scopus citations
  • Security and science of agility

    McDaniel, P., Jaeger, T., La Porta, T. F., Papernot, N., Walls, R. J., Kott, A., Marvel, L., Swami, A., Mohapatra, P., Krishnamurthy, S. V. & Neamtiu, I., Nov 7 2014, MTD 2014 - Proceedings of the 2014 ACM Workshop on Moving Target Defense, Co-located with CCS 2014. November ed. Association for Computing Machinery, p. 13-19 7 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 2014-November, no. November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations
  • Towards self-healing smartphone software via automated patching

    Azim, T., Neamtiu, I. & Marvel, L., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 623-628 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    37 Scopus citations
  • 2013

    An empirical analysis of bug reports and bug fixing in open source Android apps

    Bhattacharya, P., Ulanova, L., Neamtiu, I. & Koduru, S. C., 2013, Proceedings of the 17th European Conference on Software Maintenance and Reengineering, CSMR 2013. p. 133-143 11 p. 6498462. (Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    78 Scopus citations
  • A state alteration and inspection-based interactive debugger

    Wang, Y., Feng, M., Gupta, R. & Neamtiu, I., 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer Society, p. 84-93 10 p. 6648188. (IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Generating sound and effective memory debuggers

    Wang, Y., Neamtiu, I. & Gupta, R., 2013, ISMM 2013 - Proceedings of the ACM SIGPLAN International Symposium on Memory Management. p. 51-62 12 p. (International Symposium on Memory Management, ISMM).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Programming support for speculative execution with software transactional memory

    Feng, M., Gupta, R. & Neamtiu, I., 2013, Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013. IEEE Computer Society, p. 394-403 10 p. 6650911. (Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    3 Scopus citations
  • Relevant inputs analysis and its applications

    Wang, Y., Gupta, R. & Neamtiu, I., 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013. p. 268-277 10 p. 6698926. (2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • RERAN: Timing- and touch-sensitive record and replay for Android

    Gomez, L., Neamtiu, I., Azim, T. & Millstein, T., 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 72-81 10 p. 6606553. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    257 Scopus citations