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: Majumdar:Rupak
Facilitated 4 volumes:
Ed
EdEd
EdContributed to:
20152015
2015
201520152014
2014
2014
20142013
2013
2013
2013
2013201320122012
201220122012201120112010
201020102010
20102009200920092009
200820082008
200820082007
2007
200720072007
20072007200720072007
20062006200520052005
20042004
2004200420042004
2004200420042003200320032003200220022001200120012001
2001200020002016201920182019201920172018Wrote 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.