Roopsha Samanta
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA2 editions2021–2023
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2023
all 5 in the filters
on a stage with
all 32 in the filters
who talks about the same things
- Loris D'Antoni17 talks
- Arjun Radhakrishna10 talks
- Xinyu Wang14 talks
- Mukund Raghothaman7 talks
- Armando Solar-Lezama18 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Explainable Program Synthesis by Localizing Specifications | OOPSLA 2023 | 2023-10-23 |
Introduces subspecifications that summarize what a subexpression must satisfy given a global spec, provides a two stage algorithm that constructs then… | ||
| Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based S... | OOPSLA 2023 | 2023-10-23 |
Presents Venus, an implementation that extends Quicksilver to verify systems that are unbounded in both process count and data by reducing variable domains via… | ||
| ImageEye: Batch Image Processing using Program Synthesis | PLDI 2023 | 2023-06-17 |
A synthesis pipeline that learns programs in a neuro-symbolic DSL uses Amazon recognition detectors and an enumerative synthesizer with equivalence-reduction… | ||
| Trace-Guided Inductive Synthesis of Recursive Functional Programs | PLDI 2023 | 2023-06-17 |
A method augments program search with explicit recursion traces and a new version space algebra that represents pairs of traces and programs under angelic… | ||
| Business Meeting - PLDI 2022 | PLDI 2022 | 2022-06-13 |
PLDI 2022 reports concrete process changes: a single flat PC of 120 with four area chairs, no full PC meeting, and asynchronous discussion; paper assignment… | ||
| HACCLE: Metaprogramming for Secure Multi-Party Computation | GPCE 2021 | 2021-10-17 |
HACCLE is a compiler toolchain that embeds a DSL (Harpoon) in Scala, uses LMS metaprogramming to lower code to a protocol‑independent acyclic circuit IR (HIR)… | ||
| QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems | OOPSLA 2021 | 2021-10-17 |
QuickSilver introduces the Mercury modeling language with two concrete agreement primitives, Partition and Consensus, that abstract verified Paxos/Raft-style… | ||
| Program Synthesis: A Dream Realized? | Strange Loop 2021 | 2021-09-30 |
Claims a semantics-guided pipeline that augments user examples with relational properties and feeds them to existing inductive synthesizers; implements a… | ||
| MANTIS: Semantics-driven Inductive Program Synthesis | Code Mesh LDN 2020 | 2020-11-05 |
MANTIS applies semantic biases by augmenting user examples with relational perturbation properties (e.g., permutation invariance, value preservation) and then… | ||
| nothing matches | ||