Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗

Source URL: practicalsynthesis.github.io

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

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra

Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018

Source URL: eta.impa.br

• Numerical analysis
• Dynamical systems
• Classical mechanics
• Hamiltonian mechanics
• Symplectic integrator
• Mathematical optimization
• Gradient descent
• Leapfrog integration
• Bregman Lagrangian
• Lagrangian mechanics
• Bregman divergence

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

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Functional programming
• Subroutines
• Programming idioms
• Theoretical computer science
• Functional languages
• Monad
• Standard ML
• Eval
• Algorithm

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

Source URL: people.eecs.berkeley.edu

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Forwarding plane
• Router
• Packet processing
• Packet forwarding
• Control plane
• Transmission Control Protocol

c Copyright 2014 Michael F. Ringenburg Dynamic Analyses of Result Quality in Energy-Aware

Source URL: homes.cs.washington.edu

• Software optimization
• Computing
• Approximation
• Profiling
• Instrumentation
• Approximate computing
• Memoization
• Simulation

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: www.pepper-project.org

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

Source URL: mlq.me

• Computer security
• Computer hardware
• Side-channel attacks
• X86 architecture
• Computing
• Meltdown
• Computer engineering
• Pwnie Awards

New Directions for Network Verification Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker •

Source URL: people.eecs.berkeley.edu

• Computer network security
• Computer security
• Cyberwarfare
• Middlebox
• Computing
• Firewall
• Network switch
• Computer network

HONOURS SEMINAR Michael Malagride Finite Subgroups of SO(3) Thursday, April 12, 2018 3:30 p.m. Mathematics and Statistics Lounge

Source URL: www.uregina.ca