Editors:
Vijay Chidambaram and Baris Kasikci
The Remarkable Utility of Dataflow Computing
We build computer systems around abstractions. The right abstractions are timeless and versatile, meaning they apply in many different settings. Such abstractions make developers’ lives
Mechanized Proofs for PL: Past, Present, and Future
The POPLmark Challenge helped stir lasting excitement about mechanized proofs within the PL community. Despite the advances and successes, there is a lot more to do. This post reflect on the state of affairs of mechanized proof in PL, organized around the topics and discussions that arose in the POPLmark 15 Year Retrospective Panel.
SOSP 2019 Conference Report
The 27th ACM Symposium on Operating Systems Principles (SOSP) was held in the beautiful Deerhurst Resort in Huntsville, Canada from October 27-30, The main program was split across 11 sessions on three days. 2019. Over 500 researchers from both academia and industry attended SOSP 2019.