Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Component-based software engineering
• Inter-process communication
• C++
• Component Object Model
• Inline function
• ECO
• Scope
• C standard library

G REEN T HUMB: Superoptimizer Construction Framework Phitchaya Mangpo Phothilimthana Aditya Thakur

Source URL: pl.eecs.berkeley.edu

• Computing
• Software engineering
• Computer programming
• Compiler optimizations
• Compiler construction
• Programming language implementation
• Superoptimization
• Peephole optimization
• Optimizing compiler
• Compiler
• Pin
• Mathematical optimization

Brief Announcement: On the Resilience of Routing Tables Joan Feigenbaum Brighten Godfrey

Source URL: people.eecs.berkeley.edu

• Routing
• Computing
• Internet architecture
• Network architecture
• Information and communications technology
• Routing table
• IP routing
• Forwarding information base
• Packet forwarding
• Forwarding
• Computer network
• Router

STUDENT PARTICIPANT RELEASE FORM I want to participate in the Carnegie Mellon University Africa “CMU-Africa” Host Family Program. I understand that I will be matched with a host or host family from the Kigali area t

Source URL: www.africa.engineering.cmu.edu

• Carnegie Mellon University
• Host family

c Copyright 2018 Eric Mullen Pushing the Limits of Compiler Verification

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Formal methods
• Logic in computer science
• Theoretical computer science
• Compilers
• Compiler correctness
• CompCert
• Formal verification
• Compiler

Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Functional languages
• Programming languages
• Lisp
• Cross-platform software
• Racket
• Scheme
• Literate programming
• Anonymous function

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy NOVEMBER 2016 VOLUME 74, NUMBER 11

Source URL: www.mississippi.edu

Learning gem5 – Part I Getting started with gem5 Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Fiction
• Software
• Computer programming
• Build automation
• Compiling tools
• Jason Voorhees
• Computer
• Friday the 13th
• SCons
• Git

Mrs.Z: Improving ZigBee Throughput via Multi-Rate Transmission Yifeng Cao∗ , Linghe Kong∗ , Liang He† , Guihai Chen∗ , Min-You Wu∗ , Tian He‡ ∗ Shanghai Jiao Tong University, China

Source URL: wirelesslab.sjtu.edu.cn

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list