Rupak Majumdar

Rupak Majumdar

ADJUNCT PROFESSOR

Engineering VI - Room 277

Email: rupak@mpi-sws.org
Phone: (310) 825-4033
Fax: (310) 794-5057

Websites

RESEARCH AND INTERESTS
My research interests are computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory.
NOTABLE PUBLICATIONS
The complete references, including most electronic editions, can be found on DBLP. This list is also available by category.
    1. Jyotirmoy Deshmukh, Xiaoqing Jin, Rupak Majumdar, and Vinayak Prabhu. Parameter Optimization in Control Software using Statistical Fault Localization Techniques, ICCPS 2018.
    2. Rupak Majumdar and Filip Niksic. Why is random testing effective for partition tolerance bugs?, POPL 2018.
    3. Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani*, Rupak Majumdar, Majid Zamani. Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems, CDC 2017.
    4. Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, and Rupak Majumdar. Compositional Construction of Finite State Abstractions for Stochastic Control Systems, CDC 2017.
    5. Jyotirmoy Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak Prabhu. Testing Cyber-Physical Systems through Bayesian Optimization, EMSOFT 2017/ACM TECS.
    6. Ivan Gavran, Rupak Majumdar, and Indranil Saha. Antlab: A Multi-Robot Task Server, EMSOFT 2017/ACM TECS.
    7. Sadegh Soudjani, Rupak Majumdar, and Tigran Nagapetyan. Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems, QEST 2017.
    8. S.S. Farahani, S. Esmaeil Zadeh Soudjani, R. Majumdar, and C. Ocampo-Martinez. Robust Model Predictive Control with Signal Temporal Logic constraints for Wastewater Systems, The 20th World Congress of the International Federation of Automatic Control (IFAC), 2017.
    9. Samira Farahani, Rupak Majumdar, Vinayak Prabhu, Sadegh Esmaeil Zadeh Soudjani. Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications, American Control Conference (ACC) 2017.
    10. Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, and Philipp Rümmer. Fair Termination for Parameterized Probabilistic Concurrent Systems, TACAS (1) 2017: 499-517.
    11. Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak Prabhu and Sadegh Soudjani. The Robot Routing Problem for Collecting Aggregate Stochastic Rewards, CONCUR 2017.
    12. Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar. Controller Synthesis for Reward Collecting Markov Processes in Continuous Space, HSCC 2017: 45-54
    13. Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva. Dynamic hierarchical reactive controller synthesis, Discrete Event Dynamic Systems 27(2): 261-299 (2017)
    14. Jochen Hoenicke, Rupak Majumdar, and Andreas Podelski. Thread modularity at many levels: A Pearl in Compositional Verification, POPL 2017.
    15. David Deininger, Rayna Dimitrova, and Rupak Majumdar. Symbolic Model Checking for Factored Probabilistic Models, ATVA 2016.
    16. Javier Esparza, Pierre Ganty, Jerome Leroux, and Rupak Majumdar. Model Checking Population Protocols, FSTTCS 2016.
    17. Dmitry Chistikov, Rupak Majumdar, and Filip Niksic. Hitting Families of Schedules, CAV 2016.
    18. Sadegh Soudjani, Rupak Majumdar, and Alessandro Abate. Safety Verification of Continuous-Space Pure Jump Markov Processes, TACAS 2016.
    19. Pallavi Maiya, Rahul Gupta, Aditya Kanade and Rupak Majumdar. Partial Order Reduction for Event-driven Multi-threaded Programs , TACAS 2016.
    20. Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, and Rupak Majumdar. Probabilistic CTL* : The Deductive Way , TACAS 2016.
    21. Rupak Majumdar and Vinayak Prabhu. Computing Distances between Reach Flowpipes , HSCC 2016.
    22. Rayna Dimitrova and Rupak Majumdar. Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs , GANDALF 2015.
    23. Javier Esparza, Pierre Ganty, Jerome Leroux, and Rupak Majumdar. Verification of Population Protocols, CONCUR 2015.
    24. Sadegh Soudjani, Alessandro Abate, and Rupak Majumdar. Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes, CONCUR 2015.
    25. Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, and Viktor Vafeiadis. Rely-Guarantee Reasoning for Asynchronous Programs, CONCUR 2015.
    26. Jyotirmoy Deshmukh, Rupak Majumdar, and Vinayak Prabhu. Quantifying System Conformance using the Skorokhod Metric, CAV 2015.
    27. Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, and Rupak Majumdar. Model Checking Parameterized Asynchronous Shared-Memory Systems, CAV 2015.
    28. Rupak Majumdar and Zilong Wang. BBS: A Phase-Bounded Model Checker for Asynchronous Programs, CAV 2015.
    29. Johannes Kloos, Rupak Majumdar, and Viktor Vafeiadis. Asynchronous Liquid Separation Types, ECOOP 2015.
    30. Indranil Saha, Sanjoy Baruah, and Rupak Majumdar. Dynamic Scheduling for Networked Control Systems, HSCC 2015.
    31. Rupak Majumdar and Vinayak Prabhu. Computing the Skorokhod Distance between Polygonal Traces, HSCC 2015.
    32. Dmitry Chistikov, Rayna Dimitrova, and Rupak Majumdar. Approximate Counting in SMT and Value Estimation for Probabilistic Programs, TACAS 2015.
    33. Michael Emmi, Pierre Ganty, Rupak Majumdar, and Fernando Rosa-Velardo. Analysis of Asynchronous Programs with Event-Based Synchronization, ESOP 2015.
    34. Rupak Majumdar, Sai Deep Tetali, and Zilong Wang. Kuai: A model checker for software-defined networks, FMCAD 2014.
    35. Rayna Dimitrova and Rupak Majumdar. Deductive control synthesis for alternating-time logics , EMSOFT 2014.
    36. Reiner Huechting, Rupak Majumdar, and Roland Meyer. Bounds on mobility, CONCUR 2014.
    37. Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, and Darko Marinov. Regression Test Selection for Distributed Software Histories, CAV 2014.
    38. Javier Esparza, Ruslan Ledesma-Garza, Rupak Majumdar, Philipp Meyer, and Filip Niksic. An SMT-based Approach to Coverability Analysis, CAV 2014.
    39. Dmitry Chistikov and Rupak Majumdar. Unary Pushdown Automata and Straight-Line Programs , ICALP 2014.
    40. Christopher Alvin, Sumit Gulwani, Supratik Mukhopadhyay, and Rupak Majumdar. Automatic synthesis of geometry problems , AAAI 2014.
    41. Pallavi Maiya, Aditya Kanade, and Rupak Majumdar. Race checking for Android applications , PLDI 2014.
    42. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit Distance for Timed Automata , HSCC 2014.
    43. Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, and Damien Zufferey. Dynamic package interfaces, FASE 2014.
    44. Georgel Calin, Egor Derevenetc, Rupak Majumdar and Roland Meyer. A Theory of Partitioned Global Address Spaces, FSTTCS 2013.
    45. Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, and Todd Millstein. MrCrypt: Static Analysis for Secure Cloud Computations, OOPSLA 2013.
    46. Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, and John Lygeros. Bisimilar finite abstractions of stochastic control systems, CDC 2013.
    47. Rupak Majumdar, Indranil Saha, Koichi Ueda, and Hakan Yazarel. Compositional Equivalence Checking for Models and Code of Control Systems, CDC 2013.
    48. Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha. Synthesis of fixed-point programs, EMSOFT 2013.
    49. Reiner HÃchting, Rupak Majumdar, and Roland Meyer. A Theory of Name Boundedness, CONCUR 2013.
    50. Rupak Majumdar and Zilong Wang. Expand, Enlarge, and Check for Branching Vector Addition Systems . CONCUR 2013.
    51. Dmitry Chistikov and Rupak Majumdar. A Uniformization Theorem for Nested Word to Word Transductions. CIAA 2013.
    52. Javier Esparza, Pierre Ganty, and Rupak Majumdar. Parameterized verification of asynchronous shared-memory systems, CAV 2013.
    53. Johannes Kloos, Rupak Majumdar, Filip Niksic, and Ruzica Piskac. Incremental Inductive Coverability, CAV 2013.
    54. Rupak Majumdar, Roland Meyer, and Zilong Wang. Static provenance verification for message passing programs, SAS 2013.
    55. Milos Gligoric and Rupak Majumdar. Model checking of database applications, TACAS 2013.
    56. Johannes Kloos and Rupak Majumdar. Supervisor Synthesis for Controller Upgrades, , DATE 2013.
    57. Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, and Rupak Majumdar. Input-Output stability for discrete systems, EMSOFT 2012.
    58. Rupak Majumdar, Indranil Saha, and Majid Zamani. Synthesis of minimal-error control software, EMSOFT 2012.
    59. Indranil Saha and Rupak Majumdar. Trigger memoization in self-triggered control, EMSOFT 2012.
    60. Krishnendu Chatterjee, Martin Chmelík, and Rupak Majumdar. Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games, ATVA 2012.
    61. Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, and Hong Hong. Efficient May Happen in Parallel Analysis for Async-Finish Parallelism, SAS 2012. (Invited paper.)
    62. Javier Esparza, Pierre Ganty, and Rupak Majumdar. A perfect model for bounded verification, LICS 2012.
    63. Rupak Majumdar, Indranil Saha, K.C. Shashidhar, and Zilong Wang. Closed loop symbolic execution, NFM 2012.
    64. Rupak Majumdar and Majid Zamani. Approximately Bisimilar Symbolic Models for Digital Control Systems, CAV 2012.
    65. Jeffrey Fischer, Rupak Majumdar, and Shahram Esmaeilsabzali. Engage: A Deployment Management System, PLDI 2012.
    66. Joao Carreira, Rodrigo Rodrigues, George Candea, and Rupak Majumdar. Scalable Testing of File System Checkers, Eurosys 2012.
    67. Zhenyue Long, Georgel Calin, Rupak Majumdar, and Roland Meyer. Language-theoretic abstraction refinement, FASE 2012. EAPLS Best paper award.
    68. Majid Zamani and Rupak Majumdar. A Lyapunov approach in incremental stability, CDC 2011.
    69. Rupak Majumdar, Indranil Saha, and Majid Zamani. Performance aware controller scheduler codesign, EMSOFT 2011.
    70. Krishnendu Chatterjee and Rupak Majumdar. Minimum Attention Controller Synthesis for Omega-Regular Objectives, FORMATS 2011.
    71. Ranjit Jhala, Rupak Majumdar, and Andrey Rybalchenko. HMC: Verifying functional programs using abstract interpreters, CAV 2011.
    72. Manu Jose and Rupak Majumdar. BugAssist: Assisting Fault Localization in ANSI-C Programs (Tool paper), CAV 2011.
    73. Manu Jose and Rupak Majumdar. Cause Clue Clauses: Error Localization using Maximum Satisfiability, PLDI 2011.
    74. Pritam Roy, Paulo Tabuada, and Rupak Majumdar. Pessoa 2.0: A Controller Synthesis Tool for Cyber-physical Systems, HSCC 2011.
    75. Rupak Majumdar, Elaine Render, and Paulo Tabuada. Robust Discrete Synthesis against Unspecified Disturbances, HSCC 2011.
    76. Jason Cong, Bin Liu, Rupak Majumdar, and Zhiru Zhang. Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis, ACM Trans. Design Autom. Electr. Syst. 16(1): 4 (2010) ACM TODAES Best paper award 2012.
    77. Rupak Majumdar, Indranil Saha, and Zilong Wang. Systematic Testing for Control Applications, Memocode 2010.
    78. Adolfo Anta, Rupak Majumdar, Indranil Saha, and Paulo Tabuada. Automatic verification of control system implementations, EMSOFT 2010. ACM SIGBED Best paper award.
    79. Manu Jose, Yu Hu, and Rupak Majumdar. On Power And Fault-Tolerant Optimization In FPGA Physical Synthesis, ICCAD 2010.
    80. Krishnendu Chatterjee and Rupak Majumdar. Discounting in Games across Time Scales, Gandalf 2010.
    81. Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko. Refinement type inference via abstract interpretation arxiv.org Techreport: CoRR abs/1004.2884. 2010.
    82. Pierre Ganty and Rupak Majumdar and Benjamin Monmege. Bounded Underapproximations, CAV 2010. (arXiv.org techreport). A new and improved version submitted to Formal Methods in Systems Design.
    83. Manu Jose, Yu Hu, Lei He, and Rupak Majumdar. Rewiring for robustness, (Best paper nomination.) DAC 2010.
    84. Michael Emmi, Rupak Majumdar, and Roman Manevich. Parameterized verification of transactional memories, PLDI 2010.
    85. Samuel Luckenbill, Yu Hu, Ju-Yueh Roy Lee, Rupak Majumdar, and Lei He. RALF: Reliability Analysis for Logic Faults -- An Exact Algorithm and Its Applications, DATE 2010.
    86. Mark Marron, Rupak Majumdar, Darko Stefanovic, and Deepak Kapur. Shape analysis with reference set relations, VMCAI 2010.
    87. Ju-Yueh Roy Lee, Yu Hu, Rupak Majumdar, Lei He, and Minming Li. Fault-Tolerant Resynthesis with Dual-Output LUTs , ASP-DAC 2010.
    88. Rupak Majumdar and Indranil Saha. Symbolic robustness analysis. RTSS 2009. ps
    89. Zhe Feng, Yu Hu, Lei He, and Rupak Majumdar. IPR: In-Place Reconfiguration for FPGA Fault Tolerance, ICCAD 2009. (Best paper nomination.)
    90. Ranjit Jhala and Rupak Majumdar. Software model checking, ACM Computing Surveys. pdf
    91. Pierre Ganty and Rupak Majumdar. Analyzing Real-time Event-driven Programs, FORMATS 2009. [pdf]
    92. Rafit Izhak-Ratzin, Nikitas Liogkas, and Rupak Majumdar. Team Incentives in BitTorrent Systems, ICCCN 2009.
    93. Rupak Majumdar and Ru-Gang Xu. Reducing test generation with information partitions, CAV 2009. [Postscript]
    94. Ranjit Jhala and Rupak Majumdar. Counterexample refinement for functional programs ps (rejected from CAV 09, unlikely to be pursued in the short term :)
    95. Jeff Fischer, Dan Marino, Rupak Majumdar, and Todd Millstein. Fine-grained access control with object-sensitive roles , ECOOP 2009. [pdf]
    96. Ju-Yueh Roy Lee, Yu Hu, Rupak Majumdar, and Lei He. Simultaneous Test Pattern Compaction, Ordering and X-Filling for Testing Power Reduction , ISQED 2009. [Postscript]
    97. Michael Emmi, Ranjit Jhala, Eddie Kohler, and Rupak Majumdar. Verifying reference counted objects, TACAS 2009. [pdf]
    98. Ashutosh Gupta, Rupak Majumdar, and Andrey Rybalchenko. From tests to proofs, TACAS 2009. EAPLS Best paper award. [Postscript]
    99. Pierre Ganty, Rupak Majumdar, and Andrey Rybalchenko. Liveness for asynchronous programs, POPL 2009. [PDF]
    100. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, and Vishwanath Raman. Algorithms for game metrics, FSTTCS 2008. [Postscript]
    101. Krishnendu Chatterjee, Luca de Alfaro, and Rupak Majumdar. The complexity of coverage, APLAS 2008. [pdf]
    102. Yu Hu, Zhe Feng, Lei He, and Rupak Majumdar. Robust FPGA resynthesis based on fault tolerant Boolean matching, ICCAD 2008. (Best paper nomination) [pdf]
    103. Jeffrey Fischer, Rupak Majumdar, and Francesco Sorrentino. The Consistency of Web Conversations, ASE 2008. [Postscript]
    104. Jeffrey Fischer and Rupak Majumdar. A Theory of Role Composition, ICWS 2008. [Postscript]
    105. Ru-Gang Xu, Patrice Godefroid, and Rupak Majumdar. Testing for Buffer Overflows using Length Abstraction, ISSTA 2008. [Postscript]
    106. Dirk Beyer, Damien Zufferey, and Rupak Majumdar. CSIsat: Interpolation for LA+EUF, CAV 2008. [Pdf]
    107. Yu Hu, Victor Shih, Lei He, and Rupak Majumdar. FPGA area reduction by multi-output function based sequential resynthesis, DAC 08. [Postscript]
    1. Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, and Adam Meyerson. Frugal routing in random geometric graphs, SAGT 2008. [Postscript]
    2. Krishnendu Chatterjee, Rupak Majumdar, and Thomas Henzinger. Controller synthesis with budget constraints, HSCC 2008. [Postscript]
    3. Ashutosh Gupta, Tom Henzinger, Rupak Majumdar, Andrey Rybalchenko, and Ru-Gang Xu. Proving non-termination, POPL 2008. [Postscript]
    4. Jeffrey Fischer and Rupak Majumdar. Ensuring Consistency in Long Running Transactions, ASE 2007. [Postscript]
    5. Rupak Majumdar and Ru-Gang Xu. Directed Test Generation with Symbolic Grammars, ASE 2007. [Postscript]
    6. Yu Hu, Viktor Shih, Rupak Majumdar, and Lei He. Efficient SAT-Based Boolean Matching for Heterogeneous FPGA Technology Mapping, ICCAD 2007. (A preliminary version appeared in IWLS 2007). [Postscript]
    7. Michael Emmi, Rupak Majumdar, and Koushik Sen. Dynamic test input generation for database appliications, ISSTA 2007. [Postscript]
    8. Luca de Alfaro, Rupak Majumdar, Marielle Stoelinga, and Vishwanath Raman. Game equivalences and metrics, LICS 2007. [Postscript]
    9. Krishnendu Chatterjee, Rupak Majumdar, and Thomas A. Henzinger. Stochastic limit-average games are in EXPTIME, International Journal of Game Theory. [Postscript]
    10. Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Path invariants. PLDI 2007. [Postscript]
    11. Rupak Majumdar and Koushik Sen. Hybrid concolic testing. ICSE 2007. [Postscript]
    12. Jeffrey Fischer, Rupak Majumdar, and Todd Millstein. Tasks: Language Support for Event-driven Programming. PEPM 2007. [Postscript]
    13. Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu. State of the union: Type inference using Craig interpolation. TACAS 2007. Ru-Gang got a student award for this one. [Postscript]
    14. Michael Emmi and Rupak Majumdar. Verifying compensating transactions., VMCAI 2007. [Postscript]
    15. Dirk Beyer, Tom Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Invariant synthesis in combination theories, VMCAI 2007. [Postscript]
    16. Ranjit Jhala and Rupak Majumdar. Interprocedural analysis of asynchronous programs , POPL 2007. [Postscript]
    17. Michael Emmi, Jeffrey Fischer, Ranjit Jhala and Rupak Majumdar. Lock allocation , POPL 2007. [Postscript]
    18. Deepak Kapur, Rupak Majumdar, and Calogero Zarba. Interpolation for data structures , FSE 2006. [Postscript]
    19. Ranjit Jhala and Rupak Majumdar. Bit level types for higher level reasoning , FSE 2006. [Postscript]
    20. Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu. Structural invariants, SAS 2006. [Postscript]
    21. Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. Compositional quantitative reasoning, QEST 2006. [Postscript]
    22. Michael Emmi and Rupak Majumdar. Decision problems for the verification of real-time software, HSCC 2006. [Postscript]
    23. Krishnendu Chatterjee, Rupak Majumdar, and Thomas A. Henzinger. Markov Decision Processes with Multiple Objectives, STACS 2006. [Postscript]
    24. Luca de Alfaro, Marco Faella, Rupak Majumdar, and Vishwanath Raman. Code aware resource management, EMSOFT 2005. [Postscript]
    25. Thomas A. Henzinger, Rupak Majumdar, and Vinayak Prabhu. Quantifying similarities between timed systems, FORMATS 2005. [Postscript]
    26. Jeff Fischer, Ranjit Jhala, and Rupak Majumdar. Joining dataflow with predicates, FSE 2005. [Postscript]
    27. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Permissive interfaces, FSE 2005. [Postscript]
    28. Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, and Rupak Majumdar. Verifying quantitative properties using bound functions, CHARME 2005. [Postscript]
    29. Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Counterexample-guided planning, UAI 2005. [Postscript]
    30. Ranjit Jhala and Rupak Majumdar. Path slicing, PLDI 2005. [Postscript]
    31. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Checking memory safety with Blast, FASE 2005. Invited paper.
    32. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. The Blast query language for software verification, SAS 2004. Invited paper.
    33. Krishnendu Chatterjee, Rupak Majumdar, and Marcin Jurdzinski. On Nash equilibria in stochastic games, CSL, 2004. [Postscript]
    34. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. An Eclipse plug-in for model checking, To appear, IWPC 2004.
    35. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Race Checking by Context Inference, PLDI 2004. [Postscript]
    36. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Generating tests from counterexamples, ICSE 2004. [Postscript]
    37. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. Model checking discounted temporal properties, TACAS 2004. [Postscript]
    38. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth L. McMillan. Abstractions from proofs, POPL 2004. [Postscript] SIGPLAN POPL Most Influential Paper Award (2014).
    39. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. The element of surprise in timed games , CONCUR 2003. [Postscript]
    40. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, and Jens Palsberg. Stack Size Analysis for Interrupt driven Programs, SAS 2003. [Postscript]
    41. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Marco Sanvido. Extreme Model Checking, International Symposium on Verification 2003. [Postscript]
    42. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Shaz Qadeer. Thread Modular Abstraction Refinement, CAV 2003. [Postscript]
    43. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Discounting the Future in Systems Theory, ICALP 2003. [Postscript]
    44. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Counterexample Guided Control, ICALP 2003. [Postscript]
    45. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Software Verification with Blast (Tool paper), SPIN 03, to appear, 2003. [Postscript]
    46. Thomas A. Henzinger, Orna Kupferman, and Rupak Majumdar. On the Universal and Existential Fragments of the mu Calculus, TACAS, 2003. [Postscript]
    47. Thomas A. Henzinger, Christoph Kirsch, Rupak Majumdar, and Slobodan Matic. Time safety checking for embedded programs, To appear, EMSOFT 2002. [Postscript]
    48. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Gregoire Sutre, and Westley Weimer. Temporal-Safety Proofs for Systems Code, CAV 2002. [Postscript]
    49. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Lazy Abstraction, POPL 2002. [Postscript]
    50. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Symbolic Algorithms for Infinite State Games, CONCUR 2001. [Postscript] Best paper award.
    51. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. From Verification to Control: Dynamic programs for omega-regular objectives, LICS 2001. [PostScript]
    52. Rupak Majumdar and Jennifer L. Wong. Watermarking of SAT using combinatorial isolation lemmas, DAC 2001. [PostScript]
    53. Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram Rajamani, Automatic predicate abstraction of C programs, PLDI 2001. [PostScript]
SIGPLAN PLDI Most Influential Paper Award (2011).
  1. Luca de Alfaro and Rupak Majumdar, Quantitative solution of Concurrent Games, STOC 2001. [PostScript]
  2. R. Alur, Luca de Alfaro, R. Grosu, Thomas A. Henzinger, M. Kang, Rupak Majumdar, F. Mang, C. Kirsch, B.Y. Wang, jMOCHA: A Model Checking Tool that Exploits Design Structure , ICSE 01, May, 2001. [PostScript]
  3. Thomas A. Henzinger, Rupak Majumdar, Freddy Y.-C. Mang, and Jean-Francois Raskin, Abstract Interpretation of Game Properties, SAS 00, June, 2000. [PostScript]
  4. Thomas A. Henzinger and Rupak Majumdar, Symbolic Model Checking for Rectangular Hybrid Systems, TACAS 00, March, 2000. [PostScript]
  5. Thomas A. Henzinger and Rupak Majumdar, A Classification of Symbolic Transition Systems, STACS 00, February, 2000. [PostScript]
  6. Thomas A. Henzinger, Ben Horowitz, Rupak Majumdar, and Howard Wong-Toi, Beyond HyTech: Hybrid System Analysis Using Interval Numerical Methods, HSCC 00, March, 2000. A Preliminary version appeared in AAAI Spring Symposium on Hybrid Systems, Stanford University, March, 1999. [PostScript]
  7. Thomas A. Henzinger, Ben Horowitz, and Rupak Majumdar, Rectangular Hybrid Games, CONCUR 99, August, 1999. [PostScript]
  8. Rupak Majumdar and R.K. Shyamasundar, Designing Controllers for Linear Hybrid Systems, ASIAN'96, Lecture Notes in Computer Science, vol 1179, Springer-Verlag, 1996. [PostScript]
EDUCATION
PhD (2003) University of California, Berkeley
AWARDS AND RECOGNITION
ACM SIGPLAN Award - 2011, NSF CAREER Awards - 2006, Sloan Research Fellowship - 2010