Alcides Fonseca
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- HATRA2 editions2023–2025
all 7 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Nadia Polikarpova24 talks
- Amal Ahmed25 talks
- Armando Solar-Lezama18 talks
- Edward Lee10 talks
- Leonidas Lampropoulos15 talks
- Lennart Augustsson10 talks
| title | conference | date |
|---|---|---|
| Aeon — An AI-native programming language | Lambda World 2025 | 2025-10-23 |
Aeon is an experimental language that synthesizes code using LLMs, genetic programming and SMT solvers and then verifies results with Liquid Types; an… | ||
| Aeon — An AI-native programming language | Lambda World 2025 | 2025-10-23 |
Aeon is an AI-native language that synthesizes code by combining LLMs + SMT + genetic programming and then verifies results with liquid types (SMT-backed… | ||
| ROSpec: A Domain-Specific Language for ROS-based Robot Software | OOPSLA 2025 | 2025-10-16 |
A DSL that encodes ROS component constraints and checks integration before run time, using liquid and dependent types over parameters, topics and QoS… | ||
| Usability Barriers for Liquid Types (Summary of Published Work) | HATRA 2025 | 2025-10-14 |
Study of 19 developers (12 new to LiquidHaskell, 7 experienced) identifies nine concrete barriers across three themes: verification, developer experience, and… | ||
| Usability Barriers for Liquid Types | PLDI 2025 | 2025-06-16 |
Study reports a user study of LiquidHaskell with 12 novice and several experienced participants, yielding nine barriers across three concrete categories… | ||
| Implementing separation logic using an SMT-backed Frame Rule | WITS 2024 | 2024-01-20 |
Implements an SMT-backed Frame Rule by encoding a decidable fragment of separation logic into CVC5 and integrating it into Liquid Java for symbolic execution… | ||
| Latte: Lightweight Aliasing Tracking for Java | IWACO 2023 | 2023-10-24 |
A formal alias-tracking type system for Java that requires annotations only on parameters and fields, infers all local aliases, and enforces unique parameters… | ||
| Latte: Lightweight Aliasing Tracking for Java | HATRA 2023 | 2023-10-22 |
Latte adds a lightweight aliasing layer to Java that only requires annotations on parameters and fields while inferring local variable annotations, tracks… | ||
| Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming | GPCE 2022 | 2022-12-06 |
Proposes encoding grammars as an internal DSL in the host language (Python), uses the host type system for autocomplete, linting and type checks, and… | ||
| nothing matches | ||