Rupak Majumdar - SPLASH 2020

Sun 15 - Fri 20 November 2020 Online Conference

Registered user since Thu 2 Apr 2015

Name: Rupak Majumdar

Affiliation: Max Planck Institute for Software Systems (MPI-SWS)

Personal website: http://www.mpi-sws.org/~rupak

Contributions

SPLASH 2020	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 Distributed Systems using Communication Closure within the OOPSLA-track Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA-track
Show activities from other conferences

Using general profile