Trevor Jim - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2018

Sapphire: using network gateways for IoT securityPaul Giura, Trevor Jim. iot 2018: [doi]

2014

EyeDecrypt - Private Interactions in Plain SightAndrea G. Forte, Juan A. Garay, Trevor Jim, Yevgeniy Vahlis. scn 2014: 255-276 [doi]

2013

Why is my smartphone slow? On the fly diagnosis of underperformance on the mobile InternetChaitrali Amrutkar, Matti A. Hiltunen, Trevor Jim, Kaustubh R. Joshi, Oliver Spatscheck, Patrick Traynor, Shobha Venkataraman. dsn 2013: 1-8 [doi]

EyeDecrypt - Private Interactions in Plain SightAndrea Forte, Juan Garay, Trevor Jim, Yevgeniy Vahlis. iacr, 2013:590, 2013. [doi]

2011

Delayed semantic actions in YakkerTrevor Jim, Yitzhak Mandelbaum. LDTA 2011: 8 [doi]

A New Method for Dependent ParsingTrevor Jim, Yitzhak Mandelbaum. ESOP 2011: 378-397 [doi]

2010

Efficient Earley Parsing with Regular Right-hand SidesTrevor Jim, Yitzhak Mandelbaum. ENTCS, 253(7):135-148, 2010. [doi]

Semantics and algorithms for data-dependent grammarsTrevor Jim, Yitzhak Mandelbaum, David Walker. POPL 2010: 417-430 [doi]

2009

Using static analysis for Ajax intrusion detectionArjun Guha, Shriram Krishnamurthi, Trevor Jim. WWW 2009: 561-570 [doi]

An Emulation of GENI Access ControlSoner Sevinc, Larry L. Peterson, Trevor Jim, Mary F. Fernández. uss 2009: [doi]

2007

2006

System Call Monitoring Using Authenticated System CallsMohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting. tdsc, 3(3):216-229, 2006. [doi]

Safe manual memory management in CycloneNikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim. SCP, 62(2):122-144, 2006. [doi]

2005

2004

Experience with safe manual memory-management in cycloneMichael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim. iwmm 2004: 73-84 [doi]

2003

iMobile EE - An Enterprise Mobile Service PlatformYih-Farn Chen, Huale Huang, Rittwik Jana, Trevor Jim, Matti A. Hiltunen, Sam John, Serban Jora, Radhakrishnan Muthumanickam, Bin Wei. winet, 9(4):283-297, 2003.

Compiling for template-based run-time code generationFrederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim. JFP, 13(3):677-708, 2003. [doi]

2002

Region-Based Memory Management in CycloneDan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney. PLDI 2002: 282-293 [doi]

Cyclone: A Safe Dialect of CTrevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang. usenix 2002: 275-288 [doi]

2001

SD3: A Trust Management System with Certified EvaluationTrevor Jim. sp 2001: 106-115 [doi]

Dynamically Distributed Query EvaluationTrevor Jim, Dan Suciu. PODS 2001: [doi]

2000

Generalized Certificate RevocationCarl A. Gunter, Trevor Jim. POPL 2000: 316-329 [doi]

Policy-directed certificate retrievalCarl A. Gunter, Trevor Jim. SPE, 30(15):1609-1640, 2000.

A Polar Type SystemTrevor Jim. icalp 2000: 323-338

Certificate Distribution with Local AutonomyPankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim. iwan 2000: 277-295 [doi]

1999

Certifying Compilation and Run-Time Code GenerationLuke Hornof, Trevor Jim. lisp, 12(4):337-375, 1999.

Certifying Compilation and Run-Time Code GenerationLuke Hornof, Trevor Jim. PEPM 1999: 60-74

1997

Shrinking lambda Expressions in Linear TimeAndrew W. Appel, Trevor Jim. JFP, 7(5):515-540, 1997.

Type Inference with Simple Selftypes is NP-completeJens Palsberg, Trevor Jim. njc, 4(2):259-286, 1997.

1996

Full Abstraction and the Context LemmaTrevor Jim, Albert R. Meyer. SICOMP, 25(3):663-696, 1996.

What Are Principal Typings and What Are They Good For?Trevor Jim. POPL 1996: 42-53 [doi]

Principal typings and type inferenceTrevor Jim. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1996. [doi]

1991

Full Abstraction and the Context LemmaTrevor Jim, Albert R. Meyer. tacs 1991: 131-151

1989

Continuation-Passing, Closure-Passing StyleAndrew W. Appel, Trevor Jim. POPL 1989: 293-302

Sign in or sign up to see more results.

runs on WebDSL