Write a Blog >>
ISMM 2018
co-located with PLDI 2018
Isil Dillig

Registered user since Thu 10 Apr 2014

Name: Isil Dillig

Bio: Isil Dillig is an Associate Professor of Computer Science at the University of Texas at Austin where she leads the UToPiA research group. Her main research area is programming languages, with a specific emphasis on static analysis, verification, and program synthesis. The techniques developed by her group aim to make software systems more reliable, secure, and easier to build in a robust way. Dr. Dillig is a Sloan Fellow and a recipient of the NSF CAREER award. She obtained all her degrees (BS, MS, and PhD) from Stanford University.

Affiliation: UT Austin

Personal website: http://www.cs.utexas.edu/~isil/

Research interests: Program analysis, program synthesis, program verification, programming languages, security, software engineering


PLMW @ PLDI 2018Speaker in Speakers within the PLMW @ PLDI 2018-track
Presenter of Program verification using abductive reasoning within the PLMW @ PLDI 2018-track
PLDI 2018Author of Symbolic Reasoning for Automatic Signal Placement within the PLDI Research Papers-track
Author of Program Synthesis using Conflict-Driven Learning within the PLDI Research Papers-track
Session Chair of Program Analysis (part of PLDI Research Papers)
Steering Committee Member in Steering Committee
Committee Member in Program Committee
Show activities from other conferences

PLDI 2018-profile
View general profile