Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Many of the recent cryptocurrency bugs and exploits are due to flaws or weaknesses of the underlying blockchain programming languages or virtual machines. The usual post-mortem approach to formal language semantics and verification, where the…
https://fosdem.org/2019/schedule/event/dotnet_interactive_fsharp_with_jupyter/
Microsoft is excited to be part of the PPoPP/HPCA/CGO 2019 co-located conferences and is a Gold sponsor of PPoPP 2019 and HPCA 2019. Stop by our booth to learn about our latest research and find…
Northwest Database Society Annual Meeting Session 3: Open-Source Technologies for Streaming and State Management, Improving Optimistic Concurrency Control Through Transaction Batching and Operation Reordering, Towards a Learning Optimizer for Shared Clouds, and more. Agenda: 1:15…
