Programming languages and software engineering
Video
From Barriers to Bridges: Designing Infrastructures for Help in Online Programming Communities
Online programming communities, like Stack Overflow, have norms that are not obvious nor inclusive to the 50 million programmers visiting monthly. For example, many novices ask questions that go unanswered or downvoted for not conforming…
Video
Formal Design, Implementation and Verification of Blockchain Languages
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…
Video
Interactive Computing with F# Jupyter
https://fosdem.org/2019/schedule/event/dotnet_interactive_fsharp_with_jupyter/
Publication
Appendix to What Makes a Great Software Engineer
Publication
Are My Invariants Valid? A Learning Approach
Event
Microsoft @ PPoPP/HPCA/CGO 2019
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…
