Learning + Synthesis Armando Solar-Lezama ML as Synthesis ML

Source URL: uclmr.github.io

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

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Source URL: qav.comlab.ox.ac.uk

Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology

Source URL: www.kestrel.edu

• Scheduling
• Information technology management
• Business
• Economy
• Production planning
• Computing
• Schedule
• Job scheduler
• Local consistency
• Business process management
• Constraint programming
• Windows Task Scheduler

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Source URL: www.cs.purdue.edu

• Mathematics
• Formal languages
• Temporal logic
• Syntax
• Metalogic
• Logic
• Metaphilosophy
• Model theory
• Linear temporal logic
• Interpretation
• Computation tree logic
• Variable

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl

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

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Formal languages
• Finite automata
• Model checking
• Mathematical logic
• Omega language
• Theory of computation
• Muller automaton
• Sigma-algebra
• Tree
• Structure
• Measure

24/7 place recognition by view synthesis Akihiko Torii Relja Arandjelovi´c Josef Sivic Masatoshi Okutomi Tomas Pajdla Tokyo Tech∗ INRIA† INRIA† Tokyo Tech∗

Source URL: www.ok.ctrl.titech.ac.jp

• Computer vision
• Feature detection
• Image search
• Conference on Computer Vision and Pattern Recognition
• Visual Word
• Visual descriptor
• Feature
• Structure from motion
• View
• Histogram of oriented gradients

Synthesis of Probabilistic Privacy Enforcement

Source URL: acmccs.github.io