Trevor Jim

According to our database, Trevor Jim authored at least 37 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Sapphire: using network gateways for IoT security.

Paul Giura, Trevor Jim

Proceedings of the 8th International Conference on the Internet of Things, 2018

2013

EyeDecrypt - Private Interactions in Plain Sight.

Andrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis

IACR Cryptol. ePrint Arch., 2013

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

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2011

Delayed semantic actions in Yakker.

Trevor Jim, Yitzhak Mandelbaum

Proceedings of the Language Descriptions, Tools and Applications, 2011

A New Method for Dependent Parsing.

Trevor Jim, Yitzhak Mandelbaum

Proceedings of the Programming Languages and Systems, 2011

2010

Semantics and algorithms for data-dependent grammars.

Trevor Jim, Yitzhak Mandelbaum, David Walker

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Efficient Earley Parsing with Regular Right-hand Sides.

Trevor Jim, Yitzhak Mandelbaum

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Using static analysis for Ajax intrusion detection.

Arjun Guha, Shriram Krishnamurthi, Trevor Jim

Proceedings of the 18th International Conference on World Wide Web, 2009

An Emulation of GENI Access Control.

Soner Sevinc, Larry L. Peterson, Trevor Jim, Mary F. Fernández

Proceedings of the 2nd Workshop on Cyber Security Experimentation and Test, 2009

2007

DXQ: a distributed XQuery scripting language.

Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon

Proceedings of the 4th International Workshop on XQuery Implementation, 2007

Defeating script injection attacks with browser-enforced embedded policies.

Trevor Jim, Nikhil Swamy, Michael Hicks

Proceedings of the 16th International Conference on World Wide Web, 2007

Highly distributed XQuery with DXQ.

Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

2006

System Call Monitoring Using Authenticated System Calls.

Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting

IEEE Trans. Dependable Secur. Comput., 2006

Safe manual memory management in Cyclone.

Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Sci. Comput. Program., 2006

2005

Automatic discovery of covariant read-only fields.

Jens Palsberg, Tian Zhao, Trevor Jim

ACM Trans. Program. Lang. Syst., 2005

Enhancing DNS Security using the SSL Trust Infrastructure.

Christof Fetzer, Gert Pfeifer, Trevor Jim

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Dependable Distributed Computing Using Free Databases.

Christof Fetzer, Trevor Jim

Proceedings of the Service Availability, 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

Proceedings of the Internet and Multimedia Systems and Applications, 2005

Authenticated System Calls.

Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Experience with safe manual memory-management in cyclone.

Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim

Proceedings of the 4th International Symposium on Memory Management, 2004

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

Wirel. Networks, 2003

Compiling for template-based run-time code generation.

Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim

J. Funct. Program., 2003

2002

Cyclone: A Safe Dialect of C.

Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Region-Based Memory Management in Cyclone.

Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

SD3: A Trust Management System with Certified Evaluation.

Trevor Jim

Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

Dynamically Distributed Query Evaluation.

Trevor Jim, Dan Suciu

Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

2000

Policy-directed certificate retrieval.

Carl A. Gunter, Trevor Jim

Softw. Pract. Exp., 2000

Generalized Certificate Revocation.

Carl A. Gunter, Trevor Jim

Proceedings of the POPL 2000, 2000

Certificate Distribution with Local Autonomy.

Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim

Proceedings of the Active Networks, Second International Working Conference, 2000

A Polar Type System.

Trevor Jim

Proceedings of the ICALP Workshops 2000, 2000

1999

Certifying Compilation and Run-Time Code Generation.

Luke Hornof, Trevor Jim

High. Order Symb. Comput., 1999

1997

Type Inference with Simple Selftypes is NP-complete.

Jens Palsberg, Trevor Jim

Nord. J. Comput., 1997

Shrinking lambda Expressions in Linear Time.

Andrew W. Appel, Trevor Jim

J. Funct. Program., 1997

1996

Principal typings and type inference.

Trevor Jim

PhD thesis, 1996

Full Abstraction and the Context Lemma.

Trevor Jim, Albert R. Meyer

SIAM J. Comput., 1996

What Are Principal Typings and What Are They Good For?

Trevor Jim

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1989

Continuation-Passing, Closure-Passing Style.

Andrew W. Appel, Trevor Jim

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989