Jyoti Prakash

Assistant Professor of Software Engineering
SDU Software Engineering Section
The Maersk McKinney Moller Institute
University of Southern Denmark, Odense

I am a researcher and educator in software analysis, with a core interest in analysis of heterogeneous and open-ended systems. Modern software systems span multiple programming languages and runtime, yet most existing analyses reason about individual languages. My work develops static and dynamic analysis techniques that helps us to enforce trust into the software systems that we use on a day-to-day basis. I have also designed and built industrial-strength analyses, at OpenText, where I contributed to Fortify which is a static analysis tool for large, security-critical codebases. This experience ensures that my research is firmly grounded in deployable solutions and real-world engineering constraints.

E-mail: jyp@mmmi.sdu.dk

Research Interests

  • Cross-Language Program Analysis
  • Program Analysis
  • Program Repair

Selected Publications

  • JetTyped: A Study of Cross-Language Type Bugs in Android's JavaScriptEngine
    Abhishek Tiwari, Jyoti Prakash, Dimitrios Dafnis, Mikkel Baun Kjærgaard
    ISSRE 2026

  • Sentry: Towards a Cross-Language Dynamic Analysis Framework for Hybrid Android Applications
    Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kjærgaard
    SECUTE@ASE 2026

  • Towards Analyzing N-language Polyglot Programs
    Jyoti Prakash, Abhishek Tiwari, Mikkel Baun Kjærgaard
    SANER 2026

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

  • Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
    Abhishek Tiwari, Jyoti Prakash, Christian Hammer
    ISSRE 2023

Full list of publications →

📰 updates

  • Sep 2026 - JetTyped accepted at ISSRE'26
  • Sep 2026 - Sentry accepted at SECUTE@ASE 2026