Tarmo Uustalu - Resumption Monads for Shared-Memory Concurrency

Embed
Klipi teostus: Ülar Allas 11.10.2019 1246 vaatamist Arvutiteadus


Tarmo Uustalu - Resumption Monads for Shared-Memory Concurrency

Seotud videod

Andris Ambainis - Recent developments in quantum algorithms
11.10.19
Helger Lipmaa - Zk-SNARKs: Foundations and Applications
11.10.19
Härmel Nestra - Laws of Monadic Error Handling
11.10.19
Karim Baghery - On the Efficiency of Privacy-Preserving Smart Contract Systems
11.10.19
Niccolo Veltri - Unguarded Iteration for Reversible Computation in the Delay Monad
11.10.19
Nikolajs Nahimovs - Lackadaisical quantum walks with multiple marked vertices
11.10.19
Shahla Atapoor - Simulation Extractability in Groth's zk-SNARK
11.10.19
Abuzer Yakaryilmaz - Quantum programming with Qiskit
12.10.19
Aliia Khadieva - Quantum minicomplexity
12.10.19
Alisa Pankova - Taming epsilon of differential privacy
12.10.19
Behzad Abdolmaleki - A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing
12.10.19
Dominique Unruh - Towards verified quantum crypto
12.10.19
Francisco Javier Gil Vidal - Input Redundancy for Parameterized Quantum Circuits
12.10.19
Janno Siim - UC-Secure CRS Generation for SNARKs
12.10.19
Kamil Khadiev - Quantum Algorithms for String Problems
12.10.19
Lilia Safina - The Quantum Version Of Classification Decision Tree Constructing Algorithms
12.10.19
Nikita Larka - Quantum algorithms for computational geometry problems
12.10.19
Peeter Laud - Information flow analysis for BPMN processes
12.10.19
Pille Pullonen - Privacy-Enhanced Business Process Model and Notation
12.10.19
Silvio Capobianco - Boltzmann samplers: a tutorial
12.10.19
Alexander Belov - Some Results in Property Testing
13.10.19
Dirk Draheim - An Operational Semantics of Conditional Probabilities that Fully Adheres to Kolmogorov's Explication of Probability Theory
13.10.19
Hendrik Maarand - Reordering Derivatives of Trace Closures of Regular Languages
13.10.19
Jevgenijs Vihrovs - Cuts, Flows and Quantum Walks
13.10.19
Martins Kokainis - Quadratic speedup for finding marked vertices by quantum walks
13.10.19
Pawel Sobocinski - Tutorial on String Diagrams and Compositionality
13.10.19
Vitaly Skachek - Batch and PIR Codes and Their Connections to Locally Repairable Codes
13.10.19