Bruce Plante, Tulsa World / Courtesy of AAEC Draw your own conclusions Study the drawing and add a caption to this wordless cartoon. There is no wrong answer, so just be creative!

Source URL: nieonline.com

II. The troubled orbit around Bruce Lee begins with the notion that I do what he did

Source URL: origamipoems.com

• Live
• Orbit
• Bruce Lee
• Martial arts
• Chinese people
• Entertainment

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Type theory
• Declarative programming
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

SDN Use Cases for Service Provider Networks Evolving to an SDN-Enabled ISP Backbone: Key Technologies and Applications Martin Birk, Gagan Choudhury, Bruce Cortez, Alvin Goddard, Narayan Padi, Aswatnarayan Raghuram, Kath

Source URL: www.research.att.com

• Network architecture
• Computing
• Computer architecture
• Network protocols
• Internet architecture
• Computer networking
• Internet protocols
• Multiprotocol Label Switching
• Software-defined networking
• MPLS local protection
• Automatically switched optical network
• OpenFlow

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

Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

Source URL: www.cs.utah.edu

• Discworld
• Literature
• Fiction
• Angua
• Ankh-Morpork
• Troll
• Discworld books
• PICT
• Brutha
• Ankh-Morpork City Watch

Bruce Plante, Tulsa World / Courtesy of AAEC Draw your own conclusions Study the drawing and add a caption to this wordless cartoon. There is no wrong answer, so just be creative!

Source URL: nieonline.com

POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

Source URL: www.ece.northwestern.edu

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers James Larisch∗ Bruce M. Maggs‡ ∗ Northeastern

Source URL: www.ieee-security.org

• Cryptography
• Transport Layer Security
• Public key infrastructure
• Public-key cryptography
• Cryptographic protocols
• Key management
• Online Certificate Status Protocol
• Certificate revocation list
• X.509
• Certificate authority
• OCSP stapling
• Public key certificate