Rupak Majumdar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
175
Venues
53
Active years
1999–2026
Best venue rank
A*
Where they publish
- A*CAV20 papers
- ATACAS19 papers
- BCONCUR17 papers
- Journal PublishedEMSOFT10 papers
- A*ICALP9 papers
- A*PLDI8 papers
- A*POPL7 papers
- A*AAAI6 papers
- BSAS6 papers
- A*LICS5 papers
- A*ICSE4 papers
- BFASE4 papers
- BATVA4 papers
- AICCAD4 papers
- BMFCS3 papers
- AECOOP3 papers
- A*DAC3 papers
- BVMCAI3 papers
- BFMCAD2 papers
- ADATE2 papers
- AISSTA2 papers
- CPEPM2 papers
- ASTACS2 papers
- AHotOS1 paper
- A*ICML1 paper
- A*KR1 paper
- BEDM1 paper
- AICER1 paper
- BCPP1 paper
- A*IJCAI1 paper
- BICONIP1 paper
- BECRTS1 paper
- BPPoPP1 paper
- A*CHI1 paper
- AAIED1 paper
- NationalFlAIRS1 paper
- BLPAR1 paper
- CSCAM1 paper
- AESOP1 paper
- A*CCS1 paper
- AOOPSLA1 paper
- AEuroSys1 paper
- BASPDAC1 paper
- CMEMOCODE1 paper
- BICCCN1 paper
- ARTSS1 paper
- BAPLAS1 paper
- AICWS1 paper
- BSAGT1 paper
- AUAI1 paper
- BCSL1 paper
- CPPDP1 paper
- A*STOC1 paper
Papers
175 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | MightyPPL: Model Checking MITL with Past and Pnueli Modalities. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | CONCUR | Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | CONCUR | Optimal Concolic Dynamic Partial Order Reduction. | Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra |
| 2025 | HotOS | Analyzing Metastable Failures. | Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | ICML | Regret-Free Reinforcement Learning for Temporal Logic Specifications. | Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | KR | Model Checking Linear Temporal Logic with Standpoint Modalities. | Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | LICS | Pushdown Model Checking above the Cubic Bottleneck. | A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar |
| 2024 | ICSE | Challenges and Opportunities in Model Checking Large-scale Distributed Systems. | Rupak Majumdar |
| 2024 | MFCS | Fine-Grained Complexity of Program Analysis (Invited Talk). | Rupak Majumdar |
| 2024 | TACAS | Enhancing GenMC's Usability and Performance. | Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis |
| 2024 | TACAS | Rabin Games and Colourful Universal Trees. | Rupak Majumdar, Irmak Saglam, K. S. Thejaswini |
| 2023 | AAAI | Markov Decision Processes with Time-Varying Geometric Discounting. | Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic |
| 2023 | AAAI | Online Reinforcement Learning with Uncertain Episode Lengths. | Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar |
| 2023 | CAV | Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. | Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar |
| 2023 | CAV | Solving String Constraints Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka |
| 2023 | CAV | A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. | Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2023 | CONCUR | Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. | Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2023 | EDM | Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. | Tung Phung, Jos Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares |
| 2023 | ICALP | Context-Bounded Analysis of Concurrent Programs (Invited Talk). | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2023 | ICALP | Checking Refinement of Asynchronous Programs Against Context-Free Specifications. | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2023 | ICER | Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. | Tung Phung, Victor-Alexandru Padurean, Jos Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares |
| 2022 | AAAI | Bayesian Persuasion in Sequential Decision-Making. | Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla |
| 2022 | CONCUR | Sequential Decision Making With Information Asymmetry (Invited Talk). | Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla |
| 2022 | ICALP | Reachability in Bidirected Pushdown VASS. | Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schtze, Georg Zetzsche |
| 2022 | LICS | The Complexity of Bidirected Reachability in Valence Systems. | Moses Ganardi, Rupak Majumdar, Georg Zetzsche |
| 2022 | MFCS | The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, James Worrell |
| 2022 | TACAS | A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. | Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2021 | AAAI | Responsibility Attribution in Parameterized Markovian Models. | Christel Baier, Florian Funke, Rupak Majumdar |
| 2021 | AAAI | Choosing the Initial State for Online Replanning. | Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jrg Hoffmann, Rupak Majumdar, Wheeler Ruml |
| 2021 | CONCUR | Generalising Projection in Asynchronous Multiparty Session Types. | Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey |
| 2021 | CPP | Lassie: HOL4 tactics by example. | Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar |
| 2021 | FASE | Paracosm: A Test Framework for Autonomous Driving Simulations. | Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |
| 2021 | IJCAI | A Game-Theoretic Account of Responsibility Allocation. | Christel Baier, Florian Funke, Rupak Majumdar |
| 2021 | MFCS | The Pseudo-Skolem Problem is Decidable. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell |
| 2021 | TACAS | General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. | Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2020 | CONCUR | Algebraic Invariants for Linear Hybrid Automata. | Rupak Majumdar, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2020 | ICALP | The Complexity of Bounded Context Switching with Dynamic Thread Creation. | Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2020 | ICALP | On Decidability of Time-Bounded Reachability in CTMDPs. | Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani |
| 2020 | ICONIP | DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. | Ghaith Bilbeisi, Sheraz Ahmed, Rupak Majumdar |
| 2019 | ATVA | Lazy Abstraction-Based Controller Synthesis. | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
| 2019 | CAV | Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). | Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rmmer |
| 2019 | ECOOP | Motion Session Types for Robotic Interactions (Brave New Idea Paper). | Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey |
| 2019 | ECRTS | From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. | Arpan Gujarati, Mitra Nasri, Rupak Majumdar, Bjrn B. Brandenburg |
| 2019 | PPoPP | Checking linearizability using hitting families. | Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic |
| 2019 | TACAS | Environmentally-Friendly GR(1) Synthesis. | Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck |
| 2018 | ATVA | Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. | Anthony W. Lin, Rupak Majumdar |
| 2018 | CHI | DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems. | Patrick Reipschlger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt |
| 2018 | CONCUR | Verification of Immediate Observation Population Protocols. | Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy |
| 2018 | EMSOFT | Embedded software for robotics: challenges and future directions: special session. | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus |
| 2017 | AIED | Synthesis of Problems for Shaded Area Geometry Reasoning. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2017 | CONCUR | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
| 2017 | FlAIRS | Synthesis of Solutions for Shaded Area Geometry Problems. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2017 | FMCAD | FAR-Cubicle - A new reachability algorithm for Cubicle. | Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux |
| 2017 | LPAR | Programming by Composing Filters. | Jeffrey Fischer, Rupak Majumdar |
| 2017 | POPL | Thread modularity at many levels: a pearl in compositional verification. | Jochen Hoenicke, Rupak Majumdar, Andreas Podelski |
| 2017 | TACAS | Fair Termination for Parameterized Probabilistic Concurrent Systems. | Ondrej Lengl, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rmmer |
| 2016 | ATVA | Symbolic Model Checking for Factored Probabilistic Models. | David Deininger, Rayna Dimitrova, Rupak Majumdar |
| 2016 | CAV | Hitting Families of Schedules for Asynchronous Programs. | Dmitry Chistikov, Rupak Majumdar, Filip Niksic |
| 2016 | SCAM | LLSPLAT: Improving Concolic Testing by Bounded Model Checking. | Min Gao, Lei He, Rupak Majumdar, Zilong Wang |
| 2016 | TACAS | Probabilistic CTL | Rayna Dimitrova, Luis Mara Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
| 2016 | TACAS | Partial Order Reduction for Event-Driven Multi-threaded Programs. | Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar |
| 2016 | TACAS | Robots at the Edge of the Cloud. | Rupak Majumdar |
| 2016 | TACAS | Safety Verification of Continuous-Space Pure Jump Markov Processes. | Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate |
| 2015 | CAV | Quantifying Conformance Using the Skorokhod Metric. | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
| 2015 | CAV | Model Checking Parameterized Asynchronous Shared-Memory Systems. | Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar |
| 2015 | CAV | Bbs: A Phase-Bounded Model Checker for Asynchronous Programs. | Rupak Majumdar, Zilong Wang |
| 2015 | CONCUR | Verification of Population Protocols. | Javier Esparza, Pierre Ganty, Jrme Leroux, Rupak Majumdar |
| 2015 | CONCUR | Rely/Guarantee Reasoning for Asynchronous Programs. | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | CONCUR | Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
| 2015 | ECOOP | Asynchronous Liquid Separation Types. | Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | ESOP | Analysis of Asynchronous Programs with Event-Based Synchronization. | Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo |
| 2015 | TACAS | Approximate Counting in SMT and Value Estimation for Probabilistic Programs. | Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar |
| 2014 | AAAI | Synthesis of Geometry Proof Problems. | Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay |
| 2014 | CAV | An SMT-Based Approach to Coverability Analysis. | Javier Esparza, Rusln Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic |
| 2014 | CAV | Regression Test Selection for Distributed Software Histories. | Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov |
| 2014 | CONCUR | Bounds on Mobility. | Reiner Hchting, Rupak Majumdar, Roland Meyer |
| 2014 | EMSOFT | Deductive control synthesis for alternating-time logics. | Rayna Dimitrova, Rupak Majumdar |
| 2014 | FASE | Dynamic Package Interfaces. | Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
| 2014 | FMCAD | Kuai: A model checker for software-defined networks. | Rupak Majumdar, Sai Deep Tetali, Zilong Wang |
| 2014 | ICALP | Unary Pushdown Automata and Straight-Line Programs. | Dmitry Chistikov, Rupak Majumdar |
| 2014 | PLDI | Race detection for Android applications. | Pallavi Maiya, Aditya Kanade, Rupak Majumdar |
| 2013 | CAV | Parameterized Verification of Asynchronous Shared-Memory Systems. | Javier Esparza, Pierre Ganty, Rupak Majumdar |
| 2013 | CAV | Incremental, Inductive Coverability. | Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac |
| 2013 | CCS | The first workshop on language support for privacy-enhancing technologies (PETShop'13). | Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith |
| 2013 | CONCUR | A Theory of Name Boundedness. | Reiner Hchting, Rupak Majumdar, Roland Meyer |
| 2013 | CONCUR | Expand, Enlarge, and Check for Branching Vector Addition Systems. | Rupak Majumdar, Zilong Wang |
| 2013 | DATE | Supervisor synthesis for controller upgrades. | Johannes Kloos, Rupak Majumdar |
| 2013 | EMSOFT | Synthesis of fixed-point programs. | Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha |
| 2013 | OOPSLA | MrCrypt: static analysis for secure cloud computations. | Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein |
| 2013 | SAS | Static Provenance Verification for Message Passing Programs. | Rupak Majumdar, Roland Meyer, Zilong Wang |
| 2013 | TACAS | Model Checking Database Applications. | Milos Gligoric, Rupak Majumdar |
| 2012 | ATVA | Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
| 2012 | CAV | Approximately Bisimilar Symbolic Models for Digital Control Systems. | Rupak Majumdar, Majid Zamani |
| 2012 | EMSOFT | Synthesis of minimal-error control software. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2012 | EMSOFT | Trigger memoization in self-triggered control. | Indranil Saha, Rupak Majumdar |
| 2012 | EMSOFT | Input-output robustness for discrete systems. | Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar |
| 2012 | EuroSys | Scalable testing of file system checkers. | Joo Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar |
| 2012 | FASE | Language-Theoretic Abstraction Refinement. | Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer |
| 2012 | LICS | A Perfect Model for Bounded Verification. | Javier Esparza, Pierre Ganty, Rupak Majumdar |
| 2012 | PLDI | Engage: a deployment management system. | Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali |
| 2012 | SAS | Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. | Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong |
| 2011 | CAV | HMC: Verifying Functional Programs Using Abstract Interpreters. | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
| 2011 | CAV | Bug-Assist: Assisting Fault Localization in ANSI-C Programs. | Manu Jose, Rupak Majumdar |
| 2011 | EMSOFT | Performance-aware scheduler synthesis for control systems. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2011 | PLDI | Cause clue clauses: error localization using maximum satisfiability. | Manu Jose, Rupak Majumdar |
| 2010 | ASPDAC | Fault-tolerant resynthesis with dual-output LUTs. | Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He, Minming Li |
| 2010 | CAV | Bounded Underapproximations. | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
| 2010 | DAC | Rewiring for robustness. | Manu Jose, Yu Hu, Rupak Majumdar, Lei He |
| 2010 | DATE | RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. | Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He |
| 2010 | EMSOFT | Automatic verification of control system implementations. | Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada |
| 2010 | ICCAD | On power and fault-tolerance optimization in FPGA physical synthesis. | Manu Jose, Yu Hu, Rupak Majumdar |
| 2010 | MEMOCODE | Systematic testing for control applications. | Rupak Majumdar, Indranil Saha, Zilong Wang |
| 2010 | PLDI | Parameterized verification of transactional memories. | Michael Emmi, Rupak Majumdar, Roman Manevich |
| 2010 | VMCAI | Shape Analysis with Reference Set Relations. | Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
| 2009 | CAV | Reducing Test Inputs Using Information Partitions. | Rupak Majumdar, Ru-Gang Xu |
| 2009 | ECOOP | Fine-Grained Access Control with Object-Sensitive Roles. | Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein |
| 2009 | ICCAD | IPR: In-Place Reconfiguration for FPGA fault tolerance. | Zhe Feng, Yu Hu, Lei He, Rupak Majumdar |
| 2009 | ICCCN | Team Incentives in BitTorrent Systems. | Rafit Izhak-Ratzin, Nikitas Liogkas, Rupak Majumdar |
| 2009 | POPL | Verifying liveness for asynchronous programs. | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
| 2009 | RTSS | Symbolic Robustness Analysis. | Rupak Majumdar, Indranil Saha |
| 2009 | TACAS | Verifying Reference Counting Implementations. | Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar |
| 2009 | TACAS | From Tests to Proofs. | Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko |
| 2008 | APLAS | The Complexity of Coverage. | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
| 2008 | CAV | CSIsat: Interpolation for LA+EUF. | Dirk Beyer, Damien Zufferey, Rupak Majumdar |
| 2008 | DAC | FPGA area reduction by multi-output function based sequential resynthesis. | Yu Hu, Victor Shih, Rupak Majumdar, Lei He |
| 2008 | ICCAD | Robust FPGA resynthesis based on fault-tolerant Boolean matching. | Yu Hu, Zhe Feng, Lei He, Rupak Majumdar |
| 2008 | ICWS | A Theory of Role Composition. | Jeffrey Fischer, Rupak Majumdar |
| 2008 | ISSTA | Testing for buffer overflows with length abstraction. | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
| 2008 | POPL | Proving non-termination. | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |
| 2008 | SAGT | Frugal Routing on Wireless Ad-Hoc Networks. | Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson |
| 2007 | ICCAD | Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. | Yu Hu, Victor Shih, Rupak Majumdar, Lei He |
| 2007 | ICSE | Hybrid Concolic Testing. | Rupak Majumdar, Koushik Sen |
| 2007 | ISSTA | Dynamic test input generation for database applications. | Michael Emmi, Rupak Majumdar, Koushik Sen |
| 2007 | LICS | Game Relations and Metrics. | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Marille Stoelinga |
| 2007 | PEPM | Tasks: language support for event-driven programming. | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
| 2007 | PLDI | Path invariants. | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
| 2007 | POPL | Lock allocation. | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
| 2007 | POPL | Interprocedural analysis of asynchronous programs. | Ranjit Jhala, Rupak Majumdar |
| 2007 | TACAS | State of the Union: Type Inference Via Craig Interpolation. | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
| 2007 | VMCAI | Invariant Synthesis for Combined Theories. | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
| 2007 | VMCAI | Verifying Compensating Transactions. | Michael Emmi, Rupak Majumdar |
| 2006 | STACS | Markov Decision Processes with Multiple Objectives. | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
| 2006 | SAS | Structural Invariants. | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
| 2005 | EMSOFT | Code aware resource management. | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
| 2005 | FASE | Checking Memory Safety with Blast. | Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2005 | PLDI | Path slicing. | Ranjit Jhala, Rupak Majumdar |
| 2005 | UAI | Counterexample-guided Planning. | Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | CSL | On Nash Equilibria in Stochastic Games. | Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski |
| 2004 | ICSE | Generating Tests from Counterexamples. | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | PEPM | Invited talk: the blast query language for software verification. | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | PLDI | Race checking by context inference. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | POPL | Abstractions from proofs. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
| 2004 | PPDP | Invited talk: the blast query language for software verification. | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | SAS | The Blast Query Language for Software Verification.. | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | TACAS | Model Checking Discounted Temporal Properties. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | CAV | Thread-Modular Abstraction Refinement. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
| 2003 | CONCUR | The Element of Surprise in Timed Games. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | ICALP | Discounting the Future in Systems Theory. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2003 | ICALP | Counterexample-Guided Control. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2003 | SAS | Stack Size Analysis for Interrupt-Driven Programs. | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |
| 2003 | TACAS | On the Universal and Existential Fragments of the -Calculus. | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
| 2002 | CAV | Temporal-Safety Proofs for Systems Code. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grgoire Sutre, Westley Weimer |
| 2002 | EMSOFT | Time-Safety Checking for Embedded Programs. | Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic |
| 2002 | POPL | Lazy abstraction. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grgoire Sutre |
| 2001 | CONCUR | Symbolic Algorithms for Infinite-State Games. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2001 | DAC | Watermarking of SAT using Combinatorial Isolation Lemmas. | Rupak Majumdar, Jennifer L. Wong |
| 2001 | ICSE | JMOCHA: A Model Checking Tool that Exploits Design Structure. | Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang |
| 2001 | LICS | From Verification to Control: Dynamic Programs for Omega-Regular Objectives. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2001 | PLDI | Automatic Predicate Abstraction of C Programs. | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
| 2001 | STOC | Quantitative solution of omega-regular games. | Luca de Alfaro, Rupak Majumdar |
| 2000 | STACS | A Classification of Symbolic Transition Systems. | Thomas A. Henzinger, Rupak Majumdar |
| 2000 | SAS | Abstract Interpretation of Game Properties. | Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-Franois Raskin |
| 2000 | TACAS | Symbolic Model Checking for Rectangular Hybrid Systems. | Thomas A. Henzinger, Rupak Majumdar |
| 1999 | CONCUR | Rectangular Hybrid Games. | Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar |