Programming languages and software engineering
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…
Video
Northwest Database Society Annual Meeting – Session 3
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…
Publication
Programming by Examples: PL meets ML
Video
Lessons From the Fifty-Year Quest to Turn Programmers into Software Engineers
The term “software engineering” was first used in the title of a 1968 conference organized by NATO, at which academics and industry professionals met and agreed that software needed more engineering focus. A follow-up conference…
