Avik Chaudhuri

发表

Avik Chaudhuri, Sriram K. Rajamani, Prasad Naldurg, 2008, SIGP.
Avik Chaudhuri, A. Chaudhuri, 2008 .
Avik Chaudhuri, Michael Hicks, Jeffrey S. Foster, 2011, POPL '11.
Avik Chaudhuri, Prasad Naldurg, A. Chaudhuri, 2007 .
Avik Chaudhuri, Michael Franz, Christian Wimmer, 2011, DLS '11.
Avik Chaudhuri, A. Chaudhuri, 2009, ICFP.
Avik Chaudhuri, Jeffrey S. Foster, Jong-hoon An, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
Avik Chaudhuri, A. Chaudhuri, 2009, PLAS '09.
Avik Chaudhuri, Jeffrey S. Foster, Adam P. Fuchs, 2009 .
Avik Chaudhuri, Aseem Rastogi, Basil Hosmer, 2012, POPL '12.
Avik Chaudhuri, Bruno Blanchet, A. Chaudhuri, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Avik Chaudhuri, Jeremy G. Siek, Michael M. Vitousek, 2019, DLS.
Avik Chaudhuri, Deepak Garg, 2009, ESORICS.
Avik Chaudhuri, Jeffrey S. Foster, 2010, CCS '10.
Martín Abadi, Avik Chaudhuri, M. Abadi, 2005, FMSE '05.
Avik Chaudhuri, Roberto Di Cosmo, Jérôme Vouillon, 2002 .
Avik Chaudhuri, A. Chaudhuri, 2010, ArXiv.
Martín Abadi, Avik Chaudhuri, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, 2017, Proc. ACM Program. Lang..
Avik Chaudhuri, Sriram K. Rajamani, Ganesan Ramalingam, 2008 .
Avik Chaudhuri, Sriram K. Rajamani, G. Ramalingam, 2008, CCS.
Avik Chaudhuri, Rob Johnson, Aseem Rastogi, 2012, APLAS.
Avik Chaudhuri, Michael Hicks, Jeffrey S. Foster, 2010 .