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

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• Android
• System software
• Online marketplaces
• Google Play
• Intent

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

Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science

Source URL: aidanhogan.com

• Graph theory
• Mathematics
• Discrete mathematics
• Morphisms
• Semantic Web
• Knowledge representation
• Graph operations
• Blank node
• Cograph
• Graph homomorphism
• Graph coloring
• Resource Description Framework

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

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Internet search engines
• Geosocial networking
• Geographic information systems
• Recommender system
• Yelp
• Local search
• Geocoding
• Personal
• Inc.
• Database