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 × Estonia
1 × France
1 × India
1 × Russia
2 × United Kingdom
4 × USA
Collaborated with:
A.Rybalchenko T.A.Henzinger C.Popeea R.Majumdar C.C.Guet C.Dragoi A.Radhakrishna R.Samanta T.Tarrach M.Mateescu A.Sezgin S.Grebenshchikov N.P.Lopes R.Xu M.Giacobbe T.Paixão T.Petrov
Talks about:
verifi (3) regulatori (2) program (2) concurr (2) thread (2) proof (2) multi (2) base (2) constraint (1) represent (1)

Person: Ashutosh Gupta

DBLP DBLP: Gupta:Ashutosh

Contributed to:

POPL 20152015
TACAS 20152015
CAV 20132013
CAV 20122012
TACAS 20122012
CAV 20112011
POPL 20112011
CAV 20092009
TACAS 20092009
POPL 20082008

Wrote 11 papers:

POPL-2015-GuptaHRST #concurrent #representation #set
Succinct Representation of Concurrent Trace Sets (AG, TAH, AR, RS, TT), pp. 433–444.
TACAS-2015-GiacobbeGGHPP #model checking #network
Model Checking Gene Regulatory Networks (MG, CCG, AG, TAH, TP, TP), pp. 469–483.
CAV-2013-DragoiGH #automation #concurrent #proving
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates (CD, AG, TAH), pp. 174–190.
CAV-2012-GuetGHMS #markov #search-based
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (CCG, AG, TAH, MM, AS), pp. 294–309.
TACAS-2012-GrebenshchikovGLPR #contest #horn clause #verification
HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.
CAV-2011-GuptaPR #concurrent #constraints #multi #named #source code #thread #verification
Threader: A Constraint-Based Verifier for Multi-threaded Programs (AG, CP, AR), pp. 412–417.
POPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #thread #verification
Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.
CAV-2009-GuptaR #generative #invariant #named #performance
InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.
TACAS-2009-GuptaMR #proving #testing
From Tests to Proofs (AG, RM, AR), pp. 262–276.
POPL-2008-GuptaHMRX #proving
Proving non-termination (AG, TAH, RM, AR, RGX), pp. 147–158.

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.