9 Refactoring Using Type Constraints FRANK TIP and ROBERT M. FUHRER, IBM T. J. Watson Research Center ˙ ADAM KIEZUN

Source URL: users.elis.ugent.be

FRiDAY QUiZ April 13, 2012 1 With which sport would you principally associate Jonjo O’Neill, who was born in County Cork on this day in 1952? 2 Sir Robert Alexander Watson-Watt, who was born in Brechin on this day

Source URL: fridayquiz.weebly.com

Capsicum: practical capabilities for UNIX Robert N. M. Watson University of Cambridge Jonathan Anderson University of Cambridge

Source URL: css.csail.mit.edu

Design and Implementation of the TrustedBSD MAC Framework Robert Watson, Brian Feldman, Adam Migus, Chris Vance Network Associates LaboratoriesOmega Drive, Suit 300 Rockville, MD 20850

Source URL: www.trustedbsd.org

Capsicum: practical capabilities for UNIX Robert N. M. Watson University of Cambridge Jonathan Anderson University of Cambridge

Source URL: www.trustedbsd.org

Introduction to Multithreading and Multiprocessing in the FreeBSD SMPng Network Stack Robert N. M. Watson Computer Laboratory University of Cambridge

Source URL: www.watson.org

IBM T.J. Watson Research Center Multiple Page Size Modeling and Optimization Calin Cascaval, Evelyn Duesterwald, Peter F. Sweeney, and Robert W. Wisniewski

Source URL: pact05.ce.ucsc.edu

Capsicum: practical capabilities for UNIX Robert N. M. Watson University of Cambridge Jonathan Anderson University of Cambridge

Source URL: www.usenix.org

Capsicum working group summary Robert N.M. Watson University of Cambridge FreeBSD Developer Summit

Source URL: www.cl.cam.ac.uk

Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center

Source URL: www.cs.columbia.edu

• Computing
• Computer programming
• Concurrency control
• Software engineering
• Software design patterns
• Concurrency
• Edsger W. Dijkstra
• Concurrent computing
• Synchronization
• Thread-local storage
• Java memory model
• Thread