Koushik Sen
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2025
all 5 in the filters
on a stage with
- Shangyin Tan2×
- Borivoje Nikoliconce
- Bryan Ngoonce
all 23 in the filters
who talks about the same things
- Rohan Bavishi3 talks
- Caroline Lemieux6 talks
- Hayawardh Vijayakumar3 talks
- Arjun Radhakrishna10 talks
- Armando Solar-Lezama18 talks
- Sumit Gulwani14 talks
| title | conference | date |
|---|---|---|
| Programming Large Language Models with Algebraic Effect Handlers and the Selection Monad | LMPL 2025 | 2025-10-12 |
Pangolin models LLM calls as algebraic effects and uses a selection monad to search and score nondeterministic outputs; handlers expose a multi‑shot… | ||
| Type-Constrained Code Generation with Language Models | PLDI 2025 | 2025-06-16 |
Introduces a type-constrained decoding method that integrates an incremental type checker into token-level LLM decoding using prefix automata plus a search… | ||
| Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware | PLARCH 2023 | 2023-06-17 |
Proposes probabilistic dynamic partial order reduction that records state transitions from warm-up runs, builds a probability table over transaction pairs, and… | ||
| New Embedded DSLs for Hardware Design and Verification | PLARCH 2023 | 2023-06-17 |
Argues for mixed-abstraction HDLs and presents three Scala eDSLs specialized for testbench description, stimulus generation, and control-flow compilation… | ||
| Relational Compilation for Performance-Critical Applications | PLDI 2022 | 2022-06-13 |
Claims a proof-producing toolkit (Rupicola) that compiles specific high-level functional programs into low-level imperative code by proving "there exists"… | ||
| Gauss: Program Synthesis by Reasoning Over Graphs | OOPSLA 2021 | 2021-10-17 |
Gauss synthesizes table-transformation programs (Pandas and R) from partial outputs plus user intent graphs that record cell/row/column relations (example… | ||
| Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types | GPCE 2020 | 2020-11-16 |
Fluid Quotes uses dependent types to carry serialized code through the type system so macros can serialize AST in string literal types and later spliceCall at… | ||
| nothing matches | ||