Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Disk file systems
• C POSIX library
• System calls
• Application programming interfaces
• Ext4
• Sync
• POSIX
• Ext3
• File system

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Source URL: www.ieee-security.org

• Computer architecture
• System software
• Operating system kernels
• Linux kernel
• Monolithic kernels
• Kernel
• Loadable kernel module
• Protection ring
• Operating system
• Mach
• Rootkit
• Mandatory access control

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

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

• BitTorrent
• Peer-to-peer file sharing
• File sharing
• Computing
• Comparison of BitTorrent clients
• Torrent file
• The Pirate Bay
• Copyright infringement
• Peer-to-peer
• Peer exchange
• Torrent poisoning

Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening

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

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Numerical linear algebra
• Eigendecomposition of a matrix
• Eigenvalues and eigenvectors
• Matrix
• State-space representation
• Lanczos algorithm
• Eigenvalue perturbation

LOGISTICS Workshop participants will: SONIC WORKSHOP OVERVIEW State-of-the-art cloud computing and networks require stateof-the-art methodologies to understand and secure them,

Source URL: webedit.cs.cornell.edu

• Cloud infrastructure
• Cloud computing
• Mobile cloud computing

Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington

Source URL: chenglongwang.org

Seamless Network-Wide IGP Migrations Laurent Vanbever∗, Stefano Vissicchio†, Cristel Pelsser‡, Pierre Francois∗, Olivier Bonaventure∗ ∗ Université catholique de Louvain † Roma Tre University ‡ Internet

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

• Computing
• Network architecture
• Routing protocols
• Data transmission
• Internet Standards
• Internet architecture
• Routing
• Internet protocols
• Open Shortest Path First
• Distance-vector routing protocol
• Interior gateway protocol
• Router

Central Control Over Distributed Routing http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗

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

• Computing
• Network architecture
• Routing protocols
• Internet architecture
• Data transmission
• Internet Standards
• Internet protocols
• Routing algorithms
• Routing
• Link-state routing protocol
• IS-IS
• Open Shortest Path First

COSC 544 Probabilistic Proof SystemsPCPs and Succinct Arguments Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• Randomized algorithms
• Probabilistically checkable proof
• IP
• NP
• Zero-knowledge proof
• Soundness
• Interactive proof system
• Zero knowledge
• Commitment scheme

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

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

• Mathematical analysis
• Mathematics
• Experiment
• Information theory
• Statistical theory
• Measure theory
• Random variable
• Statistical randomness
• Sigma-algebra
• Probability distribution
• Joint probability distribution
• Probability space