Search filters

List of works by Işıl Dillig

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

scientific article published on 06 June 2023

Automated Translation of Functional Big Data Queries to SQL

scientific article published on 06 April 2023

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems

scientific article published on 05 May 2023

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis

scientific article published on 08 October 2024

From Batch to Stream: Automatic Generation of Online Algorithms

scientific article published on 20 June 2024

ImageEye: Batch Image Processing using Program Synthesis

scientific article published on 06 June 2023

Learning Contract Invariants Using Reinforcement Learning

scientific article published on 06 January 2023

Programming-by-Demonstration for Long-Horizon Robot Tasks

scientific article published on 05 January 2024

Semantic Code Refactoring for Abstract Data Types

scientific article published on 05 January 2024

SolType: refinement types for arithmetic overflow in solidity

scientific article published on 12 January 2022

Paulina is supported by:

About Paulina

Help