Skip to content Skip to navigation

Publications

Displaying 1 - 10 of 14

2017

Adarsh Yoga and Santosh Nagarakatte

11th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017) September, 2017

David Menendez and Santosh Nagarakatte

2017 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) June, 2017

2016

Adarsh Yoga, Santosh Nagarakatte, and Aarti Gupta

24th International Symposium on the Foundations of Software Engineering (FSE 2016), November, 2016

David Menendez and Santosh Nagarakatte

38th International Conference on Software Engineering 2016 May, 2016
  • ACM SIGSOFT ICSE 2016 Distinguished Paper Award

Adarsh Yoga and Santosh Nagarakatte

2016 International Conference on Code Generation and Optimization (CGO-2016) March, 2016

2015

Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte, and Liviu Iftode

30th IEEE/ACM International Conference on Automated Software Engineering (ASE-2015) November, 2015

Nuno Lopes, David Menendez, Santosh Nagarakatte, and John Regehr

36th annual ACM SIGPLAN conference on Programming Language Design and Implementation 2015 June, 2015
  • ACM SIGPLAN PLDI 2015 Distinguished Paper Award
  • ACM SIGPLAN Research Highlights Paper 2016
  • Communications of the ACM Research Highlights Paper 2017

Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic 

SNAPL: The Inaugural Summit On Advances in Programming Languages ( SNAPL 2015), May, 2015

Inigo Goiri, Ricardo Bianchini, Santosh Nagarakatte, and Thu Nguyen

20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-2015) March, 2015

Pages