John C. Mitchell

	2012
190		Peifung E. Lam, John C. Mitchell, Andre Scedrov, Sharada Sundaram, Frank Wang: Declarative privacy policy: finite models and attribute-based encryption. IHI 2012: 323-332
189		Elie Bursztein, Chinmay Soman, Dan Boneh, John C. Mitchell: SessionJuggler: secure web login from an untrusted terminal using session hijacking. WWW 2012: 321-330
188		Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett: A Learning-Based Approach to Reactive Security. IEEE Trans. Dependable Sec. Comput. 9(4): 482-493 (2012)
187		Carl E. Landwehr, Dan Boneh, John C. Mitchell, Steven M. Bellovin, Susan Landau, Michael E. Lesk: Privacy and Cybersecurity: The Next 100 Years. Proceedings of the IEEE 100(Centennial-Issue): 1659-1673 (2012)
	2011
186		Elie Bursztein, Matthieu Martin, John C. Mitchell: Text-based CAPTCHA strengths and weaknesses. ACM Conference on Computer and Communications Security 2011: 125-138
185		Elie Bursztein, Baptiste Gourdin, John C. Mitchell: Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. ESORICS 2011: 133-149
184		Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS 2011: 6-24
183		Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible dynamic information flow control in Haskell. Haskell 2011: 95-106
182		Elie Bursztein, Romain Beauxis, Hristo Paskov, Daniele Perito, Celine Fabry, John C. Mitchell: The Failure of Noise-Based Non-continuous Audio Captchas. IEEE Symposium on Security and Privacy 2011: 19-31
181		Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra: Automated Analysis of Security-Critical JavaScript APIs. IEEE Symposium on Security and Privacy 2011: 363-378
180		Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell: Disjunction Category Labels. NordSec 2011: 223-239
179		John C. Mitchell: Program Analysis for Web Security. SAS 2011: 4
178		John C. Mitchell: A Symbolic Logic with Exact Bounds for Cryptographic Protocols. WoLLIC 2011: 3
177		Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptology ePrint Archive 2011: 561 (2011)
176		Jason Bau, John C. Mitchell: Security Modeling and Analysis. IEEE Security & Privacy 9(3): 18-25 (2011)
	2010
175		Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song: Towards a Formal Foundation of Web Security. CSF 2010: 290-304
174		Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Song, Peter L. Bartlett: A Learning-Based Approach to Reactive Security. Financial Cryptography 2010: 192-206
173		Sergio Maffeis, John C. Mitchell, Ankur Taly: Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy 2010: 125-140
172		Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell: State of the Art: Automated Black-Box Web Application Vulnerability Testing. IEEE Symposium on Security and Privacy 2010: 332-345
171		Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Daniel Jurafsky: How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation. IEEE Symposium on Security and Privacy 2010: 399-413
170		Jason Bau, John C. Mitchell: A Security Evaluation of DNSSEC with NSEC3. NDSS 2010
169		Jason Bau, John C. Mitchell: A Security Evaluation of DNSSEC with NSEC3. IACR Cryptology ePrint Archive 2010: 115 (2010)
168		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive trace properties for computational security. Journal of Computer Security 18(6): 1035-1073 (2010)
	2009
167		Elie Bursztein, Peifung E. Lam, John C. Mitchell: TrackBack spam: abuse and prevention. CCSW 2009: 3-10
166		Sergio Maffeis, John C. Mitchell, Ankur Taly: Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS 2009: 505-522
165		Elie Bursztein, John C. Mitchell: Using Strategy Objectives for Network Security Analysis. Inscrypt 2009: 337-349
164		Peifung E. Lam, John C. Mitchell, Sharada Sundaram: A Formalization of HIPAA for a Medical Messaging System. TrustBus 2009: 73-85
163		Timothy L. Hinrichs, Natasha Gude, Martin Casado, John C. Mitchell, Scott Shenker: Practical declarative network management. WREN 2009: 1-10
162		Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Xiaodong Song, Peter L. Bartlett: A Learning-Based Approach to Reactive Security CoRR abs/0912.1155: (2009)
161		Adam Barth, Collin Jackson, John C. Mitchell: Securing frame communication in browsers. Commun. ACM 52(6): 83-91 (2009)
160		John C. Mitchell, Arnab Roy, Mukund Sundararajan: An Automated Approach for Proving PCL Invariants. Electr. Notes Theor. Comput. Sci. 234: 93-113 (2009)
	2008
159		Adam Barth, Collin Jackson, John C. Mitchell: Robust defenses for cross-site request forgery. ACM Conference on Computer and Communications Security 2008: 75-88
158		John C. Mitchell, Arnab Roy, Paul Rowe, Andre Scedrov: Analysis of EAP-GPSK Authentication Protocol. ACNS 2008: 309-327
157		Sergio Maffeis, John C. Mitchell, Ankur Taly: An Operational Semantics for JavaScript. APLAS 2008: 307-325
156		Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell: A Layered Architecture for Detecting Malicious Behaviors. RAID 2008: 78-97
155		Adam Barth, Collin Jackson, John C. Mitchell: Securing Frame Communication in Browsers. USENIX Security Symposium 2008: 17-30
154		Elizabeth Stinson, John C. Mitchell: Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods. WOOT 2008
153		Elizabeth Stinson, John C. Mitchell: Characterizing Bots' Remote Control Behavior. Botnet Detection 2008: 45-64
152		Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan: On the Relationships between Notions of Simulation-Based Security. J. Cryptology 21(4): 492-546 (2008)
	2007
151		Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram: Privacy and Utility in Business Processes. CSF 2007: 279-294
150		Elizabeth Stinson, John C. Mitchell: Characterizing Bots' Remote Control Behavior. DIMVA 2007: 89-108
149		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234
148		Arnab Roy, Anupam Datta, John C. Mitchell: Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC 2007: 312-329
147		Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007)
146		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive 2007: 165 (2007)
	2006
145		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213
144		Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW 2006: 321-334
143		Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum: Privacy and Contextual Integrity: Framework and Applications. IEEE Symposium on Security and Privacy 2006: 184-198
142		Adam Barth, John C. Mitchell: Managing Digital Rights using Linear Logic. LICS 2006: 127-136
141		Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. TCC 2006: 360-379
140		Collin Jackson, Andrew Bortz, Dan Boneh, John C. Mitchell: Protecting browser state from web privacy attacks. WWW 2006: 737-744
139		Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. IACR Cryptology ePrint Archive 2006: 153 (2006)
138		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Trace Properties for Computational Security. IACR Cryptology ePrint Archive 2006: 486 (2006)
137		Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive 2006: 56 (2006)
136		Ninghui Li, John C. Mitchell: Understanding SPKI/SDSI using first-order logic. Int. J. Inf. Sec. 5(1): 48-64 (2006)
135		John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague: A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci. 353(1-3): 118-164 (2006)
134		Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367(1-2): 33-56 (2006)
	2005
133		Vijay Atluri, Pierangela Samarati, Ralf Küsters, John C. Mitchell: Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005 ACM 2005
132		Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell: A modular correctness proof of IEEE 802.11i and TLS. ACM Conference on Computer and Communications Security 2005: 2-15
131		Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
130		Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP 2005: 16-29
129		Changhua He, John C. Mitchell: Security Analysis and Improvements for IEEE 802.11i. NDSS 2005
128		John C. Mitchell: Security analysis of network protocols: logical and computational methods. PPDP 2005: 151-152
127		Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan: On the Relationships Between Notions of Simulation-Based Security. TCC 2005: 476-494
126		Adam Barth, John C. Mitchell: Enterprise privacy promises and enforcement. WITS 2005: 58-66
125		Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptology ePrint Archive 2005: 211 (2005)
124		Ninghui Li, John C. Mitchell, William H. Winsborough: Beyond proof-of-compliance: security analysis in trust management. J. ACM 52(3): 474-514 (2005)
123		Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract signing, optimism, and advantage. J. Log. Algebr. Program. 64(2): 189-218 (2005)
122		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A derivation system and compositional logic for security protocols. Journal of Computer Security 13(3): 423-482 (2005)
	2004
121		Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France Kluwer 2004
120		Ninghui Li, John C. Mitchell, Derrick Tong: Securing Java RMI-Based Distributed Applications. ACSAC 2004: 262-271
119		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30-
118		Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague: Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS 2004: 468-483
117		Ajay Chander, Drew Dean, John C. Mitchell: A Distributed High Assurance Reference Monitor. ISC 2004: 231-244
116		Neil Chou, Robert Ledesma, Yuka Teraguchi, John C. Mitchell: Client-Side Defense Against Web-Based Identity Theft. NDSS 2004
115		Adam Barth, John C. Mitchell, Justin Rosenstein: Conflict and combination in privacy policy languages. WPES 2004: 45-46
114		Changhua He, John C. Mitchell: Analysis of the 802.11i 4-way handshake. Workshop on Wireless Security 2004: 43-50
113		Ajay Chander, Drew Dean, John C. Mitchell: Reconstructing Trust Management. Journal of Computer Security 12(1): 131-164 (2004)
112		Nancy A. Durgin, Patrick Lincoln, John C. Mitchell: Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security 12(2): 247-311 (2004)
	2003
111		John C. Mitchell: Concepts in programming languages. Cambridge University Press 2003: I-X, 1-529
110		Paulo Mateus, John C. Mitchell, Andre Scedrov: Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR 2003: 323-345
109		Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract Signing, Optimism, and Advantage. CONCUR 2003: 361-377
108		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125
107		Ninghui Li, John C. Mitchell: Understanding SPKI/SDSI Using First-Order Logic. CSFW 2003: 89-
106		Ninghui Li, John C. Mitchell: A Role-based Trust-management Framework. DISCEX (1) 2003: 201-
105		Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Secure protocol composition. FMSE 2003: 11-23
104		Michael Backes, Catherine Meadows, John C. Mitchell: Relating cryptography and formal methods: a panel. FMSE 2003: 61-66
103		Ninghui Li, William H. Winsborough, John C. Mitchell: Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. IEEE Symposium on Security and Privacy 2003: 123-139
102		David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz: Specifying and Verifying Hardware for Tamper-Resistant Software. IEEE Symposium on Security and Privacy 2003: 166-
101		Ninghui Li, John C. Mitchell: DATALOG with Constraints: A Foundation for Trust Management Languages. PADL 2003: 58-73
100		Stephen N. Freund, John C. Mitchell: A Type System for the Java Bytecode Language and Verifier. J. Autom. Reasoning 30(3-4): 271-321 (2003)
99		Ninghui Li, William H. Winsborough, John C. Mitchell: Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security 11(1): 35-86 (2003)
98		Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security 11(4): 677-722 (2003)
97		Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell: Security by typing. STTT 4(4): 472-495 (2003)
	2002
96		John Launchbury, John C. Mitchell: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002 ACM 2002
95		Ninghui Li, John C. Mitchell, William H. Winsborough: Design of a Role-Based Trust-Management Framework. IEEE Symposium on Security and Privacy 2002: 114-130
94		Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ISSS 2002: 356-383
93		John C. Mitchell, Vanessa Teague: Autonomous Nodes and Distributed Mechanisms. ISSS 2002: 58-83
92		John C. Mitchell: Multiset Rewriting and Security Protocol Analysis. RTA 2002: 19-22
91		Vitaly Shmatikov, John C. Mitchell: Finite-state analysis of two contract signing protocols. Theor. Comput. Sci. 283(2): 419-450 (2002)
	2001
90		Ninghui Li, William H. Winsborough, John C. Mitchell: Distributed credential chain discovery in trust management: extended abstract. ACM Conference on Computer and Communications Security 2001: 156-165
89		Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Protocol Correctness. CSFW 2001: 241-
88		Ajay Chander, John C. Mitchell, Drew Dean: A State-Transition Model of Trust Management and Access Control. CSFW 2001: 27-43
87		John C. Mitchell: Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. ESOP 2001: 23-29
86		John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague: Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. LICS 2001: 3-5
85		John C. Mitchell: Programming language methods in computer security. POPL 2001: 1-3
84		John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague: A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). Electr. Notes Theor. Comput. Sci. 45: 280-310 (2001)
	2000
83		David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz: Architectural Support for Copy and Tamper Resistant Software. ASPLOS 2000: 168-177
82		Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov: Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW 2000: 35-51
81		Vitaly Shmatikov, John C. Mitchell: Analysis of Abuse-Free Contract Signing. Financial Cryptography 2000: 174-191
80		Vitaly Shmatikov, John C. Mitchell: Analysis of a Fair Exchange Protocol. NDSS 2000
	1999
79		Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69
78		Stephen N. Freund, John C. Mitchell: A Formal Framework for the Java Bytecode Language and Verifier. OOPSLA 1999: 147-166
77		Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods 1999: 776-793
76		Stephen N. Freund, John C. Mitchell: The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst. 21(6): 1196-1250 (1999)
75		Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov: A Core Calculus of Classes and Objects. Electr. Notes Theor. Comput. Sci. 20: 28-49 (1999)
74		Robert Harper, John C. Mitchell: Parametricity and Variants of Girard's J Operator. Inf. Process. Lett. 70(1): 1-5 (1999)
73		Patrick Lincoln, John C. Mitchell, Andre Scedrov: Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227(1-2): 299-331 (1999)
	1998
72		Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: A Probabilistic Poly-Time Framework for Protocol Analysis. ACM Conference on Computer and Communications Security 1998: 112-121
71		John C. Mitchell: Finite-State Analysis of Security Protocols. CAV 1998: 71-76
70		John C. Mitchell, Mark Mitchell, Andre Scedrov: A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. FOCS 1998: 725-733
69		Stephen N. Freund, John C. Mitchell: A Type System for Object Initialization in the Java Bytecode Language. OOPSLA 1998: 310-327
68		Kathleen Fisher, John C. Mitchell: On the Relationship Between Classes, Objects, and Data Abstraction. TAPOS 4(1): 3-25 (1998)
	1997
67		John C. Mitchell, Mark Mitchell, Ulrich Stern: Automated analysis of cryptographic protocols using Mur-phi. IEEE Symposium on Security and Privacy 1997: 141-151
66		Ole Agesen, Stephen N. Freund, John C. Mitchell: Adding Type Parameterization to the Java Language. OOPSLA 1997: 49-65
65		Stephen N. Freund, John C. Mitchell: A Type System For Object Initialization In the Java Bytecode Language. Electr. Notes Theor. Comput. Sci. 10: 242-245 (1997)
64		John C. Mitchell, Jon G. Riecke: The analysis of programming structure. SIGACT News 28(2): 24-31 (1997)
63		Robert Harper, John C. Mitchell: ML and Beyond. SIGPLAN Notices 32(1): 80-85 (1997)
	1996
62		John C. Mitchell: Foundations for programming languages. MIT Press 1996: I-XIX, 1-846
61		John C. Mitchell, Ramesh Viswanathan: Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). ICALP 1996: 170-181
60		Carl A. Gunter, John C. Mitchell, David Notkin: Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
59		Robert Harper, John C. Mitchell: ML and Beyond. ACM Comput. Surv. 28(4es): 219 (1996)
58		Patrick Lincoln, John C. Mitchell, Andre Scedrov: Linear logic proof games and optimization. Bulletin of Symbolic Logic 2(3): 322-338 (1996)
57		Patrick Lincoln, John C. Mitchell, Andre Scedrov: The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci. 3: 120-129 (1996)
56		John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ Weak Polymorphism and Imperative Constructs. Inf. Comput. 127(2): 102-116 (1996)
	1995
55		Kathleen Fisher, John C. Mitchell: A Delegation-based Object Calculus with Subtying. FCT 1995: 42-61
54		My Hoang, John C. Mitchell: Lower Bounds on Type Inference with Subtypes. POPL 1995: 176-185
53		Kathleen Fisher, John C. Mitchell: The Development of Type Systems for Object-Oriented Languages. TAPOS 1(3): 189-220 (1995)
	1994
52		Masami Hagiya, John C. Mitchell: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings Springer 1994
51		Dinesh Katiyar, David C. Luckham, John C. Mitchell: A Type System for Prototyping Languages. POPL 1994: 138-150
50		Kathleen Fisher, John C. Mitchell: Notes on Typed Object-Oriented Programming. TACS 1994: 844-885
49		Dinesh Katiyar, David C. Luckham, John C. Mitchell: Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages 1994: 22-34
48		Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping Inf. Comput. 109(1/2): 4-56 (1994)
47		Kathleen Fisher, Furio Honsell, John C. Mitchell: A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. 1(1): 3-37 (1994)
	1993
46		My Hoang, John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ weak polymorphism and imperative constructs LICS 1993: 15-25
45		John C. Mitchell, Furio Honsell, Kathleen Fisher: A lambda calculus of objects and method specialization LICS 1993: 26-38
44		Robert Harper, John C. Mitchell: On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst. 15(2): 211-252 (1993)
43		Lalita Jategaonkar, John C. Mitchell: Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inform. 19(1/2): 127-165 (1993)
42		John C. Mitchell: On Abstraction and the Expressive Power of Programming Languages. Sci. Comput. Program. 21(2): 141-163 (1993)
	1992
41		John C. Mitchell, Andre Scedrov: Notes on Sconing and Relators. CSL 1992: 352-378
40		Patrick Lincoln, John C. Mitchell: Operational aspects of linear lambda calculus LICS 1992: 235-246
39		Patrick Lincoln, John C. Mitchell: Algorithmic Aspects of Type Inference with Subtypes. POPL 1992: 293-304
38		Kim B. Bruce, John C. Mitchell: PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL 1992: 316-327
37		Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic 56(1-3): 239-311 (1992)
	1991
36		Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell: Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson 1991: 444-478
35		Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell: Connecting Formal Semantics to Constructive Intuitions. Constructivity in Computer Science 1991: 1-21
34		John C. Mitchell, Sigurd Meldal, Neel Madhav: An Extension of Standard ML Modules with Subtyping and Inheritance. POPL 1991: 270-278
33		John C. Mitchell: On Abstraction and the Expressive Power of Programming Languages. TACS 1991: 290-310
32		Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. TACS 1991: 750-770
31		John C. Mitchell, Eugenio Moggi: Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Logic 51(1-2): 99-124 (1991)
30		John C. Mitchell: Type Inference With Simple Subtypes. J. Funct. Program. 1(3): 245-285 (1991)
29		Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Structures in Computer Science 1(1): 3-48 (1991)
	1990
28		Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic FOCS 1990: 662-671
27		Brian T. Howard, John C. Mitchell: Operational and Axiomatic Semantics of PCF. LISP and Functional Programming 1990: 298-306
26		John C. Mitchell: Toward a Typed Foundation for Method Specialization and Inheritance. POPL 1990: 109-124
25		Robert Harper, John C. Mitchell, Eugenio Moggi: Higher-Order Modules and the Phase Distinction. POPL 1990: 341-354
24		John C. Mitchell: Type Systems for Programming Languages. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 365-458
23		Kim B. Bruce, Albert R. Meyer, John C. Mitchell: The Semantics of Second-Order Lambda Calculus Inf. Comput. 85(1): 76-134 (1990)
	1989
22		Luca Cardelli, John C. Mitchell: Operations in Records. Category Theory and Computer Science 1989: 75-81
21		Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280
20		Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Foundations of Programming Semantics 1989: 22-52
19		Paris C. Kanellakis, John C. Mitchell: Polymorphic Unification and ML Typing. POPL 1989: 105-115
	1988
18		Lalita Jategaonkar, John C. Mitchell: ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211
17		John C. Mitchell, Robert Harper: The Essence of ML. POPL 1988: 28-46
16		John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. 10(3): 470-502 (1988)
15		John C. Mitchell: Polymorphic Type Inference and Containment Inf. Comput. 76(2/3): 211-249 (1988)
	1987
14		John C. Mitchell, Eugenio Moggi: Kripke-Style models for typed lambda calculus LICS 1987: 303-314
13		Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman: Empty Types in Polymorphic Lambda Calculus. POPL 1987: 253-262
	1986
12		John C. Mitchell: A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). LISP and Functional Programming 1986: 308-319
11		John C. Mitchell: Representation Independence and Data Abstraction. POPL 1986: 263-276
10		John C. Mitchell, Michael J. O'Donnell: Realisability Semantics for Error-Tolerant Logics. TARK 1986: 363-382
	1985
9		John C. Mitchell, Albert R. Meyer: Second-Order Logical Relations (Extended Abstract). Logic of Programs 1985: 225-236
8		John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51
	1984
7		John C. Mitchell: Semantic Models for Second-Order Lambda Calculus FOCS 1984: 289-299
6		John C. Mitchell: Coercion and Type Inference. POPL 1984: 175-185
5		Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell: On the Sequential Nature of Unification. J. Log. Program. 1(1): 35-50 (1984)
	1983
4		John C. Mitchell: Inference Rules for Functional and Inclusion Dependencies. PODS 1983: 58-69
3		Albert R. Meyer, John C. Mitchell: Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability Information and Control 56(1/2): 112-138 (1983)
2		John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies Information and Control 56(3): 154-173 (1983)
	1982
1		Albert R. Meyer, John C. Mitchell: Axiomatic Definability and Completeness for Recursive Programs. POPL 1982: 337-346

Coauthor Index

1	Ole Agesen	[66]
2	Devdatta Akhawe	[175]
3	Vijayalakshmi Atluri (Vijay Atluri)	[133]
4	Michael Backes	[104] [131] [134]
5	Alex Bain	[177] [184]
6	Adam Barth	[115] [126] [142] [143] [151] [155] [159] [161] [162] [174] [175] [188]
7	Peter L. Bartlett	[162] [174] [188]
8	Jason Bau	[169] [170] [172] [176]
9	Romain Beauxis	[182]
10	Steven M. Bellovin (Steve Bellovin)	[187]
11	Steven Bethard	[171]
12	Dan Boneh	[83] [140] [187] [189]
13	Viviana Bono	[75]
14	Andrew Bortz	[140]
15	Kim B. Bruce	[23] [38]
16	Elie Bursztein	[165] [167] [171] [172] [182] [185] [186] [189]
17	Peter S. Canning	[21]
18	Luca Cardelli	[20] [22] [29] [32] [48]
19	Martin Casado	[163]
20	Iliano Cervesato	[79] [82] [94]
21	Rohit Chadha	[109] [123]
22	Ajay Chander	[88] [113] [117]
23	Neil Chou	[116]
24	William R. Cook	[21]
25	Anupam Datta	[105] [108] [119] [122] [125] [127] [130] [131] [132] [134] [137] [138] [139] [141] [143] [144] [145] [146] [147] [148] [149] [151] [152] [168]
26	Drew Dean	[88] [113] [117]
27	Mourad Debbabi	[97]
28	Ante Derek	[105] [108] [119] [122] [125] [130] [131] [132] [134] [137] [138] [141] [144] [145] [146] [147] [149] [168]
29	Nancy A. Durgin	[79] [82] [89] [94] [97] [98] [112]
30	Cynthia Dwork	[5]
31	Úlfar Erlingsson	[181]
32	Celine Fabry	[171] [182]
33	Kathleen Fisher	[45] [47] [50] [53] [55] [68]
34	Matt Fredrikson (Matthew Fredrikson)	[156]
35	Stephen N. Freund	[65] [66] [69] [76] [78] [100]
36	Baptiste Gourdin	[185]
37	Natasha Gude	[163]
38	Carl A. Gunter	[60]
39	Divij Gupta	[172]
40	Masami Hagiya	[52]
41	Robert Harper	[17] [25] [44] [59] [63] [74]
42	Changhua He	[114] [129] [132]
43	Walter L. Hill	[21]
44	Timothy L. Hinrichs (Tim Hinrichs)	[163]
45	My Hoang	[46] [54]
46	Furio Honsell	[45] [47]
47	Mark Horowitz	[83] [102]
48	Brian T. Howard	[27]
49	Collin Jackson	[140] [155] [159] [161]
50	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[18] [43]
51	Somesh Jha	[156]
52	Daniel Jurafsky (Dan Jurafsky)	[171]
53	Paris C. Kanellakis	[5] [19] [36]
54	Dinesh Katiyar	[49] [51]
55	Stuart A. Kurtz	[35]
56	Ralf Küsters	[127] [133] [139] [152]
57	Peifung E. Lam	[164] [167] [175] [190]
58	Susan Landau	[187]
59	Carl E. Landwehr	[187]
60	John Launchbury	[96]
61	Robert Ledesma	[116]
62	Michael E. Lesk (Michael Lesk)	[187]
63	Jean-Jacques Lévy	[121]
64	Ninghui Li	[90] [95] [99] [101] [103] [106] [107] [120] [124] [136]
65	David Lie	[83] [102]
66	Patrick Lincoln	[28] [37] [39] [40] [57] [58] [72] [73] [77] [79] [82] [83] [94] [112]
67	David C. Luckham	[49] [51]
68	Neel Madhav	[34]
69	Sergio Maffeis	[157] [166] [173]
70	Harry G. Mairson	[36]
71	Lorenzo Martignoni	[156]
72	Matthieu Martin	[186]
73	Simone Martini	[32] [48]
74	Paulo Mateus	[110]
75	Ernst W. Mayr	[121]
76	David Mazières	[180] [183]
77	Catherine Meadows	[104]
78	Mohamed Mejri	[97]
79	Sigurd Meldal	[34]
80	Albert R. Meyer	[1] [3] [9] [13] [23]
81	Mark S. Miller	[181]
82	Mark Mitchell	[67] [70] [72] [77] [83]
83	Eugenio Moggi	[13] [14] [25] [31]
84	Jasvir Nagra	[181]
85	Helen Nissenbaum	[143]
86	David Notkin	[60]
87	Michael J. O'Donnell	[10] [35]
88	Walter G. Olthoff	[21]
89	Hristo Paskov	[182]
90	Amit Patel	[75]
91	Dusko Pavlovic	[89] [98] [105] [108] [119] [122]
92	Daniele Perito	[182]
93	Gordon D. Plotkin	[8] [16]
94	Ajith Ramanathan	[84] [86] [118] [125] [127] [135] [139] [141] [152]
95	Jon G. Riecke	[64]
96	Justin Rosenstein	[115]
97	Paul Rowe	[158]
98	Arnab Roy	[138]
99	Arnab Roy	[145] [146] [147] [148] [149] [158] [160] [168]
100	Benjamin I. P. Rubinstein	[162] [174] [188]
101	Alejandro Russo	[180] [183]
102	Pierangela Samarati	[133]
103	Andre Scedrov	[28] [32] [37] [41] [48] [57] [58] [70] [72] [73] [77] [79] [82] [84] [86] [94] [109] [110] [118] [123] [125] [135] [141] [158] [190]
104	Jean-Pierre Seifert	[145]
105	Natarajan Shankar	[28] [37]
106	Rahul Sharma	[177] [184]
107	Scott Shenker	[163]
108	Vitaly Shmatikov	[75] [80] [81] [91] [109] [123] [130]
109	Chinmay Soman	[189]
110	Dawn Xiaodong Song (Dawn Song)	[162] [174] [175] [188]
111	Richard Statman	[13]
112	Deian Stefan	[177] [180] [183] [184]
113	Ulrich Stern	[67]
114	Elizabeth Stinson	[150] [153] [154] [156]
115	Sharada Sundaram	[151] [164] [190]
116	Mukund Sundararajan	[132] [160] [162] [174] [188]
117	Ankur Taly	[157] [166] [173] [181]
118	Vanessa Teague	[84] [86] [93] [118] [135]
119	Yuka Teraguchi	[116]
120	Chandramohan A. Thekkath	[83] [102]
121	Derrick Tong	[120]
122	Mathieu Turuani	[130] [131] [134]
123	Ramesh Viswanathan	[46] [56] [61]
124	Frank Wang (Frank Zhigang Wang)	[190]
125	Bogdan Warinschi	[137] [144]
126	William H. Winsborough	[90] [95] [99] [103] [124]
127	Joe Zimmerman	[177] [184]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page