📚 Publications

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

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

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

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

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

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

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

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

📜 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

  • Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
    Research Highlights in Programming Languages @ FSTTCS'2024 (IIT Gandhinagar)

  • On the Soundness of Pointer Analyses
    The MathWorks, Bangalore

📘 Thesis

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

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