conf.researchr.org / Rupak Majumdar
Registered user since Thu 2 Apr 2015
Name:Rupak Majumdar
Country:Germany
Affiliation:MPI-SWS
Personal website: http://www.mpi-sws.org/~rupak
Contributions
2025
2024
SPLASH
ICSE
2023
2022
POPL
2021
POPL
2020
SPLASH
- Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA Artifacts-track
- Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track
- Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track
- Author of Testing Consensus Implementations using Communication Closure within the OOPSLA-track
- Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA-track