Registered user since Thu 27 Feb 2025
Name:Debasmita Lohar
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website: https://dlohar.github.io/
GitHub: https://github.com/dlohar
Research interests:Formal Methods
Using general profile
PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
- Attending
- Tracks
- Organization
- PLDI 2026 Committees
- Organizing Committee
- AV Committee
- Track Committees
- PLDI Research Papers
- Research Artifacts
- Contributors
- People Index
- Search
- Series