📚 Publications

  • Towards Analyzing N-language Polyglot Programs
    Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kjærgaard
    33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
    [PDF](will be updated)

  • Modular Unification of Unilingual Pointer Analyses to Multilingual FFI-based Programs
    Jyoti Prakash, Abhishek Tiwari, Christian Hammer
    Science of Computer Programming 243
    Journal First Track @ SANER'26
    PDF

  • Automated Repair of Information Flow Security in Android Implicit Inter-App Communication
    Abhishek Tiwari, Jyoti Prakash, Zhen Dong, Carlo A. Furia
    26th IEEE International Symposium on Formal Methods (FM'24)
    PDF

  • Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
    Abhishek Tiwari, Jyoti Prakash, Christian Hammer
    34th IEEE International Symposium on Software Reliability Engineering (ISSRE'23)
    PDF

  • Understanding the Impact of Fingerprinting in Android Hybrid Apps
    Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer
    MobileSoft'23 (co-located with ICSE'23)
    🏅 ACM SIGSOFT Distinguished Paper Award
    PDF

  • Effects of Program Representation on Pointer Analyses — An Empirical Study
    Jyoti Prakash, Abhishek Tiwari, Christian Hammer
    24th International Conference on Fundamental Approaches to Software Engineering (FASE'21)
    PDF

  • A Large Scale Analysis of Android–Web Hybridization
    Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer
    Journal of Systems and Software 170
    PDF

  • A Large Scale Analysis of Android–Web Hybridization
    Abhishek Tiwari, Jyoti Prakash, Sascha Groß, Christian Hammer
    19th International Working Conference on Source Code Analysis and Manipulation (SCAM'2019)
    PDF

📜 Patents

  • Submitted three patents related to testing static analyzers with AI and detecting non-deterministically reported vulnerabilities.
    Titles cannot be disclosed due to non-disclosure agreements.

🎤 Talks

  • Building Trust in Open-Ended Software Systems: From Static Analysis to LLM Assurance
    AI Conference @ ExxonMobil, Bangalore

  • On the Soundness of Pointer Analyses
    The MathWorks, Bangalore

📘 Thesis

  • Static Analyses of Interlanguage Interoperations
    Jyoti Prakash
    University of Passau, Germany (2024)
    Dissertation (PDF)

  • Points-to Analysis for Java using Push-Down Systems
    Jyoti Prakash
    Master's Thesis, Saarland University (2017)