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: Thakur:Aditya_V=
Contributed to:
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.