Workshop on Research Highlights in Programming Languages

December 16-18, IIT Gandhinagar

(co-located with FSTTCS 2024)



The following posters have been selected for presentation at RHPL 2024.

  • Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems
    Rajarshi Ray (IACS, Kolkata)

  • RaceHunter Dynamic Data Race Retector
    Vadim Mutilin (ISP, Russian Academy of Sciences)

  • Proven Program Repair with LLMs
    Anand Yeolekar (TCS Research)