Automatic Inference of Relational Object Invariants
Abstract elided by the publisher.
26,098 papers · page 88 of 1,305
Automated Flaw Detection for Industrial Robot RESTful Service
Abstract elided by the publisher.
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
Abstract elided by the publisher.
Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training
Abstract elided by the publisher.
Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications
Abstract elided by the publisher.
Synchronous Programming for Kids: A Manifesto
Many primary school age children find developing games and interactive animations very motivating, and this has been successfully leveraged by several educational programming environments. However, most of these environments, like Scratch and Microsoft MakeCode, are fundamentally…
Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form
Transformation of context-free grammars into LL(1) form enables construction of simple and efficient parsers. However, if semantics are overlooked, the transformation is likely to result in a complex grammar that needs to be manually aligned with the original semantics. This work…
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
Current IDE-integrated program synthesis leaves no indication of what code was auto-generated, let alone an explanation of why. This makes both identifying and understanding machine-generated code hard. We therefore add example scopes, comments enclosing synthesized code that doc…
Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems
Generative AI (GenAI) has emerged as a transformative technology, demonstrating remarkable capabilities across diverse application domains. However, GenAI faces several major challenges in developing reliable and efficient GenAI-empowered systems due to its unpredictability and i…
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
Users often struggle with cloud file-sharing applications. Problems appear to arise not only from interface flaws, but also from misunderstanding the underlying semantics of operations like linking, attaching, downloading, and editing. We argue that these difficulties echo long-s…
An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler
In this paper, we examine how Entity Component Systems, a data structure that has been gaining popularity in game engines, can benefit compiler and interpreter design. ECS does not consistently provide the same performance benefits that games utilize it for; however, it does make…
X-by-Construction: Towards Ensuring Non-functional Properties in by-Construction Engineering
Correctness-by-Construction engineering (CbC) is a refinement-based approach to develop functionally correct programs based on a formal specification. By correctly applying refinement rules during development, CbC enables detection of bugs during program construction, unlike post…
On Collective Control over User Interfaces in the Face of Network Effects
User interfaces for accessing modern Internet services are increasingly defined by the services themselves, leaving users with little control over the interfaces they use on a daily basis. This architecture and the economic drive to monetize users’ activity has lead to a status q…
Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities
Dala is an "as simple as possible" concurrent object-oriented language designed to avoid data races. Dala objects come in three safe flavours: immutable, isolated, and local, plus a fourth unsafe flavour. The objects are organised into an hierarchy so that e.g. immutable objects …
Literate Tracing
As computer systems grow ever larger and more complex, a crucial task in software development is for one person (the system expert) to communicate to another (the system novice) how a certain program works. This paper reports on the author’s experiences with a paradigm for progra…
TideScript: A Domain Specific Language for Peptide Chemistry
Synthetic peptides are becoming increasingly important in industry and academia, including applications in peptide-based therapeutics. While Solid Phase Peptide Synthesis (SPPS) is largely automated, current software options for describing this process are instrument-specific, wi…
What You See Is What It Does: A Structural Pattern for Legible Software
The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often “illegible”—lacking a direct correspondence between code and observed behavior—and insufficiently modular, leading to a failure of …
Carving Text at Its Joints: A New Perspective on Writing and Computers
Multilingual computer text handling appears at present unapproachably difficult. Despite considerable progress made over the past three decades, major open problems remain in encoding, interactively editing, programmatically transforming, and displaying text in many of the world'…
Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain
A "quine" is a deterministic program that prints itself. In this essay, I will show you a "gauguine": a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But…
Let’s Take Esoteric Programming Languages Seriously
Esoteric programming languages are challenging to learn, but their unusual features and constraints may serve to improve programming ability. From languages designed to be intentionally obtuse (e.g. INTERCAL) to others targeting artistic expression (e.g. Piet) or exploring the na…