Registered user since Tue 12 Aug 2014

Name: Santiago Cuellar

Country: Colombia

Affiliation: Princeton

Personal website: http://santiagocuellar.com

SPLASH 2014 Activities

• Presenter of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA Artifacts-track in SPLASH 2014
• Author of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA-track in SPLASH 2014
• Show activities from other conferences