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 × France
2 × United Kingdom
3 × USA
Collaborated with:
T.W.Reps D.DeFreez C.Rubio-González R.Govindarajan E.Driscoll M.Elder Sung Kook Kim A.J.Venet J.Lim A.Lal G.Jin B.Liblit S.Lu A.V.Nori S.K.Rajamani S.Tetali H.M.Baldwin S.Itzhaky N.Bjørner M.Sagiv G.Balakrishnan A.Burton T.Andersen
Talks about:
analysi (3) properti (2) abstract (2) symbol (2) specif (2) method (2) machin (2) direct (2) comput (2) error (2)

Person: Aditya V. Thakur

DBLP DBLP: Thakur:Aditya_V=

Contributed to:

CAV 20142014
CAV 20122012
SAS 20122012
CAV 20102010
OOPSLA 20102010
TACAS 20092009
CGO 20082008
ESEC/FSE 20182018
ESEC/FSE 20192019
POPL 20202020

Wrote 13 papers:

CAV-2014-ItzhakyBRST #analysis
Property-Directed Shape Analysis (SI, NB, TWR, MS, AVT), pp. 35–51.
CAV-2012-DriscollTR #automaton #library #named
OpenNWA: A Nested-Word Automaton Library (ED, AVT, TWR), pp. 665–671.
CAV-2012-ThakurR #symbolic computation
A Method for Symbolic Computation of Abstract Operations (AVT, TWR), pp. 174–192.
SAS-2012-ThakurER #abstraction #algorithm
Bilateral Algorithms for Symbolic Abstraction (AVT, ME, TWR), pp. 111–128.
SAS-2012-ThakurR
A Generalization of Stålmarck’s Method (AVT, TWR), pp. 334–351.
CAV-2010-RepsLTBL #verification
There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code (TWR, JL, AVT, GB, AL), pp. 41–56.
CAV-2010-ThakurLLBDEAR #generative #proving
Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.
OOPSLA-2010-JinTLL #concurrent #debugging
Instrumentation and sampling strategies for cooperative concurrency bug isolation (GJ, AVT, BL, SL), pp. 241–255.
TACAS-2009-NoriRTT #static analysis #testing
The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.
CGO-2008-ThakurG #analysis #data flow
Comprehensive path-sensitive data-flow analysis (AVT, RG), pp. 55–63.
ESEC-FSE-2018-DeFreezTR #mining #specification
Path-based function embedding and its application to error-handling specification mining (DD, AVT, CRG), pp. 423–433.
ESEC-FSE-2019-DeFreezBRT #effectiveness
Effective error-specification inference via domain-knowledge expansion (DD, HMB, CRG, AVT), pp. 466–476.
POPL-2020-KimVT #fixpoint #parallel
Deterministic parallel fixpoint computation (SKK, AJV, AVT), p. 33.
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.