BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sinha:Nishant

Contributed to:

ESEC/FSE 20152015
TACAS 20152015
ESEC/FSE 20132013
ICSE 20132013
CAV 20122012
CC 20122012
POPL 20112011
FSE 20102010
ESEC/FSE 20092009
CAV 20072007
CAV 20062006
CAV 20052005
FM 20052005
CAV 20042004
IFM 20042004
POPL 20182018

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

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.