by Mira Mezini on Jun 28, 2021 | Tags: concurrency, distributed computing, formal reasoning, language design
When developing massively distributed, interactive applications, programmers must select mechanisms that balance consistency, performance, and availability, which can be challenging. New research is looking at ways to automate this selection, with provable guarantees.
Read more...
by Jens Palsberg on Jun 15, 2021 | Tags: conferences, covid-19, hybrid conferences
The SIGPLAN survey in early 2021 revealed that we want to go to physical conferences again and that we must take inclusion to the next level.
Read more...
by Kesha Hietala and Robert Rand on Jun 2, 2021 | Tags: compilers, formal verification, optimization, proof engineering, quantum computing
Learn how techniques from traditional compiler verification can be applied to the emerging domain of quantum computing.
Read more...
