Travelled to:1 × Estonia
1 × Germany
1 × Italy
1 × Russia
1 × The Netherlands
4 × United Kingdom
6 × USA
Collaborated with:E.M.Clarke R.Karim C.Wang S.Chaki V.Kahlon A.Gupta S.Chandra N.Sharygina Y.Chen C.Hong B.Wang N.Singhania M.Sridharan E.Kruus Y.Zhang P.Thati M.Talupur O.Strichman A.Pnueli S.Thummalapenta K.V.Lakshmi S.Sinha J.Ouaknine Marek Chalupa K.Chatterjee A.Pavlogiannis Kapil Vaidya J.Yang G.Balakrishnan N.Maeda F.Ivancic S.Sankaranarayanan N.Sharma
Talks about:program (4) concurr (3) analysi (3) model (3) partial (2) applic (2) order (2) learn (2) dynam (2) check (2)
Person: Nishant Sinha
DBLP: Sinha:Nishant
Contributed to:
2015
20152013
2013
2012
2012
2011
20102009200720062005
20052004
20042018Wrote 16 papers:
- ESEC-FSE-2015-SinhaK #design
- Responsive designs in a snap (NS, RK), pp. 544–554.
- TACAS-2015-ChenHSW #commutative #reduction
- Commutativity of Reducers (YFC, CDH, NS, BYW), pp. 131–146.
- ESEC-FSE-2013-SinhaK #compilation #flexibility
- Compiling mockups to flexible UIs (NS, RK), pp. 312–322.
- ICSE-2013-ThummalapentaLSSC #generative #testing #web
- Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
- CAV-2012-SinhaSCS
- Alternate and Learn: Finding Witnesses without Looking All over (NS, NS, SC, MS), pp. 599–615.
- CC-2012-YangBMIGSSS #c++ #inheritance #program analysis
- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
- POPL-2011-SinhaW #abstraction #on the
- On interference abstractions (NS, CW), pp. 423–434.
- FSE-2010-SinhaW #concurrent #program analysis #staged
- Staged concurrent program analysis (NS, CW), pp. 47–56.
- ESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code
- Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.
- CAV-2007-SinhaC #composition #lazy evaluation #learning #satisfiability #using #verification
- SAT-Based Compositional Verification Using Lazy Learning (NS, EMC), pp. 39–54.
- CAV-2006-KahlonGS #concurrent #model checking #on the fly #partial order #source code #transaction #using
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (VK, AG, NS), pp. 286–299.
- CAV-2005-ChakiCST #automation #consistency #reasoning #simulation
- Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
- FM-2005-SharyginaCCS #analysis #component
- Dynamic Component Substitutability Analysis (NS, SC, EMC, NS), pp. 512–528.
- CAV-2004-TalupurSSP #logic
- Range Allocation for Separation Logic (MT, NS, OS, AP), pp. 148–161.
- IFM-2004-ChakiCOSS #model checking
- State/Event-Based Software Model Checking (SC, EMC, JO, NS, NS), pp. 128–147.
- POPL-2018-ChalupaCPSV #partial order #reduction
- Data-centric dynamic partial order reduction (MC, KC, AP, NS, KV), p. 30.