Işıl Dillig

Formal Specification and Verification of Smart Contracts for Azure Blockchain

Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang et al. · arXiv (Cornell University) · 2018 · 55 citations · Full text

Engineering, Information Security, Verification +16

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

Shankara Pailoor, Yanju Chen, Franklyn Wang et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

Circuit Complexity, Cryptographic Primitive, Engineering +17

LambdaNet: Probabilistic Type Inference using Graph Neural Networks

Jiayi Wei, Maruth Goyal, Greg Durrett et al. · arXiv (Cornell University) · 2020 · 18 citations · Full text

Engineering, Machine Learning, Type Theory +17

Data Extraction via Semantic Regular Expression Synthesis

Qiaochu Chen, Arko Banerjee, Çağatay Demiralp et al. · Proceedings of the ACM on Programming Languages · 2023 · 17 citations · Full text

Engineering, Knowledge Extraction, Semantic Reasoning +18

UDF to SQL translation through compositional lazy inductive synthesis

Guo‐Qiang Zhang, Yuanchao Xu, Xipeng Shen et al. · Proceedings of the ACM on Programming Languages · 2021 · 13 citations · Full text