Işıl Dillig
where else to find them
no profile links on file
what they talk about
all 15 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski5 editions2020–2026
- OOPSLA3 editions2020–2025
all 4 in the filters
on a stage with
all 54 in the filters
who talks about the same things
- Nadia Polikarpova24 talks
- Armando Solar-Lezama18 talks
- Isil Dillig15 talks
- Thomas Reps20 talks
- Loris D'Antoni17 talks
- Zhenjiang Hu15 talks
| title | conference | date |
|---|---|---|
| MatchBox: A Semantic Foundation for Data Plane Portability | PLDI 2026 | 2026-06-15 |
MatchBox provides a provable translation pipeline that turns source match-action tables into compact, semantically equivalent target tables using a new… | ||
| Optimal Predicate Pushdown Synthesis | PLDI 2026 | 2026-06-15 |
Systematically moves filters through stateful fold-based UDFs by synthesizing the strongest pre-filter Q and weakest residual P' that preserve semantics via a… | ||
| Homomorphism Calculus for User-Defined Aggregations | PLDI 2026 | 2026-06-15 |
Introduces a decidable homomorphism calculus and a synthesis tool Inc that reduces dataframe homomorphism verification to a local per-row check via a… | ||
| Active Learning for Neurosymbolic Program Synthesis | PLDI 2026 | 2026-06-15 |
Proposes a concrete active-learning pipeline for neurosymbolic synthesis that models neural uncertainty with constrained conformal evaluation and avoids… | ||
| Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation | PLDI 2026 | 2026-06-15 |
A new active-learning system called Socrates generates multiple-choice queries (each option a Hoare triple) instead of asking users to label concrete inputs… | ||
| Probabilistic Inference for Datalog with Correlated Inputs | PLDI 2026 | 2026-06-15 |
A new Datalog extension called Praline implements probabilistic inference that accounts for arbitrary input correlations by reducing exact inference to a… | ||
| Syntra: Synthesizing Cross-Layer Controllers for Low-Latency Video Streaming | NSDI '26 | 2026-05-04 |
A tool called Syntra synthesizes a cross-layer controller from a symbolic worst-case model and a declarative, lexicographic objective, using bounded-horizon… | ||
| Automated Discovery of Tactic Libraries for Interactive Theorem Proving | OOPSLA 2025 | 2025-10-16 |
A tool called TacMineR builds Tactic Dependence Graphs (TDGs) that encode formal input/output dependencies between tactic applications, finds isomorphic… | ||
| Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World(…) | PLDI 2025 | 2025-06-16 |
Neurosymbolic Program Synthesis combines pretrained neural primitives (vision models, classifiers, LLMs) with DSLs and symbolic constructs, using LLM-guided… | ||
| Graphiti: Bridging Graph and Relational Database Queries | PLDI 2025 | 2025-06-16 |
Builds an automated pipeline called Graphiti that encodes user mappings as a user-provided transformer, automatically derives a standard transformer, and… | ||
| From Batch to Stream: Automatic Generation of Online Algorithms | PLDI 2024 | 2024-06-24 |
Automated method extracts a relational function signature via static analysis, builds initial state by evaluating each spec on the empty list, and synthesizes… | ||
| Semantic Code Refactoring for Abstract Data Types | POPL 2024 | 2024-01-14 |
Automates ADT refactoring by taking an original implementation, a new data layout and a relational representation invariant, then synthesizing each method via… | ||
| Programming-by-Demonstration for Long-Horizon Robot Tasks | POPL 2024 | 2024-01-14 |
PROLEX synthesizes robot control programs by turning demonstrations into regex-like sketches, completing holes with an LLM-guided search, and pruning… | ||
| Data Extraction via Semantic Regular Expression Synthesis | OOPSLA 2023 | 2023-10-23 |
Smore implements semantic regexes that combine syntactic patterns with semantic predicates (dates, ranges, locations, person/org types) and synthesizes them by… | ||
| Inductive Program Synthesis Guided by Observational Program Similarity | OOPSLA 2023 | 2023-10-23 |
Introduces SyMetric, a tool that replaces observational equivalence with a domain-specific observational similarity metric to cluster programs into… | ||
| Automated Translation of Functional Big Data Queries to SQL | OOPSLA 2023 | 2023-10-23 |
Translates Spark RDD-style functional queries to SQL using counterexample-guided inductive synthesis plus a novel column-wise decomposition that extracts… | ||
| 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… | ||
| Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs | PLDI 2023 | 2023-06-17 |
Tool QED2 performs semantic reasoning over Circom-generated polynomial equations by combining SMT solving with lightweight uniqueness inference in an… | ||
| Automated Policy Synthesis for System Call Sandboxing | OOPSLA 2020 | 2020-11-15 |
Abhaya automatically generates sound, optimal syscall-whitelisting policies by combining a scalable static analysis with an SMT-guided synthesis phase. The… | ||
| Ask Me Anything with Işıl Dillig | PLDI 2020 | 2020-06-15 |
Covers practical advising tips — co-design problems with students, balance hands-off and hands-on mentorship, and foster group social time — plus concrete… | ||
| nothing matches | ||