Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

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

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Models of computation
• Game theory
• Semantics
• Denotational semantics
• Game semantics
• Determinacy
• Samson Abramsky
• Operational semantics

Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by

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

• Information theory
• Metaphysics
• Physics
• Information
• Information flow
• Entropy
• Leakage
• Mutual information

Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison Borja Balle1 BBALLE @ CS . MCGILL . CA William L Hamilton1

Source URL: stanford.edu

• Algebra
• Linear algebra
• Mathematics
• Matrices
• Functional analysis
• Matrix theory
• Numerical linear algebra
• Singular value decomposition
• Hankel matrix
• Principal component analysis
• Permutation
• Matrix

COSC 544 Probabilistic Proof SystemsA PCP of Quasilinear Size for Arithmetic Circuit-SAT Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Mathematics
• Algebra
• Polynomials
• Probabilistically checkable proof
• Computer algebra
• IP
• Complex number
• MAX-3SAT

CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: people.cs.umass.edu

Bridging the GUI Gap with Reactive Values and Relations Ivan Perez Henrik Nilsson School of Computer Science

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

• Computer programming
• Computing
• Software engineering
• Widget toolkits
• Functional programming
• Graphical user interfaces
• Application programming interfaces
• Evaluation strategy
• Reactive programming
• Widget
• Functional reactive programming
• Tk

Aug’13, SIAM AG’13, Ft. Collins, US.; Oct’13, CS UMinn; Dec’13, Kyushu U; Mar’14, NIST; Feb’15, Quantum-Resilient Crypto, Fukuoka; Aug’15: SIAM AG’15, Daejeon, KR. Professional Visits: • :

Source URL: precision.moscito.org

arXiv:1305.3199v1 [cs.CR] 14 MayScrambleSuit: A Polymorph Network Protocol to Circumvent Censorship Philipp Winter

Source URL: arxiv.org

• Computing
• Data transmission
• Network architecture
• Internet protocols
• Internet privacy
• Computer network security
• Cryptographic protocols
• Network protocols
• SOCKS
• Deep packet inspection
• Transmission Control Protocol
• Password Authentication Protocol

Full-System Power Analysis and Modeling for Server Environments Dimitris Economou, Suzanne Rivoire, Christos Kozyrakis Partha Ranganathan

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Computer architecture
• Server hardware
• Cluster computing
• Computers and the environment
• Blade server
• Server
• Power management
• Data center
• Itanium
• Embedded system

NetChain: Scale-Free Sub-RTT Coordination Xin Jin1 , Xiaozhou Li2 , Haoyu Zhang3 , Nate Foster2,4 , Jeongkeun Lee2 , Robert Soul´e2,5 , Changhoon Kim2 , Ion Stoica6 1 Johns Hopkins University, 2 Barefoot Networks, 3 Pr

Source URL: www.cs.jhu.edu

• Information and communications technology
• Computing
• Ethernet
• Internet architecture
• Computer network
• Telecommunications engineering
• Network switch
• Low latency
• Routing
• Node
• Replication
• Information Age