Işıl Dillig - PLDI 2021 (original) (raw)

Write a Blog >>

• Attending

• Program

• Tracks
  * Ask Me Anything
  * CARES
  * PLDI
  * Invited Talks
  * Research Artifacts
  * Tutorials
  * - Beyond Weak Memory Consistency: The Challenges of Memory Persistency
  * - IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
  * - Implementing smart contract security analyses using the MadMax/Gigahorse framework
  * Workshops and Tutorials
  * Social
  * SRC
  * Student Volunteering
  * Sponsors

• Organization
  * Organizing Committee
  * Steering Committee
  * Virtualization Committee
  * PLDI
  * Research Artifacts
  * SRC
  * Student Volunteering
  * People Index

• Search

• Series

• Sign in

• Sign up

Registered user since Thu 10 Apr 2014

Name:Işıl 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.

Country:United States

Affiliation:University of Texas at Austin

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

Contributions

2021

PLDI

• Synthesizing Data Structure Refinements from Integrity Constraints
• Session Chair of Keynote (part of Invited Talks)
• Committee Member in Program Committee within the PLDI-track
• Web Question Answering with Neurosymbolic Program Synthesis
• Committee Member in Virtualization Committee

MAPS

• Opening Remarks
• Program Chair in Organizing Committee within the MAPS 2021-track

Show activities from other conferences

x_Fri 10 Apr 20:17_