Back to Results
First PageMeta Content
Generic programming / C++ / Predicate logic / Predicate / Semantics / Template / Partial evaluation / Specialization / Software engineering / Logic / Computing


Specialization Tools and Techniques for Systematic Optimization of System Software DYLAN MCNAMEE, JONATHAN WALPOLE, CALTON PU, CRISPIN COWAN, CHARLES KRASIC, ASHVIN GOEL, and PERRY WAGLE Oregon Graduate Institute of Scie
Add to Reading List

Document Date: 2004-09-04 03:34:36

Open Document

File Size: 174,33 KB

Share Result on Facebook

Company

ACM Inc. / Silicon Graphics / /

Currency

USD / /

Event

Reorganization / /

Facility

RENAULD MARLET University of Rennes/IRISA Specialization / PERRY WAGLE Oregon Graduate Institute of Science / Oregon Graduate Institute of Science / University of Rennes/IRISA / /

IndustryTerm

kernel developer / memory protection hardware / individual applications / type-based guarding tool / software architecture / naive solution / /

OperatingSystem

BSD / Linux / /

Organization

RENAULD MARLET University of Rennes/IRISA Specialization / PERRY WAGLE Oregon Graduate Institute of Science & Technology / Department of Computer Science and Engineering / University of Rennes/IRISA / Oregon Graduate Institute of Science & Technology / /

Person

ASHVIN GOEL / JONATHAN WALPOLE / CHARLES KRASIC / PERRY WAGLE / CRISPIN COWAN / CHARLES CONSEL / GILLES MULLER / /

Position

guard / Design General / BSD packet filter interpreter / partial evaluator / software guard / Berkeley packet filter interpreter / and Sun RPC / Tempo partial evaluator / /

ProgrammingLanguage

DYLAN / C / /

ProvinceOrState

Oregon / /

Technology

object-oriented programming / Linux / operating system / virtual memory / operating systems / /

SocialTag