LambdaNet: Probabilistic Type Inference using Graph Neural Networks
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.
Tue 16 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
|08:00 - 08:30|
Elizabeth DinellaUniversity of Pennsylvania
|08:30 - 09:30|
|09:30 - 10:00|
Isil DilligUniversity of Texas at Austin, USA