Do Cascades Recur? Justin Cheng1 , Lada A Adamic2 , Jon Kleinberg3 , Jure Leskovec4 1,4 1,4 Stanford University, 2 Facebook, 3 Cornell University

Source URL: gdac.uqam.ca

Catching the Microburst Culprits with Snappy Xiaoqi Chen Princeton University

Source URL: www.research.att.com

• Statistical randomness
• Meteorology
• Scheduling algorithms
• Operations research
• Computing
• Network performance
• Computer networking
• Abstract data types
• Queue
• Monitor
• FIFO
• Scheduling

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang University of Washington Joint work with: Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Computing
• Information retrieval
• SQL
• Relational database management systems
• Query languages
• Database management systems
• Select
• SQL syntax
• Null

Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers Gabriel Kaptchuk Johns Hopkins University

Source URL: eprint.iacr.org

• Cryptocurrencies
• Cryptography
• Computing
• Blockchains
• Economy
• Decentralization
• Alternative currencies
• Cryptographic protocols
• Secure multi-party computation
• Bitcoin
• Digital signature
• Ledger

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst

Source URL: zhang-sai.github.io

• Economy
• Business
• Graphical user interface
• Software architecture
• Workflow

THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati

Source URL: eta.impa.br

• Computational complexity theory
• Mathematics
• Theoretical computer science
• Complexity classes
• Analysis of algorithms
• Quantum computing
• Linear programming
• Simplex algorithm
• Quantum algorithm
• P versus NP problem
• Quantum supremacy
• Time complexity

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

Bo Waggoner Curriculum vitae Postdoctoral Fellow, The Warren Center for Network and Data Sciences University of Pennsylvania November 2017

Source URL: www.bowaggoner.com

• Artificial intelligence
• Computer science
• Computing
• Association for Computing Machinery
• Association for the Advancement of Artificial Intelligence
• Michael Kearns
• Symposium on Discrete Algorithms
• Human-based computation
• Conference on Neural Information Processing Systems

Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Ergodic theory
• Lie algebras
• Stochastic processes