Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Avaljot Singh
conf.researchr.org general profile
PLDI 2023 profile
SPLASH 2024 profile
Not registered as user yet
Name:
Avaljot Singh
Country:
United States
Contributions
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
x
Tue 17 Sep 13:42