A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

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

• I1
• Garbage collection

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

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

• Artificial neural networks
• Mathematics
• Computational neuroscience
• Applied mathematics
• Mathematical analysis
• Lipschitz continuity
• operator
• Continuous function
• Gradient descent
• Convolutional neural network
• Rectifier
• Deep learning

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Source URL: thev.net

• Software engineering
• Computing
• Programming paradigms
• Evaluation strategy
• Functional programming
• Computer programming
• Concurrent programming languages
• Functional reactive programming
• Reactive programming
• Computer architecture
• Dataflow programming
• Dataflow

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

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

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Source URL: smeiklej.com

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Source URL: www.ieee-security.org

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Source URL: www.prismmodelchecker.org

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

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

• Mathematics
• Temporal logic
• Mathematical analysis
• Mathematical logic
• Formal languages
• Model theory
• Generalized functions
• Computation tree logic
• Logic in computer science
• Linear temporal logic
• Interpretation
• IP

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Source URL: users.cecs.anu.edu.au

• Mathematics
• Heuristics
• Edsger W. Dijkstra
• Automated planning and scheduling
• Mathematical optimization
• Shortest path problem
• Admissible heuristic
• Search algorithm
• Methodology
• Algorithm
• Cognition