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: Gupta:Ashutosh
Contributed to:
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.