SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds ARCADE Workshop August 6, 2017

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

• Theoretical computer science
• Logic in computer science
• NP-complete problems
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Universal quantification
• Solver

Noname manuscript No. (will be inserted by the editor) Solving Quantified Linear Arithmetic by CounterexampleGuided Instantiation Andrew Reynolds · Tim King · Viktor Kuncak

Source URL: lara.epfl.ch

Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

Source URL: lara.epfl.ch

A Decision Procedure for (Co)datatypes in SMT Solvers∗ Andrew Reynolds Department of Computer Science The University of Iowa, USA Abstract

Source URL: people.mpi-inf.mpg.de

Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette

Source URL: people.mpi-inf.mpg.de

• Mathematical logic
• Logic
• Theoretical computer science
• Type theory
• Automated theorem proving
• Logic programming
• Data types
• Unification
• Recursive data type
• Substitution
• Corecursion
• First-order logic

Resource Circuitry and Dynamics of Human Transcription Factor Regulatory Networks Shane Neph,1,5 Andrew B. Stergachis,1,5 Alex Reynolds,1 Richard Sandstrom,1 Elhanan Borenstein,1,2,4,*

Source URL: elbo.gs.washington.edu

• Induced stem cells
• Transcription factors
• Gene expression
• Developmental biology
• Biotechnology
• Cellular differentiation
• Transdifferentiation
• Homeobox protein NANOG
• Stem cell
• Network motif
• SOX2
• MyoD

Inequality  among  Working   Households  in  Europe,  1890-­‐1960     Ian  Gazeley,  Rose  Holmes,  Andrew  Newell,    Kevin  Reynolds  and  Hector  Rufrancos

Source URL: gpih.ucdavis.edu

• Income distribution
• Social inequality
• Distribution of wealth
• Economic inequality
• Welfare economics

Satisfiability Modulo Theories and DPLL(T) Andrew Reynolds March 18, 2015 Overview

Source URL: lara.epfl.ch

FINITE MODEL FINDING IN SATISFIABILITY MODULO THEORIES by Andrew Joseph Reynolds A thesis submitted in partial fulfillment of the

Source URL: lara.epfl.ch