Yotam M. Y. Feldman
where else to find them
bluesky:yotamfe.bsky.social
what they talk about
where they keep going back
- POPL2 editions2021–2022
all 4 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- James R. Wilcox4 talks
- Sharon Shoham13 talks
- Mooly Sagiv18 talks
- Kenneth L. McMillan4 talks
- Oded Padon11 talks
- Artem Khyzha2 talks
| title | conference | date |
|---|---|---|
| Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code(…) | EGRAPHS 2025 | 2025-06-16 |
Prototype framework combines equality saturation with random code mutations to optimize real Python molecular‑dynamics kernels, reproducing algebraic speedups… | ||
| Property-Directed Reachability as Abstract Interpretation in the Monotone Theory | POPL 2022 | 2022-01-16 |
Claims that propositional PDR is an instance of abstract interpretation by defining Lambda-PDR (take all counterexample generalizations) and a logical abstract… | ||
| Learning the Boundary of Inductive Invariants | POPL 2021 | 2021-01-17 |
An interpolation-based invariant inference algorithm with model-based generalization (dropping literals) uses bounded model checking to implement membership… | ||
| The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics | Onward! 2020 | 2020-11-15 |
Paper argues that counting lines of code often misleads: a study of top-conference papers finds 44% reported code and among those most use LoC while only two… | ||
| Proving Highly-Concurrent Traversals Correct | OOPSLA 2020 | 2020-11-15 |
Paper proves that optimistic lock-free traversals are correct by reducing concurrent traversal correctness to sequential reasoning plus two concrete… | ||
| nothing matches | ||