BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Modeling Biology with Solver-Aided Programming Languages
DTSTART:20130927T151500
DTEND:20130927T163000
DTSTAMP:20260408T073443Z
UID:6e88c3e269080165bddb67acc565fdcfb3e17adb17941d85e49fd74e
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Ras Bodik\, University of California (Berkeley)\nBio: Ra
 s Bodik is a Professor of Computer Science at University of California\, B
 erkeley. He works on a range of techniques for program synthesis\, from pr
 ogramming by demonstration\, to sketching\, and solver-aided languages. Hi
 s group has applied synthesis to high-performance computing\, web browser 
 construction\, algorithm design\, document layout\, and biology.  He has 
 designed a course on programming languages where student learn hands-on sm
 all-language design by constructing a modern web browser.\nA good model of
  a biological cell exposes secrets of the cell's signaling mechanisms\, ex
 plaining diseases and facilitating drug discovery.  Modeling cells is fun
 damentally a programming problem --- it's programming because the model is
  a concurrent program that simulates the cell\, and it's a problem because
  it is hard to write a program that reproduces all experimental observatio
 ns of the cell faithfully.\nIn this talk\, I will introduce solver-aided p
 rogramming languages and show how they ease modeling biology as well as ma
 ke programming accessible to non-programmers.  Solver-aided languages com
 e with constructs that delegate part of the programming problem to a const
 raint solver\, which can be guided to synthesize parts of the program\, lo
 calize its bugs\, or act as a clairvoyant oracle.\nI will describe our wor
 k on synthesis of stem cell models in c. elegans and then show how our fra
 mework called Rosette can rapidly implement a solver aided language in sev
 eral domains\, from programming by demonstration to spatial parallel progr
 amming.\nJoint work with Jasmin Fisher\, Ali Sinan Koksal\, Nir Piterman\,
  Evan Pu\, Saurabh Srivastava\, and Emina Torlak.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR