📚 publications

peer-reviewed publications and preprints

• Modular unification of unilingual pointer analyses to multilingual FFI-based programs
  Jyoti Prakash, Abhishek Tiwari, Christian Hammer
  Science of Computer Programming 243 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

📘 Thesis

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

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

🎓 academic service

• Artifact Evaluation Committee (AEC): ISSTA'23, PLDI'23, ECOOP'21, OOPSLA'21
• Shadow PC Member: MSR'22