×
Author ID: swamy.nikhil Recent zbMATH articles by "Swamy, Nikhil"
Published as: Swamy, Nikhil
Documents Indexed: 15 Publications since 2005
Co-Authors: 37 Co-Authors with 15 Joint Publications
600 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 75 times in 65 Documents Cited by Year
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
14
2011
Probabilistic relational verification for cryptographic implementations. Zbl 1284.68380
Barthe, Gilles; Fournet, Cédric; Grégoire, Benjamin; Strub, Pierre-Yves; Swamy, Nikhil; Zanella-Béguelin, Santiago
12
2014
Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038
Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago
10
2016
Safe & efficient gradual typing for TypeScript. Zbl 1346.68049
Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis
8
2015
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
Dijkstra monads for free. Zbl 1380.68266
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil
5
2017
Safe manual memory management in Cyclone. Zbl 1103.68031
Swamy, Nikhil; Hicks, Michael; Morrisett, Greg; Grossman, Dan; Jim, Trevor
4
2006
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
4
2013
Lightweight monadic programming in ML. Zbl 1323.68166
Swamy, Nikhil; Guts, Nataliya; Leijen, Daan; Hicks, Michael
3
2011
A theory of typed coercions and its applications. Zbl 1302.68093
Swamy, Nikhil; Hicks, Michael; Bierman, Gavin M.
2
2009
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
2
2014
Dynamic inference of polymorphic lock types. Zbl 1105.68014
Rose, James; Swamy, Nikhil; Hicks, Michael
2
2005
Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq. Zbl 1321.68205
Strub, Pierre-Yves; Swamy, Nikhil; Fournet, Cedric; Chen, Juan
1
2012
Dijkstra monads for free. Zbl 1380.68266
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil
5
2017
Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038
Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago
10
2016
Safe & efficient gradual typing for TypeScript. Zbl 1346.68049
Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis
8
2015
Probabilistic relational verification for cryptographic implementations. Zbl 1284.68380
Barthe, Gilles; Fournet, Cédric; Grégoire, Benjamin; Strub, Pierre-Yves; Swamy, Nikhil; Zanella-Béguelin, Santiago
12
2014
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
2
2014
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
4
2013
Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq. Zbl 1321.68205
Strub, Pierre-Yves; Swamy, Nikhil; Fournet, Cedric; Chen, Juan
1
2012
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
14
2011
Lightweight monadic programming in ML. Zbl 1323.68166
Swamy, Nikhil; Guts, Nataliya; Leijen, Daan; Hicks, Michael
3
2011
A theory of typed coercions and its applications. Zbl 1302.68093
Swamy, Nikhil; Hicks, Michael; Bierman, Gavin M.
2
2009
Safe manual memory management in Cyclone. Zbl 1103.68031
Swamy, Nikhil; Hicks, Michael; Morrisett, Greg; Grossman, Dan; Jim, Trevor
4
2006
Dynamic inference of polymorphic lock types. Zbl 1105.68014
Rose, James; Swamy, Nikhil; Hicks, Michael
2
2005
all top 5

Cited by 168 Authors

3 Barthe, Gilles
3 Dezani-Ciancaglini, Mariangiola
3 Hermenegildo, Manuel V.
3 Lochbihler, Andreas
3 Morales, Jose Francisco
3 Thiemann, Peter J.
3 Yoshida, Nobuko
2 Aguirre, Alejandro
2 Bhargavan, Karthikeyan
2 Caires, Luís
2 Coppo, Mario
2 Fournet, Cédric
2 Katsumata, Shin-ya
2 Kobayashi, Naoki
2 Kura, Satoshi
2 Lepigre, Rodolphe
2 López-García, Pedro
2 McBride, Conor Thomas
2 Padovani, Luca
2 Paykin, Jennifer
2 Pun, Ka I.
2 Steffen, Martin
2 Stolz, Volker
2 Swierstra, Wouter
2 Toninho, Bernardo
2 Zdancewic, Steve
1 Abreu, Salvador
1 Acar, Umut A.
1 Ahmed, Amal
1 Baanen, Anne
1 Baillot, Patrick
1 Bartoletti, Massimo
1 Basile, Davide
1 Basin, David A.
1 Betarte, Gustavo
1 Bi, Xuan
1 Bichhawat, Abhishek
1 Breitner, Joachim
1 Brzuska, Chris
1 Bugliesi, Michele
1 Calzavara, Stefano
1 Campo, Juan Diego
1 Casso, Ignacio
1 Castellani, Ilaria
1 Chakravarty, Manuel M. T.
1 Chen, Yulong
1 Cheney, James
1 Ciatto, Giovanni
1 Cohen, Joshua M.
1 Convent, Lukas
1 Santos Costa, Vítor
1 Crafa, Silvia
1 Crespo, Juan Manuel
1 Dagand, Pierre-Evariste
1 Dahl, Veronica
1 Dal Lago, Ugo
1 de Amorim, Pedro H. Azevedo
1 De Caro, Angelo
1 del Carmen González Huesca, Lourdes
1 Delaune, Stéphanie
1 Delignat-Lavaud, Antoine
1 Deng, Chaoqiang
1 Deniélou, Pierre-Malo
1 Devriese, Dominique
1 Diaz, Daniel
1 Fallah, Mehran S.
1 Felleisen, Matthias
1 Feltey, Daniel
1 Findler, Robert Bruce
1 Fischer, Bernd
1 Focardi, Riccardo
1 Gaboardi, Marco
1 Galletta, Letterio
1 García-Contreras, Isabel
1 Garg, Deepak
1 Ghilezan, Silvia
1 Gordon, Andrew D.
1 Grech, Neville
1 Greenman, Ben
1 Guéneau, Armaël
1 Harris, William R.
1 Hirschi, Lucca
1 Hölzl, Johannes
1 Hosseyni, Pedram
1 Igarashi, Atsushi
1 Iovino, Vincenzo
1 Jha, Somesh
1 Keller, Gabriele Cornelia
1 Kohbrok, Konrad
1 Kohlweiss, Markulf
1 Körner, Philipp
1 Krijnen, Jacco O. G.
1 Kumar, Ramana
1 Kuncak, Viktor
1 Kunz, César
1 Küsters, Ralf
1 Lämmel, Ralf
1 Lee, Dong-Ho
1 Leinberger, Martin
1 Leuschel, Michael
...and 68 more Authors

Citations by Year