Mayur Naik
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA2 editions2023–2024
all 5 in the filters
on a stage with
all 18 in the filters
who talks about the same things
- Nada Amin26 talks
- Işıl Dillig21 talks
- Rajeev Alur5 talks
- Nadia Polikarpova24 talks
- Michael Carbin14 talks
- Alvin Cheung6 talks
| title | conference | date |
|---|---|---|
| TorchQL: A Programming Framework for Integrity Constraints in Machine Learning | OOPSLA 2024 | 2024-10-20 |
TorchQL is a PyTorch-integrated query framework that expresses model errors as integrity-constraint violations and ships eight core operators to write those… | ||
| Scallop: A Language for Neurosymbolic Programming | Logic and Algebra for Query Evaluation 2023 | 2023-11-13 |
A Datalog-based language and compiler called Scallop combines a neural module for perception with a declarative logic layer and a differentiable provenance… | ||
| Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates | OOPSLA 2023 | 2023-10-23 |
Mobius presents a concrete pipeline: seed a non‑recursive synthesizer, normalize the result, and perform iterative predicate unification guided by data… | ||
| Scallop: A Language for Neurosymbolic Programming | PLDI 2023 | 2023-06-17 |
Scallop is a differentiable neurosymbolic language that compiles Datalog-style programs to a relational algebra machine and plugs into PyTorch, using a… | ||
| Sporq: An Interactive Environment for Exploring Code Using Query-by-Example | UIST 2021 | 2021-10-10 |
Sporq is an interactive VS Code extension that converts a codebase with CodeQL into relational program representations, synthesizes Datalog queries from… | ||
| APISan: Sanitizing API Usages through Semantic Cross-Checking | USENIX Security '16 | 2016-08-10 |
APISan automatically infers correct API usage by mining semantic patterns from code, building relaxed symbolic execution abstractions (api calls, arguments… | ||
| nothing matches | ||