• Sign in
  • Sign up
conf.researchr.org / Alex Sanchez-Stern
  • ICFP 2019 profile
  • ICFP 2020 profile
  • PLDI 2015 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2023 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2021 profile
Alex Sanchez-Stern

Registered user since Sun 17 Sep 2017

Name:Alex Sanchez-Stern
Country:United States
Affiliation:University of California at San Diego
Personal website: http://cseweb.ucsd.edu/~alexss/
Research interests:Programming Languages, Numerical Software, Machine Learning

Contributions

2021

SPLASH

  • Author of Scooter & Sidecar: A domain-specific approach to writing secure migrations within the SIGPLAN Papers-track

PLDI

  • Author of Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations within the PLDI-track

2020

ICFP

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

MAPS

  • Author of Generating Correctness Proofs with Neural Networks within the MAPL-track

CPP

  • Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track

2019

ICFP

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

POPL

  • Student Volunteer Co-Captain in Organizing Committee

2018

PLDI

  • Author of Finding Root Causes of Floating Point Error within the PLDI Research Papers-track

POPL

  • Student Volunteer Co-Captain in Organizing Committee
  • Student Volunteer Captain in Organizers within the Student Volunteers-track

2015

PLDI

  • Author of Automatically Improving Accuracy for Floating Point Expressions within the Research Papers-track
Share
xFri 20 Jun 05:50
using conf.researchr.org (v1.69.0)
Support page
Sign Up