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 × 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 DBLP: Rajamani:Sriram_K=

Facilitated 2 volumes:

POPL 2015Ed
CAV 2005Ed

Contributed to:

PLDI 20152015
PLDI 20142014
CAV 20132013
ESEC/FSE 20132013
PLDI 20132013
POPL 20132013
PLDI 20122012
SAS 20112011
FSE 20102010
ICSE 20102010
PLDI 20102010
POPL 20102010
SAS 20102010
ASPLOS 20092009
ESEC/FSE 20092009
FM 20092009
PLDI 20092009
TACAS 20092009
TAP 20092009
ISSTA 20082008
OOPSLA 20082008
TACAS 20082008
ESEC/FSE 20072007
SEFM 20072007
ASE 20062006
FSE 20062006
SEFM 20062006
TACAS 20062006
CAV 20042004
IFM 20042004
POPL 20042004
TACAS 20042004
POPL 20032003
CAV 20022002
POPL 20022002
SAS 20022002
TACAS 20022002
CAV 20012001
PASTE 20012001
PLDI 20012001
SAS 20012001
TACAS 20012001
TACAS 20002000
CAV 19991999
CAV 19981998
TACAS 19981998
CAV 19971997
ESEC/FSE 20172017
PLDI 20162016
PLDI 20192019

Wrote 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.

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.