1![Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella](https://www.pdfsearch.io/img/78f2fe22141226d68bed77b54a6d99a1.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2012-09-24 08:45:19
|
---|
2![Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland](https://www.pdfsearch.io/img/15d3bc590dc52944955b250e73aab1e2.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:02
|
---|
3![Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen](https://www.pdfsearch.io/img/c1c14670ef03cdd262f01ea5c477efbd.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:59
|
---|
4![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 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](https://www.pdfsearch.io/img/c441528c355433c0fcb651a68cb96c54.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
5![Robust Relational Layout Synthesis from Examples for Android Robust Relational Layout Synthesis from Examples for Android](https://www.pdfsearch.io/img/abd256bc7fdb31eb80ea550bb092b90e.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-10-19 10:28:46
|
---|
6![](https://www.pdfsearch.io/img/fba3a8013ac1d21427383830bd06efe7.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:00
|
---|
7![](https://www.pdfsearch.io/img/be5d50aecccbcf63d85d5a006e68fd20.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.ch- Date: 2018-09-05 10:57:59
|
---|
8![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 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](https://www.pdfsearch.io/img/fab6638a2c2426873b6d5519a605118b.jpg) | Add to Reading ListSource URL: www.netsec.ethz.chLanguage: English |
---|
9![Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan
1/48 Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan
1/48](https://www.pdfsearch.io/img/d1a5a8867f91b188c1ab0baa25404f90.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-26 04:16:26
|
---|
10![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 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](https://www.pdfsearch.io/img/9560f0d52d05b6b0fa9949fb0195d314.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:58
|
---|