Rupak Majumdar

Registered user since Thu 2 Apr 2015

Name:Rupak Majumdar
Affiliation:MPI-SWS

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
PLMW 2021 Invited Speaker in Invited Speakers within the PLMW 2021-track
Speaker of Numbers, Logic, and Decidability Results for Cyber-Physical Systems within the PLMW 2021-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
CPP 2021 Author of Lassie: HOL4 Tactics by Example within the CPP 2021-track
POPL 2021 Committee Member in Program Committee within the POPL-track
Author of Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs within the POPL-track
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 Consensus Implementations using Communication Closure within the OOPSLA-track
Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA-track
APLAS 2019 Author of Word Equations with Length Constraints and Presburger Arithmetic with Divisibility within the APLAS NIER-track
SPLASH 2019 Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track
ECOOP 2019 Author of Motion Session Types for Robotic Interactions within the Research Papers-track
PPoPP 2019 Author of Checking Linearizability Using Hitting Families within the Main Conference-track
TACAS 2019 Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track
POPL 2019 Committee Member in Steering Committee
Erlang 2018 Author of iDeA: An Immersive Debugger for Actors within the Erlang 2018-track
SPLASH 2018 Author of Randomized Testing of Distributed Systems with Probabilistic Guarantees within the OOPSLA-track
POPL 2018 Committee Member in Steering Committee
Author of Why is Random Testing Effective for Partition Tolerance Bugs? within the Research Papers-track
VMCAI 2017 Committee Member in Program committee
POPL 2017 Author of Thread Modularity at Many Levels: a Pearl in Compositional Verification within the POPL-track
Committee Member in Steering Committee
POPL 2016 Program 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 2015 Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track
ECOOP 2015 Author of Asynchronous Liquid Separation Types within the Research Track-track
SPLASH 2013 Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track