Santiago Cuellar -

Registered user since Tue 12 Aug 2014

Name:Santiago Cuellar

Country:Colombia

Affiliation:Princeton

Personal website: http://santiagocuellar.com

Contributions

2018

POPL

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

2014

SPLASH

Presenter of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA Artifacts-track
Author of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA-track