SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Aditya V. Thakur
Aditya V. Thakur

Registered user since Thu 14 Nov 2019

Name:Aditya V. Thakur
Country:United States
Affiliation:University of California, Davis
Personal website:http://thakur.cs.ucdavis.edu
Research interests: Programming languages, formal methods, software engineering

Contributions

SAS 2020 Memory-Efficient Fixpoint Computation
Abstract Neural Networks
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Show activities from other conferences

SPLASH 2020-profile
View general profile