Trevor Jim

40 papers A* 8A 3C 2Misc 1Journal 11Unranked 14
YearRankTypeTitle / Venue / Authors
2018 — conf
Sapphire: using network gateways for IoT security.
IOT
Paul Giura, Trevor Jim
2014 Misc conf
EyeDecrypt - Private Interactions in Plain Sight.
SCN
Andrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis
2013 J jnl
EyeDecrypt - Private Interactions in Plain Sight.
IACR Cryptol. ePrint Arch.
Andrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis
2013 A conf
Why is my smartphone slow? On the fly diagnosis of underperformance on the mobile Internet.
DSN
Chaitrali Amrutkar, Matti A. Hiltunen, Trevor Jim, Kaustubh R. Joshi, Oliver Spatscheck, Patrick Traynor, Shobha Venkataraman
2011 A conf
A New Method for Dependent Parsing.
ESOP
Trevor Jim, Yitzhak Mandelbaum
2011 — conf
Delayed semantic actions in Yakker.
LDTA
Trevor Jim, Yitzhak Mandelbaum
2010 A* conf
Semantics and algorithms for data-dependent grammars.
POPL
Trevor Jim, Yitzhak Mandelbaum, David Walker
2009 — conf
An Emulation of GENI Access Control.
CSET
Soner Sevinc, Larry L. Peterson, Trevor Jim, Mary F. Fernández
2009 — conf
Efficient Earley Parsing with Regular Right-hand Sides.
LDTA
Trevor Jim, Yitzhak Mandelbaum
2009 A* conf
Using static analysis for Ajax intrusion detection.
WWW
Arjun Guha, Shriram Krishnamurthi, Trevor Jim
2007 — conf
DXQ: a distributed XQuery scripting language.
XIME-P
Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon
2007 A* conf
Defeating script injection attacks with browser-enforced embedded policies.
WWW
Trevor Jim, Nikhil Swamy, Michael Hicks
2007 — conf
Highly distributed XQuery with DXQ.
SIGMOD Conference
Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon
2006 J jnl
Safe manual memory management in Cyclone.
Sci. Comput. Program.
Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
2006 J jnl
System Call Monitoring Using Authenticated System Calls.
IEEE Trans. Dependable Secur. Comput.
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting
2005 — conf
An Alerting and Notification Service on the AT&T Enterprise Messaging Network.
EuroIMSA
Serban Jora, Rittwik Jana, Yih-Farn Chen, Matti A. Hiltunen, Trevor Jim, Huale Huang, King Ow, Ashish K. Singh, Radhakrishnan Muthumanickam
2005 A conf
Authenticated System Calls.
DSN
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting
2005 J jnl
Automatic discovery of covariant read-only fields.
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Tian Zhao, Trevor Jim
2005 — conf
Dependable Distributed Computing Using Free Databases.
ISAS
Christof Fetzer, Trevor Jim
2005 — conf
Enhancing DNS Security using the SSL Trust Infrastructure.
WORDS
Christof Fetzer, Gert Pfeifer, Trevor Jim
2004 C conf
Experience with safe manual memory-management in cyclone.
ISMM
Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
2003 J jnl
Compiling for template-based run-time code generation.
J. Funct. Program.
Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
2003 J jnl
iMobile EE - An Enterprise Mobile Service Platform.
Wirel. Networks
Yih-Farn Chen, Huale Huang, Rittwik Jana, Trevor Jim, Matti A. Hiltunen, Sam John, Serban Jora, Radhakrishnan Muthumanickam, Bin Wei
2002 — conf
Cyclone: A Safe Dialect of C.
USENIX ATC, General Track
Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
2002 A* conf
Region-Based Memory Management in Cyclone.
PLDI
Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
2001 A* conf
Dynamically Distributed Query Evaluation.
PODS
Trevor Jim, Dan Suciu
2001 — conf
SD3: A Trust Management System with Certified Evaluation.
S&P
Trevor Jim
2000 — conf
A Polar Type System.
ICALP Satellite Workshops
Trevor Jim
2000 — conf
Certificate Distribution with Local Autonomy.
IWAN
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim
2000 A* conf
Generalized Certificate Revocation.
POPL
Carl A. Gunter, Trevor Jim
2000 J jnl
Policy-directed certificate retrieval.
Softw. Pract. Exp.
Carl A. Gunter, Trevor Jim
1999 C conf
Certifying Compilation and Run-Time Code Generation.
PEPM
Luke Hornof, Trevor Jim
1999 J jnl
Certifying Compilation and Run-Time Code Generation.
High. Order Symb. Comput.
Luke Hornof, Trevor Jim
1997 J jnl
Shrinking lambda Expressions in Linear Time.
J. Funct. Program.
Andrew W. Appel, Trevor Jim
1997 J jnl
Type Inference with Simple Selftypes is NP-complete.
Nord. J. Comput.
Jens Palsberg, Trevor Jim
1996 J jnl
Full Abstraction and the Context Lemma.
SIAM J. Comput.
Trevor Jim, Albert R. Meyer
1996 — —
Principal typings and type inference.
Trevor Jim
1996 A* conf
What Are Principal Typings and What Are They Good For?
POPL
Trevor Jim
1991 — conf
Full Abstraction and the Context Lemma.
TACS
Trevor Jim, Albert R. Meyer
1989 A* conf
Continuation-Passing, Closure-Passing Style.
POPL
Andrew W. Appel, Trevor Jim