Search
Recent posts
- Day workshop on diagrammatic methods to formalise and reason about programming languages and their implementation
- January 2023 Workshop Schedule
- 【ERC Coffee House】Intermediate Language, Cost Model, and Code Generator for Heterogenous Computing
- 【ERC Coffee House】Looking beyond Optane Persistent Memory [Haris Volos]
- 【ERC Coffee House】Fault-Tolerant Data Structures in Settings with Non-Volatile Main Memory [Panagiota Fatourou]
Archives
- January 2023
- October 2022
- September 2022
- July 2022
- June 2022
- May 2022
- April 2022
- March 2022
- February 2022
- December 2021
- November 2021
- September 2021
- July 2021
- June 2021
- May 2021
- April 2021
- March 2021
- February 2021
- January 2021
- December 2020
- November 2020
- October 2020
- September 2020
- August 2020
- August 2018
Categories
Recent comments