Nikhil Swamy

发表

Michael Hicks, Gavin M. Bierman, Nataliya Guts, 2014, MSFP.
Nikhil Swamy, Chris Hawblitzel, Rustan Leino, 2017, SNAPL.
David Walker, Nikhil Swamy, Cole Schlesinger, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
Jonathan de Halleux, Daan Leijen, Nikhil Swamy, 2013, PASTE '13.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Benjamin Livshits, Nikhil Swamy, Cole Schlesinger, 2013, PLDI.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, Proc. ACM Program. Lang..
Gavin M. Bierman, Nikhil Swamy, Michael W. Hicks, 2009, ICFP.
Nikhil Swamy, Cédric Fournet, Kenji Maillard, 2018 .
Andrew D. Gordon, Nikhil Swamy, Cédric Fournet, 2008, ASIACCS '08.
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2015 .
Nikhil Swamy, Chris Hawblitzel, Catalin Hritcu, 2018, ArXiv.
Nikhil Swamy, Michael Hicks, Simon Tsang, 2007, MILCOM 2007 - IEEE Military Communications Conference.
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.
Michael Hicks, Nikhil Swamy, Steve Zdancewic, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Juan Chen, Benjamin Livshits, Pierre-Yves Strub, 2013, POPL.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, POPL.
Michael Hicks, Nikhil Swamy, Aseem Rastogi, 2017, POST.
Michael Hicks, Nikhil Swamy, Aseem Rastogi, 2017, ArXiv.
Juan Chen, Benjamin Livshits, Nikhil Swamy, 2013, PLDI.
Nikhil Swamy, Cédric Fournet, Antoine Delignat-Lavaud, 2019, USENIX Security Symposium.
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, 2020, Proc. ACM Program. Lang..
Donald Perlis, Nikhil Swamy, Ken Hennacy, 2003, Neural Networks and Computational Intelligence.
Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2012, POPL '12.
Michael Hicks, Nikhil Swamy, Brian J. Corcoran, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Michael Hicks, Nikhil Swamy, Trevor Jim, 2007, WWW '07.
Juan Chen, Pierre-Yves Strub, Gavin M. Bierman, 2014, POPL.
Jong-Deok Choi, Nikhil Swamy, Manish Gupta, 2004, ECOOP.
Jean-Baptiste Jeannin, Juan Chen, Nikhil Swamy, 2013, ESSoS.
Juan Chen, Nikhil Swamy, Johannes Borgström, 2011, PLPV '11.
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, Proc. ACM Program. Lang..
Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2011, Journal of Functional Programming.
Dan Grossman, Nikhil Swamy, Trevor Jim, 2006, Sci. Comput. Program..
David Walker, Nikhil Swamy, Cole Schlesinger, 2011, CSF.
Michael Hicks, Nikhil Swamy, James Rose, 2005, Sci. Comput. Program..
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2016, PLAS@CCS.
Michael Hicks, Nataliya Guts, Daan Leijen, 2011, ICFP.
Gavin M. Bierman, Nikhil Swamy, Cédric Fournet, 2015, POPL.
Nikhil Swamy, Chris Hawblitzel, Bryan Parno, 2019, Proc. ACM Program. Lang..
Nikhil Swamy, Michael W. Hicks, Brian J. Corcoran, 2009, SIGMOD Conference.
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, ArXiv.
Nikhil Swamy, Chris Hawblitzel, Catalin Hritcu, 2018, 1803.06547.
Lee Spector, Nikhil Swamy, Howard Barnum, 1999 .
Juan Chen, Ravi Chugh, Nikhil Swamy, 2010, ESOP.
Nikhil Swamy, Catalin Hritcu, Jonathan Protzenko, 2016, POPL.
Nikhil Swamy, Chris Hawblitzel, Cédric Fournet, 2020, 2020 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy, Cédric Fournet, Antoine Delignat-Lavaud, 2016 .
Benjamin Livshits, Nikhil Swamy, Arjun Guha, 2011, 2011 IEEE Symposium on Security and Privacy.
Michael Hicks, Nikhil Swamy, 2008, PLAS '08.
Nikhil Swamy, Cole Schlesinger, Juan Chen, 2012 .
Nikhil Swamy, 2014 .
Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2013, J. Funct. Program..
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, 2021, Artifact Digital Object Group.
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, 2021, Proc. ACM Program. Lang..
Srinath T. V. Setty, Badrish Chandramouli, Johannes Gehrke, 2021, SIGMOD Conference.
Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, POPL.