Rupak Majumdar

Registered user since Thu 2 Apr 2015

Name: Rupak Majumdar

Affiliation: MPI-SWS, Germany

Personal website:


ECOOP 2019Author of Motion Session Types for Robotic Interactions within the ECOOP Research Papers-track
PPoPP 2019Author of Checking Linearizability Using Hitting Families within the Main Conference-track
TACAS 2019Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track
POPL 2019Committee Member in Steering Committee
Erlang 2018Author of iDeA: An Immersive Debugger for Actors within the Erlang 2018-track
SPLASH 2018Author of Randomized Testing of Distributed Systems with Probabilistic Guarantees within the OOPSLA-track
POPL 2018Committee Member in Steering Committee
Author of Why is Random Testing Effective for Partition Tolerance Bugs? within the Research Papers-track
VMCAI 2017Committee Member in Program committee
POPL 2017Author of Thread Modularity at Many Levels: a Pearl in Compositional Verification within the POPL-track
Committee Member in Steering Committee
POPL 2016Program Chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
Program Co-Chair in Program Committee
Committee Member in Steering Committee
Session Chair of Invited Speaker Thu (part of Invited Speakers)
ESOP 2015Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track
ECOOP 2015Author of Asynchronous Liquid Separation Types within the Research Track-track
SPLASH 2013Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track