Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
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 interests are program analysis, verification, and synthesis as well as their applications in security and databases. She is the recipient of a Sloan Fellowship and an NSF CAREER award, and, prior to joining UT, she got all her degrees (BS, MS, and PhD) from Stanford University. Outside of work, she can be found hiking, scuba diving, and taking photographs in various parts of the world.

Affiliation: University of Texas at Austin, USA

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

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

Contributions

MAPL 2020Invited Speaker of LambdaNet: Probabilistic Type Inference using Graph Neural Networks within the MAPL-track
PLDI 2020Committee Member in Steering Committee
Committee Member in Program Committee within the PLDI Research Papers-track
Author of "Ask Me Anything" with Işil Dillig within the Ask Me Anything-track
Author of Multi-modal Synthesis of Regular Expressions within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile