Avik Chaudhuri

	2012
19		Aseem Rastogi, Avik Chaudhuri, Basil Hosmer: The ins and outs of gradual type inference. POPL 2012: 481-494
	2011
18		Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz: The impact of optional type information on jit compilation of dynamically typed languages. DLS 2011: 13-24
17		Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks: Dynamic inference of static types for ruby. POPL 2011: 459-472
	2010
16		Avik Chaudhuri, Jeffrey S. Foster: Symbolic security analysis of ruby-on-rails web applications. ACM Conference on Computer and Communications Security 2010: 585-594
15		Avik Chaudhuri: Liberalizing Dependency CoRR abs/1004.1211: (2010)
	2009
14		Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster: Static Typing for Ruby on Rails. ASE 2009: 590-594
13		Avik Chaudhuri, Deepak Garg: PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS 2009: 184-199
12		Avik Chaudhuri: A concurrent ML library in concurrent Haskell. ICFP 2009: 269-280
11		Avik Chaudhuri: Language-based security on Android. PLAS 2009: 1-7
	2008
10		Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga: EON: modeling and analyzing dynamic access control systems with logic programs. ACM Conference on Computer and Communications Security 2008: 381-390
9		Bruno Blanchet, Avik Chaudhuri: Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. IEEE Symposium on Security and Privacy 2008: 417-431
8		Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on windows vista. PLAS 2008: 89-100
7		Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A Type System for Data-Flow Integrity on Windows Vista CoRR abs/0803.3230: (2008)
6		Avik Chaudhuri: Event Synchronization by Lightweight Message Passing CoRR abs/0805.4029: (2008)
5		Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on Windows Vista. SIGPLAN Notices 43(12): 9-20 (2008)
	2006
4		Avik Chaudhuri: Dynamic Access Control in a Concurrent Object Calculus. CONCUR 2006: 263-278
3		Avik Chaudhuri, Martín Abadi: Secrecy by Typing and File-Access Control. CSFW 2006: 112-123
2		Avik Chaudhuri, Martín Abadi: Formal Analysis of Dynamic, Distributed File-System Access Controls. FORTE 2006: 99-114
	2005
1		Avik Chaudhuri, Martín Abadi: Formal security analysis of basic network-attached storage. FMSE 2005: 43-52

Coauthor Index

1	Martín Abadi	[1] [2] [3]
2	Jong-hoon (David) An	[14] [17]
3	Michael Bebenita	[18]
4	Bruno Blanchet	[9]
5	Mason Chang	[18]
6	Jeffrey S. Foster	[14] [16] [17]
7	Michael Franz	[18]
8	Andreas Gal	[18]
9	Deepak Garg	[13]
10	Michael W. Hicks (Michael Hicks)	[17]
11	Basil Hosmer	[19]
12	Bernd Mathiske	[18]
13	Prasad Naldurg	[5] [7] [8] [10]
14	Sriram K. Rajamani	[5] [7] [8] [10]
15	G. Ramalingam (Ganesan Ramalingam)	[10]
16	Aseem Rastogi	[19]
17	Edwin W. Smith	[18]
18	Lakshmisubrahmanyam Velaga	[10]
19	Christian Wimmer	[18]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page