The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Source URL: jorgenavas.github.io

• Software engineering
• Software
• Computing
• Logic in computer science
• Programming language semantics
• Logic programming
• Compilers
• LLVM
• Abstract interpretation
• Constraint logic programming
• Operational semantics
• Clang

Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT

Source URL: lucamelis.github.io

• Cryptography
• Computing
• Security engineering
• Crime prevention
• Information governance
• National security
• Secure communication
• Differential Privacy
• Post-quantum cryptography
• Privacy
• Information security
• Internet privacy

Presence Attestation: The Missing Link in Dynamic Trust Bootstrapping

Source URL: acmccs.github.io

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Source URL: uclmr.github.io

• Computational neuroscience
• Applied mathematics
• Cybernetics
• Mathematics
• Cognitive science
• Artificial intelligence
• Computational statistics
• Artificial neural networks
• Neural network
• Outline of machine learning
• Machine learning
• Shortest path problem

Auto-encoding Logic Programs Sebastijan Dumanˇci´c 1 Tias Guns 2 Wannes Meert 1 Hendrik Blockleel 1 1. Introduction Although deep learning (Goodfellow et al., 2016) has

Source URL: uclmr.github.io

• Software engineering
• Computer programming
• Computing
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Autoencoder
• Feature learning
• Logic programming
• Prolog

Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1

Source URL: scungao.github.io

• Computability theory
• Mathematics
• Mathematical logic
• Theory of computation
• Computable number
• Decision problem
• Computable function
• NC
• Continuous function
• First-order logic
• Real closed field
• Limit of a function

Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Static program analysis
• Software engineering
• Computing
• Programming language theory
• Control flow analysis
• Soot
• Call graph
• Compiler
• Analysis
• Data-flow analysis
• SIGPLAN
• Java

Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai

Source URL: jorgenavas.github.io

• Software engineering
• Theoretical computer science
• Computing
• Formal methods
• Logic in computer science
• Software testing
• Electronic design automation
• Formal verification
• Abstract interpretation
• KeY
• Satisfiability modulo theories
• Model checking

Be Selfish and Avoid Dilemmas: Fork After Withholding (FAW) Attacks on Bitcoin

Source URL: acmccs.github.io

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term