James Koppel
where else to find them
github:jkoppel
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Arjun Radhakrishna10 talks
- Hila Peleg8 talks
- Xiaokang Qiu6 talks
- Ashish Tiwari8 talks
- Roopsha Samanta10 talks
- Jeffrey S. Foster10 talks
| title | conference | date |
|---|---|---|
| Searching Entangled Program Spaces | ICFP 2022 | 2022-09-11 |
Introduces equality-constrained tree automata to compactly represent program spaces where subterm choices are entangled, and implements extraction and lazy… | ||
| Automatically Deriving Control-Flow Graph Generators from Operational Semantics | ICFP 2022 | 2022-09-11 |
An algorithm converts small-step operational semantics into an abstract machine, then uses abstract rewriting to synthesize both interpreted-mode and… | ||
| Demystifying Dependence | Onward! 2020 | 2020-11-15 |
Claims a first rigorous definition of software dependence, answers nine dependency puzzles (three shown) and shows dependence always ties to the property… | ||
| One tool, many languages: language-parametric transformation with incremental parametric syntax | OOPSLA 2018 | 2018-11-07 |
A new representation called incremental parametric syntax lets one write a single source-to-source transformation and run it on many real languages with little… | ||
| You are a Program Synthesizer | Strange Loop 2018 | 2018-09-26 |
Claims that program synthesis lessons make programmers better are supported with concrete methods and demos: deductive synthesis and constraint-based synthesis… | ||
| nothing matches | ||