Isil Dillig
where else to find them
linkedin:isil-dillig-29405a8
what they talk about
all 7 in the filters
where they keep going back
all 6 in the filters
on a stage with
all 28 in the filters
who talks about the same things
- Işıl Dillig21 talks
- Yu Feng9 talks
- Xinyu Wang14 talks
- Shankara Pailoor5 talks
- Armando Solar-Lezama18 talks
- Ranjit Jhala19 talks
| title | conference | date |
|---|---|---|
| Towards Performance Robustness for Microservices | NSDI '26 | 2026-05-04 |
Paper claims that run-time performance robustness certificates (PERCs) give statistical upper bounds on tail latency under bounded perturbations and that… | ||
| SolType: Refinement Types for Arithmetic Overflow in Solidity | SPLASH 2022 | 2022-12-05 |
SolType adds refinement types to Solidity and Solid implements it, inferring contract invariants to prove arithmetic overflow absence rather than paying… | ||
| Automated transpilation of imperative to functional code using neural-guided program synthe | OOPSLA 2022 | 2022-12-05 |
A tool called NGST2 implements a neural-guided synthesizer that converts imperative Java and Python snippets into Stream and functools pipelines by assuming… | ||
| Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring | OOPSLA 2022 | 2022-12-05 |
Tool called Solidare uses a small DSL plus optimal program synthesis (sketch generation, sketch completion, equivalence checking) and a static gas-cost proxy… | ||
| Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution | POPL 2022 | 2022-01-16 |
The paper presents a bottom-up synthesis method that actually builds recursive functional programs by executing incomplete programs under angelic semantics… | ||
| Simplifying Concurrent Programming via Synchronization Synthesis | VMCAI 2022 | 2022-01-16 |
Given an implicit-monitor spec using conditional critical regions, the system synthesizes concrete locks and condition-variable operations by reducing… | ||
| SolType: Refinement Types for Arithmetic Overflow in Solidity | POPL 2022 | 2022-01-16 |
SolType is a refinement-type system for Solidity with an implementation called Solid that translates contracts to a miniSol SSA IR, encodes overflow checks as… | ||
| UDF to SQL Translation through Compositional Lazy Inductive Synthesis | OOPSLA 2021 | 2021-10-17 |
A tool called CLIS implements compositional lazy inductive synthesis to convert Scala UDFs into pure SQL by building a data‑flow graph, applying DFG… | ||
| Verifying Correct Usage of Context-Free API Protocols | POPL 2021 | 2021-01-17 |
CFPChecker verifies context-free grammar API protocols by over-approximating program API sequences with a CFG, checking language inclusion, and running… | ||
| 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… | ||
| Program Verification using Abductive Reasoning | PLMW @ POPL 2020 | 2020-01-21 |
Uses abductive reasoning to synthesize loop invariants by asking what extra facts make the verification condition entail the postcondition, then checks… | ||
| nothing matches | ||