( en | de | ru )

 

Disambiguation of "Chaudhuri, Avik"

Author of the publication

copydeleteadd this publication to your clipboard
Fast and precise type checking for JavaScript.

, , , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 48:1-48:30 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Avik Samanta

Avik Bhattacharya

Avik Sinha

Nondini Chaudhuri

Mitochondriale Bildung von reaktiven Sauerstoffspezies in Abhängigkeit vom Sauerstoffpartialdruck und der mitochondrialen Aktivität. Uni Heidelberg, (2010)

Manis Chaudhuri

 

Other publications of authors with the same name

Static Typing for Ruby on Rails., , and . ASE, page 590-594. IEEE Computer Society, (2009)EON: modeling and analyzing dynamic access control systems with logic programs., , , , and . ACM Conference on Computer and Communications Security, page 381-390. ACM, (2008)Optimizing and evaluating transient gradual typing., , and . DLS, page 28-41. ACM, (2019)A type system for data-flow integrity on Windows Vista., , and . ACM SIGPLAN Notices, 43 (12): 9-20 (2008)Symbolic security analysis of ruby-on-rails web applications., and . ACM Conference on Computer and Communications Security, page 585-594. ACM, (2010)Secrecy by Typing and File-Access Control., and . CSFW, page 112-123. IEEE Computer Society, (2006)Formal security analysis of basic network-attached storage., and . FMSE, page 43-52. ACM, (2005)Dynamic inference of static types for ruby., , , and . POPL, page 459-472. ACM, (2011)Types and Access Controls for Cross-Domain Security in Flash., , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 82-97. Springer, (2012)Formal Analysis of Dynamic, Distributed File-System Access Controls., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 99-114. Springer, (2006)