Trevor Jim Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim, Yitzhak Mandelbaum, David Walker: Semantics and algorithms for data-dependent grammars. POPL 2010: 417-430
2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjun Guha, Shriram Krishnamurthi, Trevor Jim: Using static analysis for Ajax intrusion detection. WWW 2009: 561-570
2007
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon: Highly distributed XQuery with DXQ. SIGMOD Conference 2007: 1159-1161
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim, Nikhil Swamy, Michael Hicks: Defeating script injection attacks with browser-enforced embedded policies. WWW 2007: 601-610
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon: DXQ: a distributed XQuery scripting language. XIME-P 2007
2006
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohan 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)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting: Authenticated System Calls. DSN 2005: 358-367
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerban 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Fetzer, Trevor Jim: Dependable Distributed Computing Using Free Databases. ISAS 2005: 123-136
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Fetzer, Gert Pfeifer, Trevor Jim: Enhancing DNS Security using the SSL Trust Infrastructure. WORDS 2005: 21-27
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Palsberg, Tian Zhao, Trevor Jim: Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27(1): 126-162 (2005)
2004
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
2003
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrederick 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)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYih-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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim: SD3: A Trust Management System with Certified Evaluation. IEEE Symposium on Security and Privacy 2001: 106-115
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim, Dan Suciu: Dynamically Distributed Query Evaluation. PODS 2001
2000
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim: A Polar Type System. ICALP Satellite Workshops 2000: 323-338
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim: Certificate Distribution with Local Autonomy. IWAN 2000: 277-295
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Trevor Jim: Generalized Certificate Revocation. POPL 2000: 316-329
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Trevor Jim: Policy-directed certificate retrieval. Softw., Pract. Exper. 30(15): 1609-1640 (2000)
1999
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. PEPM 1999: 60-74
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. Higher-Order and Symbolic Computation 12(4): 337-375 (1999)
1997
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew W. Appel, Trevor Jim: Shrinking lambda Expressions in Linear Time. J. Funct. Program. 7(5): 515-540 (1997)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Palsberg, Trevor Jim: Type Inference with Simple Selftypes is NP-complete. Nord. J. Comput. 4(2): 259-286 (1997)
1996
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim: What Are Principal Typings and What Are They Good For? POPL 1996: 42-53
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim, Albert R. Meyer: Full Abstraction and the Context Lemma. SIAM J. Comput. 25(3): 663-696 (1996)
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim, Albert R. Meyer: Full Abstraction and the Context Lemma. TACS 1991: 131-151
1989
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew W. Appel, Trevor Jim: Continuation-Passing, Closure-Passing Style. POPL 1989: 293-302

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)