Trevor Jim

	2010
31		Trevor Jim, Yitzhak Mandelbaum, David Walker: Semantics and algorithms for data-dependent grammars. POPL 2010: 417-430
	2009
30		Arjun Guha, Shriram Krishnamurthi, Trevor Jim: Using static analysis for Ajax intrusion detection. WWW 2009: 561-570
	2007
29		Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon: Highly distributed XQuery with DXQ. SIGMOD Conference 2007: 1159-1161
28		Trevor Jim, Nikhil Swamy, Michael Hicks: Defeating script injection attacks with browser-enforced embedded policies. WWW 2007: 601-610
27		Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon: DXQ: a distributed XQuery scripting language. XIME-P 2007
	2006
26		Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting: System Call Monitoring Using Authenticated System Calls. IEEE Trans. Dependable Sec. Comput. 3(3): 216-229 (2006)
25		Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. Sci. Comput. Program. 62(2): 122-144 (2006)
	2005
24		Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting: Authenticated System Calls. DSN 2005: 358-367
23		Serban Jora, Rittwik Jana, Yih-Farn Chen, Matti A. Hiltunen, Trevor Jim, Huale Huang, King Ow, Ashish K. Singh, Radhakrishnan Muthumanickam: An Alerting and Notification Service on the AT&T Enterprise Messaging Network. EuroIMSA 2005: 215-220
22		Christof Fetzer, Trevor Jim: Dependable Distributed Computing Using Free Databases. ISAS 2005: 123-136
21		Christof Fetzer, Gert Pfeifer, Trevor Jim: Enhancing DNS Security using the SSL Trust Infrastructure. WORDS 2005: 21-27
20		Jens Palsberg, Tian Zhao, Trevor Jim: Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27(1): 126-162 (2005)
	2004
19		Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
	2003
18		Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim: Compiling for template-based run-time code generation. J. Funct. Program. 13(3): 677-708 (2003)
17		Yih-Farn Chen, Huale Huang, Rittwik Jana, Trevor Jim, Matti A. Hiltunen, Sam John, Serban Jora, Radhakrishnan Muthumanickam, Bin Wei: iMobile EE - An Enterprise Mobile Service Platform. Wireless Networks 9(4): 283-297 (2003)
	2002
16		Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
15		Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang: Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track 2002: 275-288
	2001
14		Trevor Jim: SD3: A Trust Management System with Certified Evaluation. IEEE Symposium on Security and Privacy 2001: 106-115
13		Trevor Jim, Dan Suciu: Dynamically Distributed Query Evaluation. PODS 2001
	2000
12		Trevor Jim: A Polar Type System. ICALP Satellite Workshops 2000: 323-338
11		Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim: Certificate Distribution with Local Autonomy. IWAN 2000: 277-295
10		Carl A. Gunter, Trevor Jim: Generalized Certificate Revocation. POPL 2000: 316-329
9		Carl A. Gunter, Trevor Jim: Policy-directed certificate retrieval. Softw., Pract. Exper. 30(15): 1609-1640 (2000)
	1999
8		Luke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. PEPM 1999: 60-74
7		Luke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. Higher-Order and Symbolic Computation 12(4): 337-375 (1999)
	1997
6		Andrew W. Appel, Trevor Jim: Shrinking lambda Expressions in Linear Time. J. Funct. Program. 7(5): 515-540 (1997)
5		Jens Palsberg, Trevor Jim: Type Inference with Simple Selftypes is NP-complete. Nord. J. Comput. 4(2): 259-286 (1997)
	1996
4		Trevor Jim: What Are Principal Typings and What Are They Good For? POPL 1996: 42-53
3		Trevor Jim, Albert R. Meyer: Full Abstraction and the Context Lemma. SIAM J. Comput. 25(3): 663-696 (1996)
	1991
2		Trevor Jim, Albert R. Meyer: Full Abstraction and the Context Lemma. TACS 1991: 131-151
	1989
1		Andrew W. Appel, Trevor Jim: Continuation-Passing, Closure-Passing Style. POPL 1989: 293-302

Coauthor Index

1	Andrew W. Appel	[1] [6]
2	Yih-Farn Robin Chen (Yih-Farn Chen)	[17] [23]
3	James Cheney	[15] [16]
4	Mary F. Fernández (Mary F. Fernandez)	[27] [29]
5	Christof Fetzer	[21] [22]
6	Dan Grossman	[15] [16] [18] [19] [25]
7	Arjun Guha	[30]
8	Carl A. Gunter	[9] [10] [11]
9	Michael W. Hicks (Michael Hicks)	[15] [16] [19] [25] [28]
10	Matti A. Hiltunen	[17] [23] [24] [26]
11	Luke Hornof	[7] [8] [18]
12	Huale Huang	[17] [23]
13	Rittwik Jana	[17] [23]
14	Sam John	[17]
15	Serban Jora	[17] [23]
16	Pankaj Kakkar	[11]
17	Shriram Krishnamurthi	[30]
18	Yitzhak Mandelbaum	[31]
19	Michael McDougall	[11]
20	Albert R. Meyer	[2] [3]
21	J. Gregory Morrisett (Greg Morrisett)	[15] [16] [18] [19] [25]
22	Kristi Morton	[27] [29]
23	Radhakrishnan Muthumanickam	[17] [23]
24	Nicola Onose	[27] [29]
25	King Ow	[23]
26	Jens Palsberg	[5] [20]
27	Gert Pfeifer	[21]
28	Mohan Rajagopalan	[24] [26]
29	Richard D. Schlichting	[24] [26]
30	Jérôme Siméon	[27] [29]
31	Ashish K. Singh	[23]
32	Frederick Smith	[18]
33	Dan Suciu	[13]
34	Nikhil Swamy	[25] [28]
35	David Walker	[31]
36	Yanling Wang	[15] [16]
37	Bin Wei	[17]
38	Tian Zhao	[20]

Colors in the list of coauthors