Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Source URL: www.pepper-project.org

• Computational complexity theory
• Logic
• Mathematics
• Randomized algorithms
• Automated theorem proving
• Logic programming
• Probabilistically checkable proof
• IP
• NP
• Substitution
• MAX-3SAT
• operator

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematics
• Group theory
• Graph theory
• Markov chain
• Kazhdan's property
• Stochastic game
• Markov decision process
• Distribution
• -quadratic form

Internet Scale User-Generated Live Video Streaming: The Twitch Case Jie Deng, Gareth Tyson, Felix Cuadrado, and Steve Uhlig Queen Mary University of London, UK {j.deng,gareth.tyson,felix.cuadrado,steve.uhlig}@qmul.ac.uk

Source URL: www.eecs.qmul.ac.uk

• Computing
• Internet broadcasting
• Information and communications technology
• Concurrent computing
• Twitch.tv
• Proxy server
• Server
• Video game live streaming
• Esports
• Video on demand
• Twitch
• Streaming media

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Source URL: kumarde.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Concurrent computing
• Computing
• Distributed computing
• Cross-platform software
• Smart contract
• Solidity
• ERC-20
• CryptoKitties

403 Forbidden: A Global View of CDN Geoblocking Allison McDonald University of Michigan Benjamin VanderSloot

Source URL: ensa.fi

• Computing
• Content delivery networks
• Concurrent computing
• Internet
• Distributed data storage
• Internet security
• Computer networking
• Cloudflare
• Freedom of speech in the United States
• Geo-blocking
• Akamai Technologies
• Amazon CloudFront

FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University

Source URL: inl.info.ucl.ac.be

• Network flow problem
• Physics
• Internet architecture
• Flow network
• Routing
• Work

Time Series Analysis Using NOC Noriaki Kawamae The University of Tokyo 7 Chome-3-1 Hongo, Bunkyo, Tokyo, Japan Japan

Source URL: gdac.uqam.ca

• Computational linguistics
• Linguistics
• Corpus linguistics
• Artificial intelligence
• Statistical natural language processing
• Speech recognition
• Applied linguistics
• Natural language processing
• Topic model
• N-gram
• Time series

Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo

Source URL: icaps16.icaps-conference.org

• Game artificial intelligence
• Routing algorithms
• Computer programming
• Computing
• Mathematics
• Automated planning and scheduling
• Theoretical computer science
• Macro
• Satisficing
• A* search algorithm
• Planning Domain Definition Language
• Heuristic

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

Source URL: staff.bath.ac.uk

• Theoretical computer science
• Logic
• Logic in computer science
• Mathematics
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Uninterpreted function
• Satisfiability
• Solver