Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev

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

PuroVerde eG, Goethestr. 20, 79100 Freiburg Telefon: Fax: Vorstand: Leo Pröstler, Heiko Rock Aufsichtsratsvorsitzender: Ulrich Martin Drescher Genossenschaftsregister: GnR, Amtsgeric

Source URL: www.puroverde.de

SDN Use Cases for Service Provider Networks Evolving to an SDN-Enabled ISP Backbone: Key Technologies and Applications Martin Birk, Gagan Choudhury, Bruce Cortez, Alvin Goddard, Narayan Padi, Aswatnarayan Raghuram, Kath

Source URL: www.research.att.com

• Network architecture
• Computing
• Computer architecture
• Network protocols
• Internet architecture
• Computer networking
• Internet protocols
• Multiprotocol Label Switching
• Software-defined networking
• MPLS local protection
• Automatically switched optical network
• OpenFlow

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: nsg.romeier.ch

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK

Source URL: www.logic.at

• Logic
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Formal methods
• Logic programming
• Propositional calculus
• Resolution
• Unification
• Satisfiability modulo theories
• Literal

Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander Leitsch

Source URL: www.logic.at

• Mathematical logic
• Logic
• Mathematics
• Model theory
• Proof theory
• Quantification
• Predicate logic
• Thoralf Skolem
• Skolem normal form
• Soundness
• Quantifier
• Sequent calculus

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

Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK

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

• Mathematics
• Mathematical logic
• Logic
• Model theory
• Logic in computer science
• Semantics
• Universal algebra
• Boolean satisfiability problem
• Interpretation
• First-order logic
• Resolution
• Clause

COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory

Source URL: www.uregina.ca

Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes  Inria  CNRS  IRISA (France) Correctness 2017 Denver, Colorado

Source URL: correctness-workshop.github.io

• Psychometrics
• Design of experiments
• Statistical hypothesis testing
• Test
• Psychology
• Education
• Parallel computing
• Human behavior