Search results for "Trevor Jim"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Trevor Jim, Yitzhak Mandelbaum	Delayed semantic actions in Yakker.	LDTA	2011	DBLP DOI BibTeX RDF
1	Trevor Jim, Yitzhak Mandelbaum	A New Method for Dependent Parsing.	ESOP	2011	DBLP DOI BibTeX RDF
1	Trevor Jim, Yitzhak Mandelbaum	Efficient Earley Parsing with Regular Right-hand Sides.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Trevor Jim, Yitzhak Mandelbaum, David Walker	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
1	Arjun Guha, Shriram Krishnamurthi, Trevor Jim	Using static analysis for Ajax intrusion detection.	WWW	2009	DBLP DOI BibTeX RDF	intrusion detection, javascript, Ajax, control-flow analysis
1	Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon	DXQ: a distributed XQuery scripting language.	XIME-P	2007	DBLP DOI BibTeX RDF
1	Trevor Jim, Nikhil Swamy, Michael Hicks	Defeating script injection attacks with browser-enforced embedded policies.	WWW	2007	DBLP DOI BibTeX RDF	script injection, cross-site scripting, web application security
1	Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon	Highly distributed XQuery with DXQ.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	XML, protocols, distribution, XQuery
1	Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting	System Call Monitoring Using Authenticated System Calls.	IEEE Trans. Dependable Sec. Comput.	2006	DBLP DOI BibTeX RDF	operating systems, security policy, Intrusion tolerance, compiler techniques, sandboxing
1	Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim	Safe manual memory management in Cyclone.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	Jens Palsberg, Tian Zhao, Trevor Jim	Automatic discovery of covariant read-only fields.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	constraints, Types
1	Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, Richard D. Schlichting	Authenticated System Calls.	DSN	2005	DBLP DOI BibTeX RDF
1	Christof Fetzer, Gert Pfeifer, Trevor Jim	Enhancing DNS Security using the SSL Trust Infrastructure.	WORDS	2005	DBLP DOI BibTeX RDF
1	Christof Fetzer, Trevor Jim	Dependable Distributed Computing Using Free Databases.	ISAS	2005	DBLP DOI BibTeX RDF
1	Serban Jora, Rittwik Jana, Yih-Farn Chen, Matti A. Hiltunen, Trevor Jim, Huale Huang, King Ow, Ashish K. Singh, Radhakrishnan Muthumanickam	An Alerting and Notification Service on the AT&T Enterprise Messaging Network.	EuroIMSA	2005	DBLP BibTeX RDF
1	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim	Experience with safe manual memory-management in cyclone.	ISMM	2004	DBLP DOI BibTeX RDF	unique pointers, memory management, regions, memory safety, cyclone
1	Yih-Farn Chen, Huale Huang, Rittwik Jana, Trevor Jim, Matti A. Hiltunen, Sam John, Serban Jora, Radhakrishnan Muthumanickam, Bin Wei	iMobile EE - An Enterprise Mobile Service Platform.	Wireless Networks	2003	DBLP DOI BibTeX RDF
1	Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim	Compiling for template-based run-time code generation.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
1	Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney	Region-Based Memory Management in Cyclone.	PLDI	2002	DBLP DOI BibTeX RDF
1	Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang	Cyclone: A Safe Dialect of C.	USENIX Annual Technical Conference, General Track	2002	DBLP BibTeX RDF
1	Trevor Jim	SD3: A Trust Management System with Certified Evaluation. (PDF / PS)	IEEE Symposium on Security and Privacy	2001	DBLP DOI BibTeX RDF
1	Trevor Jim, Dan Suciu	Dynamically Distributed Query Evaluation. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
1	Carl A. Gunter, Trevor Jim	Policy-directed certificate retrieval.	Softw., Pract. Exper.	2000	DBLP DOI BibTeX RDF
1	Trevor Jim	A Polar Type System.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
1	Carl A. Gunter, Trevor Jim	Generalized Certificate Revocation.	POPL	2000	DBLP DOI BibTeX RDF
1	Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim	Certificate Distribution with Local Autonomy.	IWAN	2000	DBLP DOI BibTeX RDF	certificate distribution, local autonomy, ABone, QCM, Query Certificate Manager, access control, Security policy, active networks
1	Luke Hornof, Trevor Jim	Certifying Compilation and Run-Time Code Generation.	Higher-Order and Symbolic Computation	1999	DBLP DOI BibTeX RDF
1	Luke Hornof, Trevor Jim	Certifying Compilation and Run-Time Code Generation.	PEPM	1999	DBLP BibTeX RDF
1	Jens Palsberg, Trevor Jim	Type Inference with Simple Selftypes is NP-complete.	Nord. J. Comput.	1997	DBLP BibTeX RDF
1	Andrew W. Appel, Trevor Jim	Shrinking lambda Expressions in Linear Time.	J. Funct. Program.	1997	DBLP BibTeX RDF
1	Trevor Jim, Albert R. Meyer	Full Abstraction and the Context Lemma.	SIAM J. Comput.	1996	DBLP DOI BibTeX RDF
1	Trevor Jim	What Are Principal Typings and What Are They Good For?	POPL	1996	DBLP DOI BibTeX RDF
1	Trevor Jim, Albert R. Meyer	Full Abstraction and the Context Lemma.	TACS	1991	DBLP DOI BibTeX RDF
1	Andrew W. Appel, Trevor Jim	Continuation-Passing, Closure-Passing Style.	POPL	1989	DBLP DOI BibTeX RDF	ML

Publications of "Trevor Jim" ( http://dblp.L3S.de/Authors/Trevor_Jim )