Jeffrey S. Foster
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA2 editions2021–2025
all 6 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Aleksandr Fedchin3 talks
- Armando Solar-Lezama18 talks
- Nadia Polikarpova24 talks
- Arjun Radhakrishna10 talks
- Xiaokang Qiu6 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs | POPL 2026 | 2026-01-11 |
DafnyMPI is a pure Dafny library that verifies MPI programs by requiring a statically declared communication topology and unique message tags so preconditions… | ||
| Metamorph: Synthesizing Large Objects from Dafny Specifications | OOPSLA 2025 | 2025-10-16 |
Metamorph synthesizes long sequences of Dafny-specified API calls by replaying verifier counterexamples one step at a time and framing search as weighted A… | ||
| RestPi: Path-Sensitive Type Inference for REST APIs | OOPSLA 2025 | 2025-10-16 |
REST𝜋 implements path-sensitive type inference for Ruby on Rails servers and automatically generates OpenAPI‑style specs by encoding symbolic path constraints… | ||
| Scimitar: Functional Programs as Optimization Problems | Onward! 2024 | 2024-10-23 |
Scimitar compiles a functional subset into MILP constraints (implemented in Racket) and automatically applies expert encodings like McCormick envelopes for… | ||
| Dafny Test Generation | Dafny 2024 | 2024-01-14 |
DTest generates executable unit and system tests by inserting failing assertions, asking the Dafny verifier for counterexamples, and extracting concrete inputs… | ||
| Absynthe: Abstract Interpretation-Guided Synthesis | PLDI 2023 | 2023-06-17 |
Framework uses user-defined abstract domains to prune families of candidate programs during enumerative search, infers abstract values for intermediate holes… | ||
| SimTyper: Sound Type Inference for Ruby using Type Equality Prediction | OOPSLA 2021 | 2021-10-17 |
SimTyper infers usable Ruby types by combining constraint solving, InferDL-style heuristics, and a learned type equality prediction model. It builds DeepSim (a… | ||
| Sound, Heuristic Type Annotation Inference for Ruby | DLS 2020 | 2020-11-17 |
InferDL automatically generates Ruby type annotations by combining constraint solving with checked heuristic guesses: heuristics propose nominal or precise… | ||
| nothing matches | ||