Continuation-Passing, Closure-Passing Style. - Andrew W. Appel; Trevor Jim (POPL, 1989)

What Are Principal Typings and What Are They Good For? - Trevor Jim (POPL, 1996)

Full Abstraction and the Context Lemma. - Trevor Jim; Albert R. Meyer (SIAM J. Comput., 1996)

Principal typings and type inference. - Trevor Jim (1996)

Shrinking lambda Expressions in Linear Time. - Andrew W. Appel; Trevor Jim (J. Funct. Program., 1997)

Type Inference with Simple Selftypes is NP-complete. - Jens Palsberg; Trevor Jim (Nord. J. Comput., 1997)

Certifying Compilation and Run-Time Code Generation. - Luke Hornof; Trevor Jim (High. Order Symb. Comput., 1999)

A Polar Type System. - Trevor Jim (ICALP Satellite Workshops, 2000)

Certificate Distribution with Local Autonomy. - Pankaj Kakkar; Michael McDougall; Carl A. Gunter; Trevor Jim (IWAN, 2000)

Generalized Certificate Revocation. - Carl A. Gunter; Trevor Jim (POPL, 2000)

Policy-directed certificate retrieval. - Carl A. Gunter; Trevor Jim (Softw. Pract. Exp., 2000)

Dynamically Distributed Query Evaluation. - Trevor Jim; Dan Suciu (PODS, 2001)

SD3: A Trust Management System with Certified Evaluation. - Trevor Jim (S&P, 2001)

Region-Based Memory Management in Cyclone. - Dan Grossman; J. Gregory Morrisett; Trevor Jim; Michael W. Hicks; Yanling Wang; James Cheney (PLDI, 2002)

Cyclone: A Safe Dialect of C. - Trevor Jim; J. Gregory Morrisett; Dan Grossman; Michael W. Hicks; James Cheney; Yanling Wang (USENIX ATC, General Track, 2002)

Compiling for template-based run-time code generation. - Frederick Smith; Dan Grossman; J. Gregory Morrisett; Luke Hornof; Trevor Jim (J. Funct. Program., 2003)

iMobile EE - An Enterprise Mobile Service Platform. - Yih-Farn Chen; Huale Huang; Rittwik Jana; Trevor Jim; Matti A. Hiltunen; Sam John; Serban Jora; Radhakrishnan Muthumanickam; Bin Wei 003 (Wirel. Networks, 2003)

Experience with safe manual memory-management in cyclone. - Michael W. Hicks; J. Gregory Morrisett; Dan Grossman; Trevor Jim (ISMM, 2004)

Authenticated System Calls. - Mohan Rajagopalan; Matti A. Hiltunen; Trevor Jim; Richard D. Schlichting (DSN, 2005)

An Alerting and Notification Service on the AT&T Enterprise Messaging Network. - Serban Jora; Rittwik Jana; Yih-Farn Chen; Matti A. Hiltunen; Trevor Jim; Huale Huang; King Ow; Ashish K. Singh; Radhakrishnan Muthumanickam (EuroIMSA, 2005)

Dependable Distributed Computing Using Free Databases. - Christof Fetzer; Trevor Jim (ISAS, 2005)

Enhancing DNS Security using the SSL Trust Infrastructure. - Christof Fetzer; Gert Pfeifer; Trevor Jim (WORDS, 2005)

Automatic discovery of covariant read-only fields. - Jens Palsberg; Tian Zhao 002; Trevor Jim (ACM Trans. Program. Lang. Syst., 2005)

Safe manual memory management in Cyclone. - Nikhil Swamy; Michael W. Hicks; Greg Morrisett; Dan Grossman; Trevor Jim (Sci. Comput. Program., 2006)

System Call Monitoring Using Authenticated System Calls. - Mohan Rajagopalan; Matti A. Hiltunen; Trevor Jim; Richard D. Schlichting (IEEE Trans. Dependable Secur. Comput., 2006)

Highly distributed XQuery with DXQ. - Mary F. Fernández; Trevor Jim; Kristi Morton; Nicola Onose; Jérôme Siméon (SIGMOD Conference, 2007)

Defeating script injection attacks with browser-enforced embedded policies. - Trevor Jim; Nikhil Swamy; Michael Hicks 001 (WWW, 2007)

DXQ: a distributed XQuery scripting language. - Mary F. Fernández; Trevor Jim; Kristi Morton; Nicola Onose; Jérôme Siméon (XIME-P, 2007)

An Emulation of GENI Access Control. - Soner Sevinc; Larry L. Peterson; Trevor Jim; Mary F. Fernández (CSET, 2009)

Using static analysis for Ajax intrusion detection. - Arjun Guha; Shriram Krishnamurthi; Trevor Jim (WWW, 2009)

Efficient Earley Parsing with Regular Right-hand Sides. - Trevor Jim; Yitzhak Mandelbaum (LDTA, 2009)

Semantics and algorithms for data-dependent grammars. - Trevor Jim; Yitzhak Mandelbaum; David Walker 001 (POPL, 2010)

A New Method for Dependent Parsing. - Trevor Jim; Yitzhak Mandelbaum (ESOP, 2011)

Delayed semantic actions in Yakker. - Trevor Jim; Yitzhak Mandelbaum (LDTA, 2011)

Why is my smartphone slow? On the fly diagnosis of underperformance on the mobile Internet. - Chaitrali Amrutkar; Matti A. Hiltunen; Trevor Jim; Kaustubh R. Joshi; Oliver Spatscheck; Patrick Traynor; Shobha Venkataraman (DSN, 2013)

EyeDecrypt - Private Interactions in Plain Sight. - Andrea G. Forte; Juan A. Garay; Trevor Jim; Yevgeniy Vahlis (IACR Cryptol. ePrint Arch., 2013)

Sapphire: using network gateways for IoT security. - Paul Giura; Trevor Jim (IOT, 2018)