Research & Publications

My work sits under three themes.

  • Cross-language program analysis
  • Foundational program analyses
  • Software security analysis and repair

📄 Publications

2026

  • JetTyped: A Study of Cross-Language Type Bugs in Android's JavaScriptEngine
    cross-language
    Abhishek Tiwari, Jyoti Prakash, Dimitrios Dafnis, Mikkel Baun Kjærgaard
    34th IEEE International Symposium on Software Reliability Engineering (ISSRE'26)

  • Sentry: Towards a Cross-Language Dynamic Analysis Framework for Hybrid Android Applications
    cross-language security-privacy
    Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kjærgaard
    Second International Workshop on Software Security Testing (SECUTE@ASE 2026)

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

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

2024

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

2023

  • Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
    cross-language security-privacy
    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
    security-privacy
    Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer
    MobileSoft'23 (co-located with ICSE'23)
    🏅 ACM SIGSOFT Distinguished Paper Award

2021

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

2020

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

2019

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

Note: All tools mentioned above are research prototypes and should be treated as alpha-quality software.

🎤 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 · Slides
    cross-language
    Jyoti Prakash
    University of Passau, Germany (2024)

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