Travelled to:1 × Austria
1 × China
1 × Croatia
1 × Denmark
1 × Germany
1 × Hungary
1 × India
1 × Ireland
1 × Israel
1 × Japan
1 × Portugal
1 × South Africa
1 × Switzerland
12 × USA
2 × Canada
2 × Russia
2 × The Netherlands
3 × Spain
4 × France
4 × United Kingdom
5 × Italy
Collaborated with:A.V.Nori T.Ball T.A.Henzinger J.Rehof S.Qadeer ∅ R.Alur B.S.Gulavani S.Chaki A.Podelski A.Lal S.Tetali M.Gopinathan B.Cook R.S.0001 S.A.Seshia J.M.Joy K.Vaswani K.Rajan S.Yaduvanshi M.Naik G.Claret A.D.Gordon J.Borgström S.Ozair D.Vijaykeerthy C.Hur S.Samuel A.T.Chaganty A.Albarghouthi R.Kumar A.Kanade G.Ramalingam P.Godefroid W.R.Harris G.Ramalingam V.P.Ranganath V.B.Livshits A.Banerjee A.V.Thakur N.E.Beckman R.J.Simmons S.Chakraborty P.Chandrasekaran C.L.Conway K.K.Mehra A.P.Sistla S.K.Jha C.Fournet C.A.R.Hoare V.Levin S.Das R.Majumdar T.D.Millstein Y.Kannan T.Andrews Y.Xie R.K.Brayton Arun Shankar Iyer M.Jonnalagedda Suresh Parthasarathy A.Radhakrishna A.Desai V.Gupta E.K.Jackson D.Zufferey B.Ashok H.Liang G.Srinivasa V.Vangala F.Y.C.Mang S.Tasiran S.Adams M.Das S.Lerner M.Seigle W.Weimer M.Costa N.P.Lopes M.Aizatulin T.Graepel C.V.Russo
Talks about:program (13) softwar (9) model (9) check (9) analysi (8) abstract (6) system (5) verif (5) refin (5) test (5)
Person: Sriram K. Rajamani
DBLP: Rajamani:Sriram_K=
Facilitated 2 volumes:
Ed
EdContributed to:
201520142013
2013201320132012
2011
2010
2010201020102010
20092009
20092009
2009
2009
2008
200820082007
2007
20062006200620062004
200420042004200320022002200220022001
200120012001200120001999199819981997201720162019Wrote 55 papers:
- PLDI-2015-NoriORV #performance #probability #source code #synthesis
- Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
- PLDI-2014-HurNRS #probability #slicing #source code
- Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.
- CAV-2013-ChagantyLNR #learning #relational #smt #using
- Combining Relational Learning with SMT Solvers Using CEGAR (ATC, AL, AVN, SKR), pp. 447–462.
- ESEC-FSE-2013-ClaretRNGB #analysis #data flow #using
- Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
- PLDI-2013-DesaiGJQRZ #named #programming
- P: safe asynchronous event-driven programming (AD, VG, EKJ, SQ, SKR, DZ), pp. 321–332.
- POPL-2013-GordonABCGNRR #reasoning
- A model-learner pattern for bayesian reasoning (ADG, MA, JB, GC, TG, AVN, SKR, CVR), pp. 403–416.
- PLDI-2012-AlbarghouthiKNR #analysis #interprocedural #top-down
- Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
- SAS-2011-NoriR #machine learning #program analysis
- Program Analysis and Machine Learning: A Win-Win Deal (AVN, SKR), pp. 2–3.
- FSE-2010-KanadeARR #dependence #representation #testing #using
- Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.
- ICSE-2010-NoriR #empirical #optimisation
- An empirical study of optimizations in YOGI (AVN, SKR), pp. 355–364.
- PLDI-2010-RajanRY #collaboration #distributed #named #programming
- GUESSTIMATE: a programming model for collaborative distributed systems (KR, SKR, SY), pp. 210–220.
- POPL-2010-GodefroidNRT #composition #power of #program analysis
- Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.
- SAS-2010-HarrisLNR #termination
- Alternation for Termination (WRH, AL, AVN, SKR), pp. 304–319.
- ASPLOS-2009-RajamaniRRV #named #source code
- ISOLATOR: dynamically ensuring isolation in comcurrent programs (SKR, GR, VPR, KV), pp. 181–192.
- ESEC-FSE-2009-AshokJLRSV #debugging #named #recommendation
- DebugAdvisor: a recommender system for debugging (BA, JMJ, HL, SKR, GS, VV), pp. 373–382.
- FM-2009-Rajamani #statistics #testing #verification
- Verification, Testing and Statistics (SKR), pp. 33–40.
- PLDI-2009-LivshitsNRB #data flow #named #problem #specification
- Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
- TACAS-2009-NoriRTT #static analysis #testing
- The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.
- TAP-2009-NoriR #statistics #testing #verification
- Verification, Testing and Statistics (AVN, SKR), pp. 6–9.
- ISSTA-2008-BeckmanNRS #proving #testing
- Proofs from tests (NEB, AVN, SKR, RJS), pp. 3–14.
- OOPSLA-2008-GopinathanR #analysis #protocol #runtime
- Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.
- TACAS-2008-GulavaniCNR #abstract interpretation #automation
- Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
- ESEC-FSE-2007-ChandrasekaranCJR #programming
- Programming asynchronous layers with CLARITY (PC, CLC, JMJ, SKR), pp. 65–74.
- SEFM-2007-MehraRSJ #relational #verification
- Verification of Object Relational Maps (KKM, SKR, APS, SKJ), pp. 283–292.
- ASE-2006-Rajamani #automation #past present future
- Automatic Property Checking for Software: Past, Present and Future (SKR), p. 12.
- FSE-2006-GulavaniHKNR #algorithm #named
- SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.
- SEFM-2006-Rajamani #automation #past present future
- Automatic Property Checking for Software: Past, Present and Future (SKR), pp. 18–20.
- TACAS-2006-GulavaniR #abstract interpretation #refinement
- Counterexample Driven Refinement for Abstract Interpretation (BSG, SKR), pp. 474–488.
- CAV-2004-AndrewsQRRX #concurrent #model checking #named
- Zing: A Model Checker for Concurrent Software (TA, SQ, SKR, JR, YX), pp. 484–487.
- CAV-2004-FournetHRR #consistency
- Stuck-Free Conformance (CF, CARH, SKR, JR), pp. 242–254.
- IFM-2004-BallCLR #formal method #verification
- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.
- POPL-2004-QadeerRR #concurrent #source code
- Summarizing procedures in concurrent programs (SQ, SKR, JR), pp. 245–255.
- TACAS-2004-BallCDR #abstraction #approximate
- Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.
- POPL-2003-BallNR #fault
- From symptom to cause: localizing errors in counterexample traces (TB, MN, SKR), pp. 97–105.
- CAV-2002-RajamaniR #consistency #message passing #modelling
- Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
- POPL-2002-BallR #debugging #static analysis
- The SLAM project: debugging system software via static analysis (TB, SKR), pp. 1–3.
- POPL-2002-ChakiRR #message passing #model checking #modelling #source code
- Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.
- SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using
- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.
- TACAS-2002-BallPR #abstraction #model checking #refinement
- Relative Completeness of Abstraction Refinement for Software Model Checking (TB, AP, SKR), pp. 158–172.
- CAV-2001-BallR #tool support
- The SLAM Toolkit (TB, SKR), pp. 260–264.
- PASTE-2001-BallR #data flow #interprocedural #named
- Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.
- PLDI-2001-BallMMR #abstraction #automation #c #source code
- Automatic Predicate Abstraction of C Programs (TB, RM, TDM, SKR), pp. 203–213.
- SAS-2001-RajamaniR #behaviour #π-calculus
- A Behavioral Module System for the π-Calculus (SKR, JR), pp. 375–394.
- TACAS-2001-BallCR #library #parallel #thread #verification
- Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.
- TACAS-2001-BallPR #abstraction #c #model checking #source code
- Boolean and Cartesian Abstraction for Model Checking C Programs (TB, AP, SKR), pp. 268–283.
- TACAS-2000-HenzingerR #bisimulation
- Fair Bisimulation (TAH, SKR), pp. 299–314.
- CAV-1999-HenzingerQR #refinement
- Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.
- CAV-1999-HenzingerQR99a #consistency #multi #verification
- Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems (TAH, SQ, SKR), pp. 301–315.
- CAV-1998-AlurHMQRT #composition #model checking #named
- MOCHA: Modularity in Model Checking (RA, TAH, FYCM, SQ, SKR, ST), pp. 521–525.
- CAV-1998-HenzingerQR #case study
- You Assume, We Guarantee: Methodology and Case Studies (TAH, SQ, SKR), pp. 440–451.
- TACAS-1998-AlurHR
- Symbolic Exploration of transition Hierarchies (RA, TAH, SKR), pp. 330–344.
- CAV-1997-AlurBHQR #partial order #reduction
- Partial-Order Reduction in Symbolic State Space Exploration (RA, RKB, TAH, SQ, SKR), pp. 340–351.
- ESEC-FSE-2017-0001RS #compilation #verification
- A compiler and verifier for page access oblivious computation (RS0, SKR, SAS), pp. 649–660.
- PLDI-2016-0001CLLRSV #design #verification
- A design and verification methodology for secure isolated regions (RS0, MC, AL, NPL, SKR, SAS, KV), pp. 665–681.
- PLDI-2019-IyerJPRR #machine learning #synthesis
- Synthesis and machine learning for heterogeneous extraction (ASI, MJ, SP, AR, SKR), pp. 301–315.