Many problem domains, including program synthesis and rewrite-based optimization,
require searching astronomically large spaces of programs. Existing approaches often rely …

E-graphs are a prominent data structure that has been increasing in popularity in recent
years due to their expanding range of applications in various formal reasoning tasks. Often …

Context Context-free grammars are widely used for language prototyping and
implementation. They allow formalizing the syntax of domain-specific or general-purpose …

Parsing is a fundamental building block in modern compilers, and for industrial
programming languages, it is a surprisingly involved task. There are known approaches to …

We present Spectacular, a new tool for automatically discovering candidate laws for use in
property-based testing. By using the recently-developed technique of ECTAs (Equality …

Integrated development environments (IDEs) are equipped with code inspections to warn
developers of malformed or incorrect code by analyzing the code's data flow. However, the …

As software systems grow sophisticated, complex APIs are widely used to accelerate
program development. However, effectively using these APIs can be challenging due to …

Research in programming languages and software engineering are broadly concerned with
the study of aspects of computer programs: their syntactic structure, the relationship between …

The adoption of software development technologies is very closely related to the topic of
user support. This is especially true in early phases, when the users are not familiar with the …

Programming languages researchers have developed many advanced tools that promise to
greatly ease software engineering. Yet even conceptually simple tools are expensive to …