Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Github Télécharger Projet
Nikhil Swamy, Juan Chen, Ben Livshits
ACM Programming Language Design and Implementation (PLDI) 2013 | June 2013
ACM Programming Language Design and Implementation (PLDI) 2013
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
MSR-TR-2012-24 | March 2013
International Symposium on Engineering Secure Software and Systems (ESSOS 13)
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013
Cole Schlesinger, Nikhil Swamy
MSR-TR-2012-45 | April 2012
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
Matthew Fredrikson, Ben Livshits
Proceedings of the IEEE Symposium on Security and Privacy | May 2011
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy, Ben Livshits
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2011
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, Jean Yang
MSR-TR-2011-37 | March 2011
This is an extended version of the conference paper (ICFP '11) with the same title. A final version of this full technical report is forthcoming.
Juan Chen, Nikhil Swamy
Programming Language meets Program Verification (PLPV 2011) | January 2011
Juan Chen, Nikhil Swamy, Ravi Chugh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010 | June 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010
Nikhil Swamy, Juan Chen, Ravi Chugh
MSR-TR-2009-164 | March 2010
ESOP 2010: 19th European Symposium on Programming
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Github Télécharger Projet
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
MSR-TR-2012-24 | March 2013
International Symposium on Engineering Secure Software and Systems (ESSOS 13)
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
Matthew Fredrikson, Ben Livshits
Proceedings of the IEEE Symposium on Security and Privacy | May 2011
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, Jean Yang
MSR-TR-2011-37 | March 2011
This is an extended version of the conference paper (ICFP '11) with the same title. A final version of this full technical report is forthcoming.
Juan Chen, Nikhil Swamy
Programming Language meets Program Verification (PLPV 2011) | January 2011
Juan Chen, Nikhil Swamy, Ravi Chugh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010 | June 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010
Nikhil Swamy, Juan Chen, Ravi Chugh
MSR-TR-2009-164 | March 2010
ESOP 2010: 19th European Symposium on Programming
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Github Télécharger Projet
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Juan Chen, Nikhil Swamy, Ravi Chugh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010 | June 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010
Nikhil Swamy, Juan Chen, Ben Livshits
ACM Programming Language Design and Implementation (PLDI) 2013 | June 2013
ACM Programming Language Design and Implementation (PLDI) 2013
Cole Schlesinger, Nikhil Swamy
MSR-TR-2012-45 | April 2012
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy, Ben Livshits
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2011
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Juan Chen, Nikhil Swamy, Ravi Chugh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010 | June 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010
Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
22nd International Conference on Functional Programming (ICFP 2017) | May 2017
Publication Publication Publication Github Télécharger Projet
Nikhil Swamy, Juan Chen, Ben Livshits
ACM Programming Language Design and Implementation (PLDI) 2013 | June 2013
ACM Programming Language Design and Implementation (PLDI) 2013
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012
To appear
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
Matthew Fredrikson, Ben Livshits
Proceedings of the IEEE Symposium on Security and Privacy | May 2011
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy, Ben Livshits
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2011
Juan Chen, Nikhil Swamy
Programming Language meets Program Verification (PLPV 2011) | January 2011
Juan Chen, Nikhil Swamy, Ravi Chugh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010 | June 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2010
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
MSR-TR-2012-24 | March 2013
International Symposium on Engineering Secure Software and Systems (ESSOS 13)
Cole Schlesinger, Nikhil Swamy
MSR-TR-2012-45 | April 2012
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, Jean Yang
MSR-TR-2011-37 | March 2011
This is an extended version of the conference paper (ICFP '11) with the same title. A final version of this full technical report is forthcoming.
Nikhil Swamy, Juan Chen, Ravi Chugh
MSR-TR-2009-164 | March 2010
ESOP 2010: 19th European Symposium on Programming
Senior Principal Research Manager
Senior Principal Researcher
Principal Researcher
