by Michael Coblenz, Chris Martens, and Luke Church on Jul 6, 2021 | Tags: formal reasoning, type systems, usability
How can types and formal reasoning tools improve the lives of people who write software? This is the focus of the HATRA (Human Aspects of Types and Reasoning Assistants) workshop. At the 2020 meeting, we discussed exciting opportunities for these key PL techniques to make developers more effective.
Read more...
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 John Wickerson on May 26, 2020 | Tags: algebra, concurrency, diversity, formal reasoning, NetKAT
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Alexandra Silva, who is a Professor in the Department of Computer Science at UCL.
Read more...
by Ilya Sergey on Dec 23, 2019 | Tags: composition, consensus protocols, Distributed systems, formal reasoning, verification
Ideas from PL research, such as functional combinators, behavioural types, and compiler correctness proofs, can be applied to distributed systems, facilitating their understanding, implementation, and formal verification.
Read more...