11![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
|
---|
12![Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue](https://www.pdfsearch.io/img/ac8fba9042abaa443b19378613882dea.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 21:04:29
|
---|
13![Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018 Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018](https://www.pdfsearch.io/img/8357667eaa6b1822a66b685787ec4de7.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
14![Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1 Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1](https://www.pdfsearch.io/img/477fa47120702b687176d8c22bc38803.jpg) | Add to Reading ListSource URL: cakeml.orgLanguage: English - Date: 2018-04-24 22:00:10
|
---|
15![Ensuring Connectivity via Data Plane Mechanisms Junda Liu‡ , Aurojit Panda\ , Ankit Singla† , Brighten Godfrey† , Michael Schapira , Scott Shenker\♠ ‡ Google Inc., \ UC Berkeley, † UIUC, Hebrew U., ♠ ICS Ensuring Connectivity via Data Plane Mechanisms Junda Liu‡ , Aurojit Panda\ , Ankit Singla† , Brighten Godfrey† , Michael Schapira , Scott Shenker\♠ ‡ Google Inc., \ UC Berkeley, † UIUC, Hebrew U., ♠ ICS](https://www.pdfsearch.io/img/6b9375ee5de291d61cadc310c6d49385.jpg) | Add to Reading ListSource URL: people.eecs.berkeley.eduLanguage: English - Date: 2013-02-21 13:22:56
|
---|
16![c
Copyright 2014 Michael F. Ringenburg
Dynamic Analyses of Result Quality in Energy-Aware c
Copyright 2014 Michael F. Ringenburg
Dynamic Analyses of Result Quality in Energy-Aware](https://www.pdfsearch.io/img/3324d784a6c2a6cf984763b4f0fecbf0.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-03-22 13:27:08
|
---|
17![Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †](https://www.pdfsearch.io/img/cd111da2969562ba204a794452c68221.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
18![Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom](https://www.pdfsearch.io/img/18de666f8c3e39643154f8b41d67b691.jpg) | Add to Reading ListSource URL: mlq.meLanguage: English - Date: 2018-08-17 12:03:32
|
---|
19![New Directions for Network Verification Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker
• New Directions for Network Verification Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker
•](https://www.pdfsearch.io/img/fa4f6c00cbbf3ef28f7ac339f23996fc.jpg) | Add to Reading ListSource URL: people.eecs.berkeley.eduLanguage: English - Date: 2015-06-27 13:25:24
|
---|
20![HONOURS SEMINAR Michael Malagride Finite Subgroups of SO(3) Thursday, April 12, 2018 3:30 p.m. Mathematics and Statistics Lounge HONOURS SEMINAR Michael Malagride Finite Subgroups of SO(3) Thursday, April 12, 2018 3:30 p.m. Mathematics and Statistics Lounge](https://www.pdfsearch.io/img/a4a0ff2813e7f9017a19619374bfb431.jpg) | Add to Reading ListSource URL: www.uregina.ca- Date: 2018-04-12 11:26:01
|
---|