Trevor Jim Papers on DiSC'02 Dynamically Distributed Query Evaluation Publications Note: Links lead to the DBLP on the Web. Trevor Jim 15 Dan Grossman , J. Gregory Morrisett , Trevor Jim, Michael W. Hicks , Yanling Wang , James Cheney : Region-Based Memory Management in Cyclone. PLDI 2002 : 282-293 14 Trevor Jim: SD3: A Trust Management System with Certified Evaluation. IEEE Symposium on Security and Privacy 2001 : 106-115 13 Trevor Jim, Dan Suciu : Dynamically Distributed Query Evaluation. PODS 2001 12 Trevor Jim: A Polar Type System. ICALP Satellite Workshops 2000 : 323-338 11 Pankaj Kakkar , Michael McDougall , Carl A. Gunter , Trevor Jim: Certificate Distribution with Local Autonomy. IWAN 2000 : 277-295 10 Carl A. Gunter , Trevor Jim: Generalized Certificate Revocation. POPL 2000 : 316-329 9 Carl A. Gunter , Trevor Jim: Policy-directed certificate retrieval. Software - Practice and Experience 30 (15): 1609-1640 (2000) 8 Luke Hornof , Trevor Jim: Certifying Compilation and Run-Time Code Generation. PEPM 1999 : 60-74 7 Luke Hornof , Trevor Jim: Certifying Compilation and Run-Time Code Generation. Higher-Order and Symbolic Computation 12 (4): 337-375 (1999) 6 Andrew W. Appel , Trevor Jim: Shrinking lambda Expressions in Linear Time. Journal of Functional Programming 7 (5): 515-540 (1997) 5 Jens Palsberg , Trevor Jim: Type Inference with Simple Selftypes is NP-complete. Nordic Journal of Computing 4 (2): 259-286 (1997) 4 Trevor Jim: What Are Principal Typings and What Are They Good For? POPL 1996 : 42-53 3 Trevor Jim, Albert R. Meyer : Full Abstraction and the Context Lemma. SIAM J. Comput. 25 (3): 663-696 (1996) 2 Trevor Jim, Albert R. Meyer : Full Abstraction and the Context Lemma. TACS 1991 : 131-151 1 Andrew W. Appel , Trevor Jim: Continuation-Passing, Closure-Passing Style. POPL 1989 : 293-302 DiSC'02 © 2003 Association for Computing Machinery