Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Automating Construction of Provably Correct Software
Speaker:Prof. Viktor Kuncak
coming from:EPFL, Switzerland
Speakers Bio: Bio:
Viktor Kuncak is Associate Professor in the School of
Computer and Communication Sciences of the Swiss Federal
Institute of Technology, Lausanne.  His research goal is to
increase software development productivity and software
reliability through new algorithms and tools for synthesis,
analysis, and automated reasoning. In 2012 he received an
ERC grant to develop the concept of Implicit Programming,
whose aim to make programming easier and more accessible.
He also received a SIGSOFT distinguished paper award and his
work was also published as a Communications of ACM Research
Highlight.  He has been a program chair of the conferences
Verification, Model Checking and Abstract Interpretation
(2012), as well as Formal Methods in Computer-Aided Design
(2014).
Event Type:SWS Distinguished Lecture Series
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Thursday, 27 February 2014
Time:10:30
Duration:60 Minutes
Location:Saarbr├╝cken
Building:E1 5
Room:002
Abstract
I will present techniques my research group has been
developing to transform reusable software specifications,
suitable for users and designers, into executable
implementations, suitable for efficient execution. I outline
deductive synthesis techniques that transform input/output
behavior descriptions (such as postconditions, invariants,
and examples) into conventional functions form inputs to
outputs. We have applied these techniques to complex
functional data structures, out of core database algorithms,
as well as numerical computations.
Contact
Name(s):Vera Laubscher
Phone:9303-9600
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:111
Meeting ID:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Vera Laubscher, 02/21/2014 08:59 AM
  • Vera Laubscher, 02/20/2014 10:32 AM -- Created document.