4 papers
Verified LLM-Driven Synthesis for Concept Design
Alcino Cunha
Concept Design structures software systems around concepts: user-facing, self-contained units of functionality with a focused purpose. Concepts are composed into applications using…
Making Software Meaningful
Eagon Meng, Abutalib Namazov, Carmel Schare +2
Adopting a single measure can improve the usability, modularity and accountability of software: a commitment to explicit meaning. This entails constructing and agreeing upon a repr…
Reasoning about Transactional Isolation Levels with Isolde
Manuel Barros, Alcino Cunha, Jose Pereira +1
Most databases can be configured to operate under isolation levels weaker than serializability. These enforce fewer restrictions on the concurrent access to data and consequently a…
Designing Software with Complex Configurations
Alcino Cunha
In this paper I discuss how can lightweight formal methods be used to specify and verify software with complex configurations (for example, distributed protocols that work on speci…