BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × China
1 × Czech Republic
1 × Estonia
1 × Greece
1 × Korea
1 × Russia
1 × The Netherlands
2 × Croatia
2 × Denmark
2 × Germany
2 × Portugal
2 × Spain
26 × USA
3 × Canada
3 × Poland
7 × France
8 × Italy
8 × United Kingdom
Collaborated with:
R.Jhala T.A.Henzinger R.Xu D.Beyer J.Fischer M.Emmi P.Ganty L.d.Alfaro A.Rybalchenko F.Niksic D.V.Chistikov M.Jose J.Esparza J.Kloos T.D.Millstein Z.Wang D.Zufferey K.Sen A.Chlipala M.Gligoric Y.Hu L.He S.Esmaeilsabzali R.Meyer D.Kapur A.Gupta B.K.Ozkan M.Zamani K.Chatterjee J.L.Wong M.Stoelinga J.Palsberg G.Sutre F.Y.C.Mang J.V.Deshmukh V.S.Prabhu V.Vafeiadis R.Dimitrova P.Maiya A.Kanade B.Monmege R.Manevich F.Sorrentino P.Godefroid C.G.Zarba M.Jurdzinski O.Kupferman D.Chistikov S.Oraee J.Hoenicke A.Podelski A.Durand-Gasselin F.Rosa-Velardo T.Wies R.Piskac S.D.Tetali M.Lesani Z.Long G.Calin J.K.Lee H.Hong M.Marron D.Stefanovic D.Marino E.Kohler V.Shih V.Raman J.S.Fischer K.L.McMillan S.Qadeer T.Ball S.K.Rajamani J.Raskin C.Hong A.W.Lin P.Rümmer Marcus Pirron N.Yoshida R.Ledesma-Garza P.Meyer R.Sharma L.Eloussi D.Marinov S.B.Luckenbill J.Lee M.Faella Mitra Tabaei Befrouei G.Weissenbacher D.Ma T.Zhao G.C.Necula W.Weimer R.Alur R.Grosu M.Kang C.M.Kirsch B.Wang
Talks about:
program (14) test (12) system (10) verif (9) model (9) asynchron (8) abstract (8) analysi (8) check (8) use (7)

Person: Rupak Majumdar

DBLP DBLP: Majumdar:Rupak

Facilitated 4 volumes:

TACAS 2010Ed
CAV (1) 2017Ed
CAV (2) 2017Ed
POPL 2016Ed

Contributed to:

CAV 20152015
CAV 20152015
ECOOP 20152015
ESOP 20152015
TACAS 20152015
CAV 20142014
FASE 20142014
ICALP (2) 20142014
PLDI 20142014
CAV 20132013
CIAA 20132013
DATE 20132013
OOPSLA 20132013
SAS 20132013
TACAS 20132013
CAV 20122012
FASE 20122012
LICS 20122012
PLDI 20122012
SAS 20122012
CAV 20112011
PLDI 20112011
CAV 20102010
DAC 20102010
DATE 20102010
PLDI 20102010
VMCAI 20102010
CAV 20092009
ECOOP 20092009
POPL 20092009
TACAS 20092009
ASE 20082008
CAV 20082008
DAC 20082008
ISSTA 20082008
POPL 20082008
ASE 20072007
ESEC/FSE 20072007
ICSE 20072007
ISSTA 20072007
LICS 20072007
PEPM 20072007
PLDI 20072007
POPL 20072007
TACAS 20072007
VMCAI 20072007
FSE 20062006
SAS 20062006
ESEC/FSE 20052005
FASE 20052005
PLDI 20052005
CSL 20042004
ICSE 20042004
IWPC 20042004
PEPM 20042004
PLDI 20042004
POPL 20042004
PPDP 20042004
SAS 20042004
TACAS 20042004
CAV 20032003
ICALP 20032003
SAS 20032003
TACAS 20032003
CAV 20022002
POPL 20022002
DAC 20012001
ICSE 20012001
LICS 20012001
PLDI 20012001
STOC 20012001
SAS 20002000
TACAS 20002000
CAV (2) 20162016
CAV (1) 20192019
OOPSLA 20182018
ECOOP 20192019
OOPSLA 20192019
POPL 20172017
POPL 20182018

Wrote 91 papers:

CAV-2015-DeshmukhMP #consistency #metric #using
Quantifying Conformance Using the Skorokhod Metric (JVD, RM, VSP), pp. 234–250.
CAV-2015-Durand-Gasselin #model checking
Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
CAV-2015-MajumdarW #bound #model checking #named #source code
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.
ECOOP-2015-KloosMV
Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.
ESOP-2015-EmmiGMR #analysis #source code
Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
TACAS-2015-ChistikovDM #approximate #estimation #probability #smt #source code
Approximate Counting in SMT and Value Estimation for Probabilistic Programs (DVC, RD, RM), pp. 320–334.
CAV-2014-EsparzaLMMN #analysis #approach #smt
An SMT-Based Approach to Coverability Analysis (JE, RLG, RM, PM, FN), pp. 603–619.
CAV-2014-GligoricMSEM #distributed #testing
Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
FASE-2014-EsmaeilsabzaliMWZ #interface
Dynamic Package Interfaces (SE, RM, TW, DZ), pp. 261–275.
ICALP-v2-2014-ChistikovM #automaton #source code
Unary Pushdown Automata and Straight-Line Programs (DVC, RM), pp. 146–157.
PLDI-2014-MaiyaKM #android #concurrent #detection
Race detection for Android applications (PM, AK, RM), p. 34.
CAV-2013-EsparzaGM #verification
Parameterized Verification of Asynchronous Shared-Memory Systems (JE, PG, RM), pp. 124–140.
CAV-2013-KloosMNP #incremental #induction
Incremental, Inductive Coverability (JK, RM, FN, RP), pp. 158–173.
CIAA-2013-ChistikovM #theorem #word
A Uniformization Theorem for Nested Word to Word Transductions (DVC, RM), pp. 97–108.
DATE-2013-KloosM #synthesis
Supervisor synthesis for controller upgrades (JK, RM), pp. 1105–1110.
OOPSLA-2013-TetaliLMM #named #static analysis
MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.
SAS-2013-MajumdarMW #message passing #source code #verification
Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
TACAS-2013-GligoricM #database #model checking
Model Checking Database Applications (MG, RM), pp. 549–564.
CAV-2012-MajumdarZ #approximate #modelling
Approximately Bisimilar Symbolic Models for Digital Control Systems (RM, MZ), pp. 362–377.
FASE-2012-LongCMM #abstraction #refinement
Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
LICS-2012-EsparzaGM #bound #verification
A Perfect Model for Bounded Verification (JE, PG, RM), pp. 285–294.
PLDI-2012-FischerME #deployment #named
Engage: a deployment management system (JF, RM, SE), pp. 263–274.
SAS-2012-LeePMH #analysis #parallel #performance
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism (JKL, JP, RM, HH), pp. 5–23.
CAV-2011-JhalaMR #functional #named #source code #using #verification
HMC: Verifying Functional Programs Using Abstract Interpreters (RJ, RM, AR), pp. 470–485.
CAV-2011-JoseM #fault #locality #named #source code
Bug-Assist: Assisting Fault Localization in ANSI-C Programs (MJ, RM), pp. 504–509.
PLDI-2011-JoseM #fault #locality #satisfiability #using
Cause clue clauses: error localization using maximum satisfiability (MJ, RM), pp. 437–446.
CAV-2010-GantyMM #approximate #bound
Bounded Underapproximations (PG, RM, BM), pp. 600–614.
DAC-2010-JoseHMH #robust
Rewiring for robustness (MJ, YH, RM, LH), pp. 469–474.
DATE-2010-LuckenbillLHMH #algorithm #analysis #fault #logic #named #reliability
RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (SBL, JYL, YH, RM, LH), pp. 783–788.
PLDI-2010-EmmiMM #transaction #verification
Parameterized verification of transactional memories (ME, RM, RM), pp. 134–145.
VMCAI-2010-MarronMSK #analysis #set
Shape Analysis with Reference Set Relations (MM, RM, DS, DK), pp. 247–262.
CAV-2009-MajumdarX #testing #using
Reducing Test Inputs Using Information Partitions (RM, RGX), pp. 555–569.
ECOOP-2009-FischerMMM #data access #fine-grained
Fine-Grained Access Control with Object-Sensitive Roles (JF, DM, RM, TDM), pp. 173–194.
POPL-2009-GantyMR #liveness #source code #verification
Verifying liveness for asynchronous programs (PG, RM, AR), pp. 102–113.
TACAS-2009-EmmiJKM #implementation #verification
Verifying Reference Counting Implementations (ME, RJ, EK, RM), pp. 352–367.
TACAS-2009-GuptaMR #proving #testing
From Tests to Proofs (AG, RM, AR), pp. 262–276.
ASE-2008-FischerMS #consistency #web
The Consistency of Web Conversations (JF, RM, FS), pp. 415–418.
CAV-2008-BeyerZM #named
CSIsat: Interpolation for LA+EUF (DB, DZ, RM), pp. 304–308.
DAC-2008-HuSMH #multi #reduction
FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.
ISSTA-2008-XuGM #abstraction #testing
Testing for buffer overflows with length abstraction (RGX, PG, RM), pp. 27–38.
POPL-2008-GuptaHMRX #proving
Proving non-termination (AG, TAH, RM, AR, RGX), pp. 147–158.
ASE-2007-FischerM #consistency #transaction
Ensuring consistency in long running transactions (JF, RM), pp. 54–63.
ASE-2007-MajumdarX #generative #testing #using
Directed test generation using symbolic grammars (RM, RGX), pp. 134–143.
ESEC-FSE-2007-MajumdarX #generative #testing #using
Directed test generation using symbolic grammars (RM, RGX), pp. 553–556.
ICSE-2007-MajumdarS #hybrid #testing
Hybrid Concolic Testing (RM, KS), pp. 416–426.
ISSTA-2007-EmmiMS #database #generative
Dynamic test input generation for database applications (ME, RM, KS), pp. 151–162.
LICS-2007-AlfaroMRS #game studies #metric
Game Relations and Metrics (LdA, RM, VR, MS), pp. 99–108.
PEPM-2007-FischerMM #named #programming
Tasks: language support for event-driven programming (JF, RM, TDM), pp. 134–143.
PLDI-2007-BeyerHMR #invariant
Path invariants (DB, TAH, RM, AR), pp. 300–309.
POPL-2007-EmmiFJM
Lock allocation (ME, JSF, RJ, RM), pp. 291–296.
POPL-2007-JhalaM #analysis #interprocedural #source code
Interprocedural analysis of asynchronous programs (RJ, RM), pp. 339–350.
TACAS-2007-JhalaMX #type inference
State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
VMCAI-2007-BeyerHMR #invariant #synthesis
Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.
VMCAI-2007-EmmiM #transaction #verification
Verifying Compensating Transactions (ME, RM), pp. 29–43.
FSE-2006-JhalaM #reasoning
Bit level types for high level reasoning (RJ, RM), pp. 128–140.
FSE-2006-KapurMZ #data type
Interpolation for data structures (DK, RM, CGZ), pp. 105–116.
SAS-2006-JhalaMX #invariant
Structural Invariants (RJ, RM, RGX), pp. 71–87.
ESEC-FSE-2005-FischerJM #data flow
Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.
ESEC-FSE-2005-HenzingerJM #interface
Permissive interfaces (TAH, RJ, RM), pp. 31–40.
FASE-2005-BeyerHJM #memory management #safety
Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.
PLDI-2005-JhalaM #slicing
Path slicing (RJ, RM), pp. 38–47.
CSL-2004-ChatterjeeMJ #game studies #nash #on the #probability
On Nash Equilibria in Stochastic Games (KC, RM, MJ), pp. 26–40.
ICSE-2004-BeyerCM #generative #testing
Generating Tests from Counterexamples (DB, AC, TAH, RJ, RM), pp. 326–335.
IWPC-2004-BeyerHJM #eclipse #model checking #plugin
An Eclipse Plug-in for Model Checking (DB, TAH, RJ, RM), pp. 251–255.
PEPM-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.
PLDI-2004-HenzingerJM
Race checking by context inference (TAH, RJ, RM), pp. 1–13.
POPL-2004-HenzingerJMM #abstraction #proving
Abstractions from proofs (TAH, RJ, RM, KLM), pp. 232–244.
PPDP-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.
SAS-2004-BeyerCHJM #query #verification
The Blast Query Language for Software Verification. (DB, AC, TAH, RJ, RM), pp. 2–18.
TACAS-2004-AlfaroFHMS #model checking
Model Checking Discounted Temporal Properties (LdA, MF, TAH, RM, MS), pp. 77–92.
CAV-2003-HenzingerJMQ #abstraction #refinement #thread
Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
ICALP-2003-AlfaroHM
Discounting the Future in Systems Theory (LdA, TAH, RM), pp. 1022–1037.
ICALP-2003-HenzingerJM
Counterexample-Guided Control (TAH, RJ, RM), pp. 886–902.
SAS-2003-ChatterjeeMMZHP #analysis #source code #stack
Stack Size Analysis for Interrupt-Driven Programs (KC, DM, RM, TZ, TAH, JP), pp. 109–126.
TACAS-2003-HenzingerKM #calculus #on the #μ-calculus
On the Universal and Existential Fragments of the μ-Calculus (TAH, OK, RM), pp. 49–64.
CAV-2002-HenzingerJMNSW #proving
Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.
POPL-2002-HenzingerJMS #abstraction #lazy evaluation
Lazy abstraction (TAH, RJ, RM, GS), pp. 58–70.
DAC-2001-MajumdarW #combinator #satisfiability #using
Watermarking of SAT using Combinatorial Isolation Lemmas (RM, JLW), pp. 480–485.
ICSE-2001-AlurAGHKKMMW #design #model checking #named
JMOCHA: A Model Checking Tool that Exploits Design Structure (RA, LdA, RG, TAH, MK, CMK, RM, FYCM, BYW), pp. 835–836.
LICS-2001-AlfaroHM #source code #verification
From Verification to Control: Dynamic Programs for ω-Regular Objectives (LdA, TAH, RM), pp. 279–290.
PLDI-2001-BallMMR #abstraction #automation #c #source code
Automatic Predicate Abstraction of C Programs (TB, RM, TDM, SKR), pp. 203–213.
STOC-2001-AlfaroM #game studies
Quantitative solution of ω-regular games (LdA, RM), pp. 675–683.
SAS-2000-HenzingerMMR #abstract interpretation #game studies
Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.
TACAS-2000-HenzingerM #hybrid #model checking
Symbolic Model Checking for Rectangular Hybrid Systems (TAH, RM), pp. 142–156.
CAV-2016-ChistikovMN #product line #source code
Hitting Families of Schedules for Asynchronous Programs (DC, RM, FN), pp. 157–176.
CAV-2019-HongLMR #bisimulation #probability #protocol #verification
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) (CDH, AWL, RM, PR), pp. 455–474.
OOPSLA-2018-OzkanMNBW #distributed #probability #random #testing
Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.
ECOOP-2019-MajumdarPYZ #idea #interactive
Motion Session Types for Robotic Interactions (Brave New Idea Paper) (RM, MP, NY, DZ), p. 27.
OOPSLA-2019-OzkanMO #distributed #random testing #testing
Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.
POPL-2017-HoenickeMP #composition #concurrent #thread #verification
Thread modularity at many levels: a pearl in compositional verification (JH, RM, AP), pp. 473–485.
POPL-2018-MajumdarN #debugging #effectiveness #question #random testing #testing #why
Why is random testing effective for partition tolerance bugs? (RM, FN), p. 24.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.