Write a Blog >>
Alex Sanchez-Stern

Registered user since Sun 17 Sep 2017

Name: Alex Sanchez-Stern

Country: United States

Affiliation: University of California, San Diego

Personal website: http://cseweb.ucsd.edu/~alexss/

Research interests: Programming Languages, Numerical Software, Machine Learning

Contributions

CPP 2020Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
Show activities from other conferences

Using general profile