• Sign in
  • Sign up
conf.researchr.org / Avaljot Singh
  • ECOOP 2025 profile
  • PLDI 2023 profile
  • SPLASH 2024 profile
Avaljot Singh

Registered user since Fri 18 Oct 2024

Name:Avaljot Singh
Country:United States
Affiliation:UIUC
Personal website: https://avaljotsingh.github.io/
X (Twitter): https://x.com/singhasAvaljot
GitHub: https://github.com/avaljotsingh
Research interests:Programming Languages, Formal Methods

Contributions

2025

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

Static Analysis Symposium

  • Keynote Speaker of ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper) within the SAS 2024-track

2023

PLDI

  • Author of ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence within the SRC-track
Share
xThu 22 May 22:11
using conf.researchr.org (v1.69.0)
Support page
Sign Up