Anders Miltner
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Adrian Trejo Nuñezonce
- Ana Brendelonce
- Arnold Mongonce
all 8 in the filters
who talks about the same things
- Arjun Radhakrishna10 talks
- Ashish Tiwari8 talks
- Sumit Gulwani14 talks
- Vu Le9 talks
- Gustavo Soares9 talks
- Jeffrey S. Foster10 talks
| title | conference | date |
|---|---|---|
| Saggitarius: A DSL for Specifying Grammatical Domains | OOPSLA 2023 | 2023-10-23 |
Saggitarius defines metagrammars (DSLs whose denotation is a set of CFGs with existential parameters and constraints) and uses a generated giant grammar plus… | ||
| Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution | POPL 2022 | 2022-01-16 |
The paper presents a bottom-up synthesis method that actually builds recursive functional programs by executing incomplete programs under angelic semantics… | ||
| nothing matches | ||