Rupak Majumdar

Registered user since Thu 2 Apr 2015

Name:Rupak Majumdar
Country:Germany
Affiliation:MPI-SWS

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
POPL 2023 Author of Context-Bounded Verification of Context-Free Specifications within the POPL-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
POPL 2022 Author of Subcubic Certificates for CFL Reachability within the POPL-track
Author of Context-Bounded Verification of Thread Pools within the POPL-track
VMCAI 2022 Session Chair of Formal Methods in Machine Learning (part of VMCAI 2022)
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
CPP 2021 Author of Lassie: HOL4 Tactics by Example within the CPP 2021-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-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
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
TACAS 2019 Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track
PPoPP 2019 Author of Checking Linearizability Using Hitting Families within the Main Conference-track
POPL 2019 Committee Member in Steering Committee
SPLASH 2018 Author of Randomized Testing of Distributed Systems with Probabilistic Guarantees within the OOPSLA-track
Erlang 2018 Author of iDeA: An Immersive Debugger for Actors within the Erlang 2018-track
POPL 2018 Committee Member in Steering Committee
Author of Why is Random Testing Effective for Partition Tolerance Bugs? within the Research Papers-track
POPL 2017 Author of Thread Modularity at Many Levels: a Pearl in Compositional Verification within the POPL-track
Committee Member in Steering Committee
VMCAI 2017 Committee Member in Program 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)
ECOOP 2015 Author of Asynchronous Liquid Separation Types within the Research Track-track
ESOP 2015 Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track
SPLASH 2013 Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track