What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2

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

• Computing
• Open formats
• Markup languages
• Formal methods
• Debugging
• Logic in computer science
• Runtime verification
• Tracing
• Comma-separated values
• Exception handling
• Database
• Data logger

Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2

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

• Theoretical computer science
• Formal methods
• Logic in computer science
• Bisimulation
• Applied mathematics
• Mathematics
• Scheduling
• Transition system
• -calculus

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

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

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1

Source URL: spiral.imperial.ac.uk

• Humancomputer interaction
• Artificial intelligence
• Robot control
• Virtual reality
• Multimodal interaction
• Video game controllers
• Robot navigation
• Haptic technology
• Haptic perception
• Simultaneous localization and mapping
• Occupancy grid mapping
• Kalman filter

An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

Characterizing and Subsetting Big Data Workloads Zhen Jia1,2 , Jianfeng Zhan 1 1*

Source URL: prof.ict.ac.cn

• Computing
• Big data
• Computer architecture
• Hadoop
• Cloud infrastructure
• Central processing unit
• Computer memory
• Apache Software Foundation
• Translation lookaside buffer
• CPU cache
• Vertica
• Apache Hadoop

First Year Report Ivan Perez University of Nottingham 2

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

• Computing
• Graphical user interfaces
• Software
• System software
• Programming paradigms
• Widget toolkits
• Reactive programming
• Widget
• Functional programming
• Ext JS
• Software widget
• User interface markup language

Programming Discrete Distributions with Chemical Reaction Networks∗ Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 2

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

• Mathematical analysis
• Mathematics
• Statistical theory
• Poisson distribution
• Distribution
• Probability distribution
• Binomial distribution
• Markov chain
• Uniform distribution
• Random variable

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

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

• Cardiac electrophysiology
• Medicine
• Physiology
• Circulatory system
• Artificial cardiac pacemaker
• QT interval
• Electrocardiography
• Heart arrhythmia
• Cardiac pacemaker
• Atrioventricular block
• Pacing

Paper Title* (use style: paper title) Subtitle as needed (paper subtitle) Authors Name/s per 1st Affiliation (Author) line 1 (of Affiliation): dept. name of organization line 2-name of organization, acronyms acceptable

Source URL: www.comp.sd.tmu.ac.jp