ask others

Aditya V. Thakur

Aditya Thakur 0001

> Home > Persons

Person information

affiliation: Google
affiliation: University of California, Davis, CA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-07779
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-07779
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-Based Function Embedding and its Application to Specification Mining. CoRR abs/1802.07779 (2018)
2017
[c16]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/codaspy/BhattacharjeeTS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/codaspy/BhattacharjeeTS17
Shameek Bhattacharjee, Aditya Thakur, Simone Silvestri, Sajal K. Das:
Statistical Security Incident Forensics against Data Falsification in Smart Grid Advanced Metering Infrastructure. CODASPY 2017: 35-45
2016
[c15]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/asplos/PhothilimthanaT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asplos/PhothilimthanaT16
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati:
Scaling up Superoptimization. ASPLOS 2016: 297-310
[c14]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/cc/PhothilimthanaT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cc/PhothilimthanaT16
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati:
GreenThumb: superoptimizer construction framework. CC 2016: 261-262
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/RepsT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/RepsT16
Thomas W. Reps, Aditya V. Thakur:
Automating Abstract Interpretation. VMCAI 2016: 3-40
2015
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/ThakurLLR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/ThakurLLR15
Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps:
PostHat and All That: Automating Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 311: 15-32 (2015)
2014
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/ItzhakyBRST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/ItzhakyBRST14
Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur:
Property-Directed Shape Analysis. CAV 2014: 35-51
[c11]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/spin/ThakurBR14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/ThakurBR14
Aditya V. Thakur, Jason Breck, Thomas W. Reps:
Satisfiability modulo abstraction for separation logic with linked lists. SPIN 2014: 58-67
[i1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/KroeningRST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/KroeningRST14
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur:
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). Dagstuhl Reports 4(8): 89-106 (2014)
2012
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/ThakurR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/ThakurR12
Aditya V. Thakur, Thomas W. Reps:
A Method for Symbolic Computation of Abstract Operations. CAV 2012: 174-192
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/DriscollTR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/DriscollTR12
Evan Driscoll, Aditya V. Thakur, Thomas W. Reps:
OpenNWA: A Nested-Word Automaton Library. CAV 2012: 665-671
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/ThakurER12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/ThakurER12
Aditya V. Thakur, Matt Elder, Thomas W. Reps:
Bilateral Algorithms for Symbolic Abstraction. SAS 2012: 111-128
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/ThakurR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/ThakurR12
Aditya V. Thakur, Thomas W. Reps:
A Generalization of Stålmarck's Method. SAS 2012: 334-351
2010
[j1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/BeckmanNRSTT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tse/BeckmanNRSTT10
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur:
Proofs from Tests. IEEE Trans. Software Eng. 36(4): 495-508 (2010)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/RepsLTBL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/RepsLTBL10
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal:
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV 2010: 41-56
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/ThakurLLBDEAR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/ThakurLLBDEAR10
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps:
Directed Proof Generation for Machine Code. CAV 2010: 288-305
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/oopsla/JinTLL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/JinTLL10
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu:
Instrumentation and sampling strategies for cooperative concurrency bug isolation. OOPSLA 2010: 241-255

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/issta/ThakurSLL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/ThakurSLL09
Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu:
Cooperative crug isolation. WODA 2009: 35-41
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/NoriRTT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/NoriRTT09
Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur:
The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181
2008
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/cgo/ThakurG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cgo/ThakurG08
Aditya V. Thakur, R. Govindarajan:
Comprehensive path-sensitive data-flow analysis. CGO 2008: 55-63

Coauthor Index

see FAQ

maintained by

at