Login / Signup
Juan Vazquez
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Multi Valued
Hamming Distance
Surface Registration
Ai Community
Top Venues
CoRR
PLDI
</>
Publications
</>
Kevin Credit
,
Qian Xiao
,
Jack Lehane
,
Juan Vazquez
,
Dan Liu
,
Leo De Figueiredo
LuminLab: An AI-Powered Building Retrofit and Energy Modelling Platform.
CoRR
(2024)
Nikhil Swamy
,
Tahina Ramananandro
,
Aseem Rastogi
,
Irina Spiridonova
,
Haobin Ni
,
Dmitry Malloy
,
Juan Vazquez
,
Michael Tang
,
Omar Cardona
,
Arti Gupta
Hardening attack surfaces with formally proven binary format parsers.
PLDI
(2022)