From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

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

• Temporal logic
• Formal languages
• Logic
• Metalogic
• Mathematical logic
• Linear temporal logic
• Mathematics
• Model theory
• Symbol
• Computation tree logic
• Interpretation
• Well-formed formula

c Copyright 2018 Eric Mullen Pushing the Limits of Compiler Verification

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Formal methods
• Logic in computer science
• Theoretical computer science
• Compilers
• Compiler correctness
• CompCert
• Formal verification
• Compiler

Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Functional languages
• Programming languages
• Lisp
• Cross-platform software
• Racket
• Scheme
• Literate programming
• Anonymous function

Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs

Source URL: www0.cs.ucl.ac.uk

• Cryptocurrencies
• Private currencies
• Computing
• Cryptography
• Zcash
• Decentralization
• Information
• Blockchain
• Data
• Anonymity
• Bitcoin Private

Inductive Representation Learning on Large Graphs arXiv:1706.02216v4 [cs.SI] 10 Sep 2018 William L. Hamilton∗

Source URL: arxiv.org

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Networks
• Artificial intelligence
• Applied mathematics
• Learning
• Feature learning
• Deep learning
• Convolutional neural network
• Community structure
• Semi-supervised learning

Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1

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

• Computing
• Cross-platform software
• Logic in computer science
• Runtime verification
• Benchmark
• Standard Performance Evaluation Corporation
• Computer performance
• Java

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Transformation languages
• Programming languages
• High-level programming languages
• Functional programming
• Hygienic macro
• Macro
• Lisp
• Anonymous function

Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA

Source URL: manticore.cs.uchicago.edu

Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract

Source URL: web.cs.ucdavis.edu

• Reputation management
• Interpersonal relationships
• Human behavior
• Accountability
• Emotions
• Social constructionism
• Trust
• Behavioural sciences
• Psychology
• Reputation
• Trust management
• Computational trust