Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2

Source URL: scungao.github.io

• Constraint programming
• Mathematical optimization
• Theoretical computer science
• Statistical classification
• Artificial intelligence
• Machine learning
• Support vector machine
• Constraint satisfaction problem
• Constraint satisfaction
• Decomposition method
• Constrained optimization
• Constraint

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

ScientoMiner ICR - the Gephi plugin for importing scholarly citations data from Crossref services

Source URL: workshop-oc.github.io

• Information science
• Library science
• Altmetrics
• Bibliometrics
• Bibliographic database
• Bibliographic record
• BASE

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

Source URL: jorgenavas.github.io

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

ICSM: Change Impact Analysis for AspectJ Programs

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Advice
• Aspect

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io

Understanding Parallelism-Inhibiting Dependences in Sequential Java Programs Atanas Rountev∗, Kevin Van Valkenburgh†, Dacong Yan∗ and P. Sadayappan∗ ∗ Ohio State University

Source URL: dacongy.github.io

Privacy & Security Toolkit 1/2 Privacy & Security Toolkit start

Source URL: mozilla.github.io

• Index of standards articles
• Standards
• Culture
• Four-square cipher

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate