Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

Source URL: www.kestrel.edu

• Mathematical analysis
• Mathematics
• Abstract interpretation
• Function
• Exponential function
• Complex analysis
• Formal methods
• Centripetal CatmullRom spline

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis

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

• Probabilistic programming language
• Machine learning
• Information retrieval
• Cognition
• Cognitive science

LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

Source URL: smt-workshop.cs.uiowa.edu

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Polynomial
• Irreducible polynomial
• Factorization of polynomials
• Resultant
• Algebraic geometry
• Factorization
• Polynomial greatest common divisor
• Permutation polynomial

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science

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

• Computing
• Application software
• Computer science
• Machine learning
• Conditional random field
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• R
• Structured prediction

PDF Document

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

Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International

Source URL: csl.sri.com

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization Benjamin Bichsel Timon Gehr

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