1![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
|
---|
2![Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗](https://www.pdfsearch.io/img/10af4479e30944af68e15edbe102a708.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
3![ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti](https://www.pdfsearch.io/img/fc3167c8c74483f6fccfce37d4a99e24.jpg) | Add to Reading ListSource URL: zkproof.orgLanguage: English - Date: 2018-10-25 10:32:39
|
---|
4![2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH 2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH](https://www.pdfsearch.io/img/8d924f616b07b8a01daf5ed3b6e58f27.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2015-05-11 16:43:13
|
---|
5![Special-Purpose Hardware for Factoring: the NFS Sieving Step Adi Shamir Eran Tromer Special-Purpose Hardware for Factoring: the NFS Sieving Step Adi Shamir Eran Tromer](https://www.pdfsearch.io/img/57dadf38603fe7e2902e32e495877ab0.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2005-03-13 11:15:55
|
---|
6![Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich](https://www.pdfsearch.io/img/4553376291bef372cca63de4631f2d47.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
7![Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav](https://www.pdfsearch.io/img/4ea909cf8fd59e18fca291c39b2dff17.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
8![Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich](https://www.pdfsearch.io/img/85d0821ff774c2011772619bf067c119.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
9![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/b0bab394fbe574197f1e2613361a2928.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
10![Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav](https://www.pdfsearch.io/img/3603407044bf8ba24299ef38acbcfa52.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:01
|
---|