Loading Events

« All Events

  • This event has passed.

CSE Colloquium: Dana Fisman

January 26, 2016 @ 11:30 am - 12:30 pm UTC-5

Title:

New Directions in System Synthesis

 

Abstract:

System synthesis refers to the task of automatically generating an executable component of a system (e.g. a software or hardware component) from a specification of the component’s behavior. The traditional formalization of the problem assumes the specification is given by a logical formalism. Recent trends in synthesis relax the problem definition and consider a variety of inputs including logical requirements, incomplete programs, and examples behaviors. In this talk I will describe some of the challenges on the road to usable synthesis, a variety of current approaches for coping with them, and some success stories.

Details

Date:
January 26, 2016
Time:
11:30 am - 12:30 pm UTC-5
Event Category:

Venue

ITE 336
438 Whitney Road Extension, Unit 1006
Storrs, CT 06269-1006 United States
+ Google Map
Phone:
(860) 486-3798
Website:
https://www.cse.uconn.edu/

Connect With Us