Santiago Cuellar -

Registered user since Tue 12 Aug 2014

Name:Santiago Cuellar

Country:Colombia

Affiliation:Princeton

Contributions

POPL 2018	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2014	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