Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Işıl Dillig

University of Texas at Austin

United States

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in United States Professors in Artificial Intelligence Artificial Intelligence professors in United States

Articles (24)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Collaborators (11)

Chao Wang

University of Southern California

UNITED STATES

View details

Xipeng Shen

Professor

Purdue University

UNITED STATES

View details

Yu Feng

Assistant Professor

University of California

UNITED STATES

View details

Robert Zhang

Johns Hopkins University

UNITED STATES

View details

Yuepeng Wang

Simon Fraser University

CANADA

View details

Aditya Akella

Professor

University of Texas at Austin

UNITED STATES

View details

Christian Collberg

Professor

University of Arizona

UNITED STATES

View details

Anders Møller

Professor

Aarhus University

DENMARK

View details

Jocelyn Qiaochu Chen

Assistant Professor

University of Alberta

CANADA

View details

Joydeep Biswas

Associate Professor

University of Texas at Austin

UNITED STATES

View details

Dixin Tang

Assitant Professor

University of Texas at Austin

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Işıl Dillig

Research Interests

Make your next move.

Explore related searches

Articles (24)

MatchBox: A Semantic Foundation for Data Plane Portability

Optimal Predicate Pushdown Synthesis

Editorial Message

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation

Incremental Inference for Probabilistic Datalog

Graphiti: Bridging Graph and Relational Database Queries

Active Learning for Neurosymbolic Program Synthesis

Automated Discovery of Tactic Libraries for Interactive Theorem Proving

Homomorphism Calculus for User-Defined Aggregations

Probabilistic Inference for Datalog with Correlated Inputs

Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies

Automated Verification of Consistency in Zero-Knowledge Proof Circuits

Integer Reasoning Modulo Different Constants in SMT

Semantic Code Refactoring for Abstract Data Types

From Batch to Stream: Automatic Generation of Online Algorithms

Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations

Programming-by-Demonstration for Long-Horizon Robot Tasks

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis

Automated Translation of Functional Big Data Queries to SQL

Data Extraction via Semantic Regular Expression Synthesis

Inductive Program Synthesis Guided by Observational Program Similarity

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

ImageEye: Batch Image Processing using Program Synthesis

Synthesis-powered optimization of smart contracts via data type refactoring

Collaborators (11)

Chao Wang

Xipeng Shen

Yu Feng

Robert Zhang

Yuepeng Wang

Aditya Akella

Christian Collberg

Anders Møller

Jocelyn Qiaochu Chen

Joydeep Biswas

Dixin Tang

Make your next move.