Publications by Category

The documents referenced below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.

    Software Verification

  1. Zhenyue Long, Georgel Calin, Rupak Majumdar, and Roland Meyer. Language-theoretic abstraction refinement, FASE 2012.
  2. Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko. HMC: Verifying functional programs using abstract interpreters CAV 2011. arxiv.org Techreport: CoRR abs/1004.2884.
  3. Pierre Ganty and Rupak Majumdar and Benjamin Monmege. Bounded Underapproximations, CAV 2010. (arXiv.org techreport).
  4. Michael Emmi, Rupak Majumdar, and Roman Manevich. Parameterized verification of transactional memories, PLDI 2010.
  5. Mark Marron, Rupak Majumdar, Darko Stefanovic, and Deepak Kapur. Shape analysis with reference set relations, VMCAI 2010.
  6. Ranjit Jhala and Rupak Majumdar. Software model checking, ACM Computing Surveys. pdf
  7. Michael Emmi, Ranjit Jhala, Eddie Kohler, and Rupak Majumdar. Verifying reference counted objects, TACAS 2009.
  8. Ashutosh Gupta, Rupak Majumdar, and Andrey Rybalchenko. From tests to proofs, TACAS 2009. Best paper award.
  9. Pierre Ganty, Rupak Majumdar, and Andrey Rybalchenko. Verifying liveness for asynchronous programs, POPL 2009.
  10. Dirk Beyer, Damien Zufferey, and Rupak Majumdar. CSIsat: Interpolation for LA+EUF, CAV 2008.
  11. Ashutosh Gupta, Tom Henzinger, Rupak Majumdar, Andrey Rybalchenko, and Ru-Gang Xu. Proving non-termination, POPL 2008.
  12. Jeffrey Fischer and Rupak Majumdar. Ensuring Consistency in Long Running Transactions, ASE 2007. [Postscript]
  13. Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Path invariants. PLDI 2007. [Postscript]
  14. Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu. State of the union: Type inference using Craig interpolation. TACAS 2007. Ru-Gang got a student paper award for this one. [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. Deepak Kapur, Rupak Majumdar, and Calogero Zarba. Interpolation for data structures , FSE 2006. [Postscript]
  18. Ranjit Jhala and Rupak Majumdar. Bit level types for higher level reasoning , FSE 2006. [Postscript]
  19. Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu. Structural invariants, SAS 2006. [Postscript]
  20. Jeff Fischer, Ranjit Jhala, and Rupak Majumdar. Joining dataflow with predicates, FSE 2005. [Postscript]
  21. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Permissive interfaces, FSE 2005. [Postscript]
  22. Ranjit Jhala and Rupak Majumdar. Path slicing, PLDI 2005. [Postscript]
  23. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Checking memory safety with Blast, FASE 2005. Invited paper.
  24. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. The Blast query language for software verification, SAS 2004. Invited paper.
  25. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. An Eclipse plug-in for model checking, To appear, IWPC 2004.
  26. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Race Checking by Context Inference, PLDI 2004. [Postscript]
  27. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth L. McMillan. Abstractions from proofs, POPL 2004. [Postscript]
  28. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, and Jens Palsberg. Stack Size Analysis for Interrupt driven Programs, SAS 2003. [Postscript]
  29. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Marco Sanvido. Extreme Model Checking, International Symposium on Verification 2003. [Postscript]
  30. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Shaz Qadeer. Thread Modular Abstraction Refinement, CAV 2003. [Postscript]
  31. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Software Verification with Blast (Tool paper), SPIN 03, to appear, 2003. [Postscript]
  32. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Gregoire Sutre, and Westley Weimer. Temporal-Safety Proofs for Systems Code, CAV 2002. [Postscript]
  33. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Lazy Abstraction, POPL 2002. [Postscript]
  34. Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram Rajamani. Automatic predicate abstraction of C programs, PLDI 2001. [PostScript]

    35. Theory of Verification (Automata, Games, and Probabilistic Systems)

  35. Javier Esparza, Pierre Ganty, and Rupak Majumdar. A perfect model for bounded verification, LICS 2012.
  36. Krishnendu Chatterjee and Rupak Majumdar. Discounting in Games across Time Scales, Gandalf 2010.
  37. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, and Vishwanath Raman. Algorithms for game metrics, FSTTCS 2008.
  38. Luca de Alfaro, Rupak Majumdar, Marielle Stoelinga, and Vishwanath Raman. Game equivalences and metrics, LICS 2007. [Postscript]
  39. Krishnendu Chatterjee, Rupak Majumdar, and Thomas A. Henzinger. Stochastic limit-average games are in EXPTIME, International Journal of Game Theory. [Postscript]
  40. Krishnendu Chatterjee, Rupak Majumdar, and Thomas A. Henzinger. Markov Decision Processes with Multiple Objectives, STACS 2006. [Postscript]
  41. Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Counterexample-guided planning, UAI 2005. [Postscript]
  42. Krishnendu Chatterjee, Rupak Majumdar, and Marcin Jurdzinski. On Nash equilibria in stochastic games, CSL, 2004. [Postscript]
  43. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. Model checking discounted temporal properties, TACAS 2004. [Postscript]
  44. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Discounting the Future in Systems Theory, ICALP 2003. [Postscript]
  45. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Counterexample Guided Control, ICALP 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. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. From Verification to Control: Dynamic programs for omega-regular objectives, LICS 2001. [PostScript]
  48. Luca de Alfaro and Rupak Majumdar, Quantitative solution of Concurrent Games, STOC 2001. [PostScript]
  49. Thomas A. Henzinger and Rupak Majumdar, A Classification of Symbolic Transition Systems, STACS 00, February, 2000. [PostScript]

    50. Timed/Hybrid Systems and Controller Synthesis

  50. Rupak Majumdar, Indranil Saha, K.C. Shashidhar, and Zilong Wang. Closed loop symbolic execution, NFM 2012.
  51. Rupak Majumdar and Majid Zamani. Approximately Bisimilar Symbolic Models for Digital Control Systems, CAV 2012.
  52. Majid Zamani and Rupak Majumdar. A Lyapunov approach in incremental stability, CDC 2011.
  53. Rupak Majumdar, Indranil Saha, and Majid Zamani. Performance aware controller scheduler codesign, EMSOFT 2011.
  54. Krishnendu Chatterjee and Rupak Majumdar. Minimum Attention Controller Synthesis for Omega-Regular Objectives, FORMATS 2011.
  55. Pritam Roy, Paulo Tabuada, and Rupak Majumdar. Pessoa 2.0: A Controller Synthesis Tool for Cyber-physical Systems, HSCC 2011.
  56. Rupak Majumdar, Elaine Render, and Paulo Tabuada. Robust Discrete Synthesis against Unspecified Disturbances, HSCC 2011.
  57. Adolfo Anta, Rupak Majumdar, Indranil Saha, and Paulo Tabuada. Automatic verification of control system implementations, EMSOFT 2010.
  58. Pierre Ganty and Rupak Majumdar. Analyzing Real-time Event-driven Programs, FORMATS 2009.
  59. Krishnendu Chatterjee, Rupak Majumdar, and Thomas Henzinger. Controller synthesis with budget constraints, HSCC 2008.
  60. Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. Compositional quantitative reasoning, QEST 2006. [Postscript]
  61. Michael Emmi and Rupak Majumdar. Decision problems for the verification of real-time software, HSCC 2006. [Postscript]
  62. Thomas A. Henzinger, Rupak Majumdar, and Vinayak Prabhu. Quantifying similarities between timed systems, FORMATS 2005. [Postscript]
  63. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. The element of surprise in timed games , CONCUR 2003. [Postscript]
  64. Thomas A. Henzinger, Christoph Kirsch, Rupak Majumdar, and Slobodan Matic. Time safety checking for embedded programs, EMSOFT 2002. [Postscript]
  65. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Symbolic Algorithms for Infinite State Games, CONCUR 2001. [Postscript] Best paper award.
  66. Thomas A. Henzinger and Rupak Majumdar, Symbolic Model Checking for Rectangular Hybrid Systems, TACAS 00, March, 2000. [PostScript]
  67. 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]
  68. Thomas A. Henzinger, Ben Horowitz, and Rupak Majumdar, Rectangular Hybrid Games, CONCUR 99, August, 1999. [PostScript]
  69. 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]

    70. Testing

  70. Joao Carreira, Rodrigo Rodrigues, George Candea, and Rupak Majumdar. Scalable Testing of File System Checkers, Eurosys 2012.
  71. Manu Jose and Rupak Majumdar. BugAssist: Assisting Fault Localization in ANSI-C Programs (Tool paper), CAV 2011.
  72. Manu Jose and Rupak Majumdar. Cause Clue Clauses: Error Localization using Maximum Satisfiability, PLDI 2011.
  73. Rupak Majumdar, Indranil Saha, and Zilong Wang. Systematic Testing for Control Applications, Memocode 2010.
  74. Rupak Majumdar and Indranil Saha. Symbolic robustness analysis, RTSS 2009.
  75. Rupak Majumdar and Ru-Gang Xu. Reducing test generation by information partitions, CAV 2009.
  76. Krishnendu Chatterjee, Luca de Alfaro, and Rupak Majumdar. The complexity of coverage, APLAS 2008.
  77. Ru-Gang Xu, Patrice Godefroid, and Rupak Majumdar. Testing for Buffer Overflows using Length Abstraction, ISSTA 2008.
  78. Rupak Majumdar and Ru-Gang Xu. Directed Test Generation with Symbolic Grammars, ASE 2007. [Postscript]
  79. Michael Emmi, Rupak Majumdar, and Koushik Sen. Dynamic test input generation for database appliications, ISSTA 2007. [Postscript]
  80. Rupak Majumdar and Koushik Sen. Hybrid concolic testing. ICSE 2007. [Postscript]
  81. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Generating tests from counterexamples, ICSE 2004. [Postscript]

    82. VLSI CAD and Logic Synthesis

  82. Manu Jose, Yu Hu, and Rupak Majumdar. On Power And Fault-Tolerant Optimization In FPGA Physical Synthesis, ICCAD 2010.
  83. Manu Jose, Yu Hu, Lei He, and Rupak Majumdar. Rewiring for robustness, DAC 2010.
  84. 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.
  85. Ju-Yueh Roy Lee, Yu Hu, Rupak Majumdar, Lei He, and Minming Li. Fault-Tolerant Resynthesis with Dual-Output LUTs , ASP-DAC 2010.
  86. Zhe Feng, Yu Hu, Lei He, and Rupak Majumdar. IPR: In-Place Reconfiguration for FPGA Fault Tolerance, ICCAD 2009.
  87. 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.
  88. Yu Hu, Zhe Feng, Lei He, and Rupak Majumdar. Robust FPGA resynthesis based on fault tolerant Boolean matching, ICCAD 2008.
  89. Yu Hu, Victor Shih, Lei He, and Rupak Majumdar. FPGA area reduction by multi-output function based sequential resynthesis, DAC 08.
  90. 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]
  91. Rupak Majumdar and Jennifer L. Wong. Watermarking of SAT using combinatorial isolation lemmas, DAC 2001. [PostScript]

    92. Program Analysis and Verification

  92. Jeffrey Fischer, Dan Marino, Rupak Majumdar, and Todd Millstein. Fine-grained access control with object-sensitive roles , ECOOP 2009.
  93. Jeffrey Fischer, Rupak Majumdar, and Francesco Sorrentino. The Consistency of Web Conversations, ASE 2008.
  94. Jeffrey Fischer and Rupak Majumdar. A Theory of Role Composition, ICWS 2008.
  95. Jeffrey Fischer, Rupak Majumdar, and Todd Millstein. Tasks: Language Support for Event-driven Programming. PEPM 2007. [Postscript]
  96. Michael Emmi and Rupak Majumdar. Verifying compensating transactions., VMCAI 2007. [Postscript]
  97. Michael Emmi, Jeffrey Fischer, Ranjit Jhala and Rupak Majumdar. Lock allocation , POPL 2007. [Postscript]
  98. Luca de Alfaro, Marco Faella, Rupak Majumdar, and Vishwanath Raman. Code aware resource management, EMSOFT 2005. [Postscript]
  99. Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, and Rupak Majumdar. Verifying quantitative properties using bound functions, CHARME 2005. [Postscript]
  100. 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]
  101. Thomas A. Henzinger, Rupak Majumdar, Freddy Y.-C. Mang, and Jean-Francois Raskin, Abstract Interpretation of Game Properties, SAS 00, June, 2000. [PostScript]

    102. Other/Uncategorized

  102. Rafit Izhak-Ratzin, Nikitas Liogkas, and Rupak Majumdar. Team Incentives in BitTorrent Systems , ICCCN 2009.
  103. Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, and Adam Meyerson. Frugal routing in random geometric graphs, SAGT 2008.

The complete references can be found here.

Back to Homepage.