conf.researchr.org / Aditya V. Thakur
Registered user since Thu 14 Nov 2019
Name:Aditya V. Thakur
Country:United States
Affiliation:University of California at Davis
Personal website: http://thakur.cs.ucdavis.edu
Research interests: Programming languages, formal methods, machine learning, software engineering
Contributions
2026
Static Analysis Symposium
- Session Chair of Thread-Modular Abstract Interpretation (part of SAS 2026)
- Presenter of Welcome within the SAS 2026-track
- Co-chair of Business Meeting and Radhia Cousot Award within the SAS 2026-track
- Session Chair of Synthesis & Business Meeting (part of SAS 2026)
- Session Chair of Agentic Reasoning (part of SAS 2026)
- Session Chair of Responsibility and Determinism (part of SAS 2026)
- Co-chair in Program Committee within the SAS 2026-track
- Session Chair of Future Trends in Static Analysis (part of SAS 2026)