Publications

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.
  1. Yu Hu, Zhe Feng, Lei He, and Rupak Majumdar. Robust FPGA resynthesis based on fault tolerant Boolean matching, ICCAD 2008.
  2. Jeffrey Fischer, Rupak Majumdar, and Francesco Sorrentino. The Consistency of Web Conversations, ASE 2008.
  3. Jeffrey Fischer and Rupak Majumdar. A Theory of Role Composition, ICWS 2008.
  4. Ru-Gang Xu, Patrice Godefroid, and Rupak Majumdar. Testing for Buffer Overflows using Length Abstraction, ISSTA 2008.
  5. Dirk Beyer, Damien Zufferey, and Rupak Majumdar. CSIsat: Interpolation for LA+EUF, CAV 2008.
  6. Yu Hu, Victor Shih, Lei He, and Rupak Majumdar. FPGA area reduction by multi-output function based sequential resynthesis, DAC 08.
  7. Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, and Adam Meyerson. Frugal routing in random geometric graphs, SAGT 2008.
  8. Krishnendu Chatterjee, Rupak Majumdar, and Thomas Henzinger. Controller synthesis with budget constraints, HSCC 2008.
  9. Ashutosh Gupta, Tom Henzinger, Rupak Majumdar, Andrey Rybalchenko, and Ru-Gang Xu. Proving non-termination, POPL 2008.
  10. Jeffrey Fischer and Rupak Majumdar. Ensuring Consistency in Long Running Transactions, ASE 2007. [Postscript]
  11. Rupak Majumdar and Ru-Gang Xu. Directed Test Generation with Symbolic Grammars, ASE 2007. [Postscript]
  12. Y. Hu, V. Shih, R. Majumdar, and L. He. Efficient SAT-Based Boolean Matching for Heterogeneous FPGA Technology Mapping, ICCAD 2007. (A preliminary version appeared in IWLS 2007). [Postscript]
  13. Michael Emmi, Rupak Majumdar, and Koushik Sen. Dynamic test input generation for database appliications, ISSTA 2007. [Postscript]
  14. Luca de Alfaro, Rupak Majumdar, Marielle Stoelinga, and Vishwanath Raman. Game equivalences and metrics, LICS 2007. [Postscript]
  15. Krishnendu Chatterjee, Rupak Majumdar, and Thomas A. Henzinger. Stochastic limit-average games are in EXPTIME, International Journal of Game Theory. [Postscript]
  16. Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Path invariants. PLDI 2007. [Postscript]
  17. Rupak Majumdar and Koushik Sen. Hybrid concolic testing. ICSE 2007. [Postscript]
  18. Jeffrey Fischer, Rupak Majumdar, and Todd Millstein. Tasks: Language Support for Event-driven Programming. PEPM 2007. [Postscript]
  19. 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]
  20. Michael Emmi and Rupak Majumdar. Verifying compensating transactions., VMCAI 2007. [Postscript]
  21. Dirk Beyer, Tom Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Invariant synthesis in combination theories, VMCAI 2007. [Postscript]
  22. Ranjit Jhala and Rupak Majumdar. Interprocedural analysis of asynchronous programs , POPL 2007. [Postscript]
  23. Michael Emmi, Jeffrey Fischer, Ranjit Jhala and Rupak Majumdar. Lock allocation , POPL 2007. [Postscript]
  24. Deepak Kapur, Rupak Majumdar, and Calogero Zarba. Interpolation for data structures , FSE 2006. [Postscript]
  25. Ranjit Jhala and Rupak Majumdar. Bit level types for higher level reasoning , FSE 2006. [Postscript]
  26. Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu. Structural invariants, SAS 2006. [Postscript]
  27. Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. Compositional quantitative reasoning, QEST 2006. [Postscript]
  28. Michael Emmi and Rupak Majumdar. Decision problems for the verification of real-time software, HSCC 2006. [Postscript]
  29. Krishnendu Chatterjee, Rupak Majumdar, and Thomas A. Henzinger. Markov Decision Processes with Multiple Objectives, STACS 2006. [Postscript]
  30. Luca de Alfaro, Marco Faella, Rupak Majumdar, and Vishwanath Raman. Code aware resource management, EMSOFT 2005. [Postscript]
  31. Thomas A. Henzinger, Rupak Majumdar, and Vinayak Prabhu. Quantifying similarities between timed systems, FORMATS 2005. [Postscript]
  32. Jeff Fischer, Ranjit Jhala, and Rupak Majumdar. Joining dataflow with predicates, FSE 2005. [Postscript]
  33. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Permissive interfaces, FSE 2005. [Postscript]
  34. Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, and Rupak Majumdar. Verifying quantitative properties using bound functions, CHARME 2005. [Postscript]
  35. Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Counterexample-guided planning, UAI 2005. [Postscript]
  36. Ranjit Jhala and Rupak Majumdar. Path slicing, PLDI 2005. [Postscript]
  37. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Checking memory safety with Blast, FASE 2005. Invited paper.
  38. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. The Blast query language for software verification, SAS 2004. Invited paper.
  39. Krishnendu Chatterjee, Rupak Majumdar, and Marcin Jurdzinski. On Nash equilibria in stochastic games, CSL, 2004. [Postscript]
  40. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. An Eclipse plug-in for model checking, To appear, IWPC 2004.
  41. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Race Checking by Context Inference, PLDI 2004. [Postscript]
  42. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Generating tests from counterexamples, ICSE 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. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth L. McMillan. Abstractions from proofs, POPL 2004. [Postscript]
  45. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga. The element of surprise in timed games , CONCUR 2003. [Postscript]
  46. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, and Jens Palsberg. Stack Size Analysis for Interrupt driven Programs, SAS 2003. [Postscript]
  47. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Marco Sanvido. Extreme Model Checking, International Symposium on Verification 2003. [Postscript]
  48. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Shaz Qadeer. Thread Modular Abstraction Refinement, CAV 2003. [Postscript]
  49. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Discounting the Future in Systems Theory, ICALP 2003. [Postscript]
  50. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Counterexample Guided Control, ICALP 2003. [Postscript]
  51. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Software Verification with Blast (Tool paper), SPIN 03, to appear, 2003. [Postscript]
  52. Thomas A. Henzinger, Orna Kupferman, and Rupak Majumdar. On the Universal and Existential Fragments of the mu Calculus, TACAS, 2003. [Postscript]
  53. Thomas A. Henzinger, Christoph Kirsch, Rupak Majumdar, and Slobodan Matic. Time safety checking for embedded programs, To appear, EMSOFT 2002. [Postscript]
  54. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Gregoire Sutre, and Westley Weimer. Temporal-Safety Proofs for Systems Code, CAV 2002. [Postscript]
  55. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. Lazy Abstraction, POPL 2002. [Postscript]
  56. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. Symbolic Algorithms for Infinite State Games, CONCUR 2001. [Postscript]
  57. Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar. From Verification to Control: Dynamic programs for omega-regular objectives, LICS 2001. [PostScript]
  58. Rupak Majumdar and Jennifer L. Wong. Watermarking of SAT using combinatorial isolation lemmas, DAC 2001. [PostScript]
  59. Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram Rajamani, Automatic predicate abstraction of C programs, PLDI 2001. [PostScript]
  60. Luca de Alfaro and Rupak Majumdar, Quantitative solution of Concurrent Games, STOC 2001. [PostScript]
  61. 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]
  62. Thomas A. Henzinger, Rupak Majumdar, Freddy Y.-C. Mang, and Jean-Francois Raskin, Abstract Interpretation of Game Properties, SAS 00, June, 2000. [PostScript]
  63. Thomas A. Henzinger and Rupak Majumdar, Symbolic Model Checking for Rectangular Hybrid Systems, TACAS 00, March, 2000. [PostScript]
  64. Thomas A. Henzinger and Rupak Majumdar, A Classification of Symbolic Transition Systems, STACS 00, February, 2000. [PostScript]
  65. 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]
  66. Thomas A. Henzinger, Ben Horowitz, and Rupak Majumdar, Rectangular Hybrid Games, CONCUR 99, August, 1999. [PostScript]
  67. 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]

The complete references can be found here.

Back to Homepage.