Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

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

• Software engineering
• Computing
• Computer programming
• Tutorial
• Don Sannella
• Haskell
• D
• Informatics
• Functional programming

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

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

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen

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

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

Robust Relational Layout Synthesis from Examples for Android

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

• Computational chemistry
• Constraint
• Computational science
• Physics
• Applied mathematics

PDF Document

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

PDF Document

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

A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

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

• Cryptography
• Pyruvate dehydrogenase lipoamide kinase isozyme 1
• Key management
• Digital signature
• Key

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

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

• Applied mathematics
• Cognition
• Cybernetics
• Learning
• Machine learning
• Artificial neural network
• Analysis
• Algorithm
• Mathematics