When the Cure is Worse than the Disease: the Impact of Graceful IGP Operations on BGP Laurent Vanbever† , Stefano Vissicchio† , Luca Cittadini∗ , and Olivier Bonaventure† † †

Source URL: www0.cs.ucl.ac.uk

COSC 544 Probabilistic Proof SystemsThe Power of Randomness: Fingerprinting and Freivalds’ Algorithm Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Computational complexity theory
• Randomized algorithms
• Analysis of algorithms
• With high probability
• PP
• IP
• RP
• P
• Freivalds' algorithm

Snuggle: Designing for efficient socialization and ideological critique Aaron Halfaker Research & Data Wikimedia Foundation

Source URL: www-users.cs.umn.edu

• Social information processing
• Humancomputer interaction
• Human behavior
• Collaboration
• Human resource management
• Communities
• Wikipedia community
• Wikipedia
• Digital media
• Wiki
• Socialization
• Feminist HCI

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal languages
• Logic in computer science
• Runtime verification
• Finite-state machine
• Geographic information system
• Regular expression
• Software engineering
• Computing

Overview Groundwork Functional Transducers

Source URL: www.cs.purdue.edu

• Finite automata
• Finite-state transducer
• Lipschitz continuity
• Computability

Runtime Monitoring Quantified Event Automata Efficient monitoring

Source URL: www.cs.man.ac.uk

• Formal methods
• Logic in computer science
• Runtime verification
• Marq
• Monitoring
• System programming
• Computing
• Computer science

Motivation Overview Approach

Source URL: www.cs.purdue.edu

• Debugging
• Software bug
• Motivation
• Computer programming
• Artificial intelligence
• Technology
• Psychology
• Neuroscience

Cost-Sharing Methods for Scheduling Games under Uncertainty

Source URL: www.cs.drexel.edu

• Game theory
• Price of anarchy
• Price of stability
• Communication protocol
• Cost-sharing mechanism
• IP
• Cooperative game theory
• Congestion game
• Nash equilibrium

Theophilus Benson Webpage: http://www.cs.brown.edu/∼tab Contact Info Email:

Source URL: cs.brown.edu

• Aditya Akella
• SIGCOMM
• Benson
• Computer science

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic