Rupak Majumdar

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 180

Top Venues

CoRR

Proc. ACM Program. Lang.

HSCC

CONCUR

Publications

Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. TACAS (3) (2024)
Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR (2024)
Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis
Enhancing GenMC's Usability and Performance. TACAS (2) (2024)
Rupak Majumdar, V. R. Sathiyanarayana
Positive Almost-Sure Termination: Complexity and Proof Rules. Proc. ACM Program. Lang. 8 (POPL) (2024)
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. CoRR (2024)
A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Reachability in Continuous Pushdown VASS. Proc. ACM Program. Lang. 8 (POPL) (2024)
Rupak Majumdar
Fine-Grained Complexity of Program Analysis (Invited Talk). MFCS (2024)
Rupak Majumdar, V. R. Sathiyanarayana
Sound and Complete Proof Rules for Probabilistic Termination. CoRR (2024)
Rupak Majumdar
Challenges and Opportunities in Model Checking Large-scale Distributed Systems. ICSE (2024)
Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. CoRR (2023)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC (2023)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Neural Abstraction-Based Controller Synthesis and Deployment. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR (2023)
Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic
Markov Decision Processes with Time-Varying Geometric Discounting. AAAI (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) (2023)
Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic
Markov Decision Processes with Time-Varying Geometric Discounting. CoRR (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Checking Refinement of Asynchronous Programs against Context-Free Specifications. CoRR (2023)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR (2023)
Rupak Majumdar, V. R. Sathiyanarayana
Positive Almost-Sure Termination - Complexity and Proof Rules. CoRR (2023)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Neural Abstraction-Based Controller Synthesis and Deployment. CoRR (2023)
Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar
Online Reinforcement Learning with Uncertain Episode Lengths. CoRR (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Checking Refinement of Asynchronous Programs Against Context-Free Specifications. ICALP (2023)
Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar
Online Reinforcement Learning with Uncertain Episode Lengths. AAAI (2023)
A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Reachability in Continuous Pushdown VASS. CoRR (2023)
Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. EDM (2023)
Rupak Majumdar, Anne-Kathrin Schmuck
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Trans. Autom. Control. 68 (1) (2023)
Jiarui Gan, Rupak Majumdar, Debmalya Mandal, Goran Radanovic
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. CoRR (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Verification of Context-Free Specifications. Proc. ACM Program. Lang. 7 (POPL) (2023)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023)
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Analysis of Concurrent Programs (Invited Talk). ICALP (2023)
Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche
Counter Machines with Infrequent Reversals. FSTTCS (2023)
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR (2023)
Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. CoRR (2023)
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Data-Driven Abstraction-Based Control Synthesis. CoRR (2022)
Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla
Bayesian Persuasion in Sequential Decision-Making. AAAI (2022)
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Log. Methods Comput. Sci. 18 (4) (2022)
Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla
Sequential Decision Making With Information Asymmetry (Invited Talk). CONCUR (2022)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS (2022)
Moses Ganardi, Rupak Majumdar, Georg Zetzsche
The Complexity of Bidirected Reachability in Valence Systems. LICS (2022)
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
Reachability in Bidirected Pushdown VASS. ICALP (2022)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-bounded verification of thread pools. Proc. ACM Program. Lang. 6 (POPL) (2022)
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
Reachability in Bidirected Pushdown VASS. CoRR (2022)
Jiarui Gan, Rupak Majumdar, Adish Singla, Goran Radanovic
Envy-free Policy Teaching to Multiple Agents. NeurIPS (2022)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) (2022)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR (2022)
Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
Subcubic certificates for CFL reachability. Proc. ACM Program. Lang. 6 (POPL) (2022)
Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. ICER (2) (2022)
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
Lassie: HOL4 tactics by example. CPP (2021)
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. CoRR (2021)
Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
Paracosm: A Test Framework for Autonomous Driving Simulations. FASE (2021)
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
Lassie: HOL4 Tactics by Example. CoRR (2021)
Christel Baier, Florian Funke, Rupak Majumdar
A Game-Theoretic Account of Responsibility Allocation. CoRR (2021)
Anthony W. Lin, Rupak Majumdar
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Log. Methods Comput. Sci. 17 (4) (2021)
Christel Baier, Florian Funke, Rupak Majumdar
A Game-Theoretic Account of Responsibility Allocation. IJCAI (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-based Explications. CoRR (2021)
Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla
Bayesian Persuasion in Sequential Decision-Making. CoRR (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Control for Stochastic Systems via Parity Games. CoRR (2021)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
The Pseudo-Skolem Problem is Decidable. MFCS (2021)
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
Generalising Projection in Asynchronous Multiparty Session Types. CONCUR (2021)
Christel Baier, Florian Funke, Rupak Majumdar
Responsibility Attribution in Parameterized Markovian Models. AAAI (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications (Invited Talk). ICALP (2021)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Verification of Thread Pools. CoRR (2021)
Moses Ganardi, Rupak Majumdar, Georg Zetzsche
The complexity of bidirected reachability in valence systems. CoRR (2021)
Natsuki Urabe, Rupak Majumdar
Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (9) (2021)
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
Symbolic reach-avoid control of multi-agent systems. ICCPS (2021)
Rupak Majumdar, Sadegh Soudjani
The computability of LQR and LQG control. HSCC (2021)
Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. TACAS (1) (2021)
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
Generalising Projection in Asynchronous Multiparty Session Types. CoRR (2021)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-bounded verification of liveness properties for multithreaded shared-memory programs. Proc. ACM Program. Lang. 5 (POPL) (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS (2021)
Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml
Choosing the Initial State for Online Replanning. AAAI (2021)
Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
Subcubic Certificates for CFL Reachability. CoRR (2021)
Anthony W. Lin, Rupak Majumdar
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR (2020)
Ivan Gavran, Eva Darulova, Rupak Majumdar
Interactive synthesis of temporal specifications from examples and natural language. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rupak Majumdar, Anne-Kathrin Schmuck
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. CoRR (2020)
Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
Algebraic Invariants for Linear Hybrid Automata. CONCUR (2020)
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC (2020)
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
On Abstraction-Based Controller Design With Output Feedback. CoRR (2020)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
Assume-Guarantee Distributed Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar
On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret. Event Dyn. Syst. 30 (1) (2020)
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
Testing consensus implementations using communication closure. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
On Decidability of Time-Bounded Reachability in CTMDPs. ICALP (2020)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
The complexity of bounded context switching with dynamic thread creation. CoRR (2020)
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR (2020)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR (2020)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs. CoRR (2020)
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
The Complexity of Bounded Context Switching with Dynamic Thread Creation. ICALP (2020)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
On Decidability of Time-bounded Reachability in CTMDPs. CoRR (2020)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS (2020)
Ghaith Bilbeisi, Sheraz Ahmed, Rupak Majumdar
DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. ICONIP (5) (2020)
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
On abstraction-based controller design with output feedback. HSCC (2020)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5 (1) (2020)
Jeffrey M. Fischer, Rupak Majumdar
Programming event processors with thingflow. ICCPS (2019)
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. CoRR (2019)
Arpan Gujarati, Mitra Nasri, Rupak Majumdar, Björn B. Brandenburg
From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. ECRTS (2019)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
Perception-in-the-Loop Adversarial Examples. CoRR (2019)
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee
Trace aware random testing for distributed systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)

Rupak Majumdar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rupak Majumdar