BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium : Modeling Biology with Solver-Aided Programming Lan
 guages
DTSTART:20130927T151500
DTSTAMP:20260413T105351Z
UID:f3d8e25d1873d57d2b81fdad2c3b6ccc75576f3603f20c36be02efc7
CATEGORIES:Conferences - Seminars
DESCRIPTION:Ras Bodik - Professor of Computer Science at University of Cal
 ifornia\, Berkeley\nBio:\nRas Bodik is a Professor of Computer Science at 
 University of California\, Berkeley. He works on a range of techniques for
  program synthesis\, from programming by demonstration\, to sketching\, an
 d solver-aided languages. His group has applied synthesis to high-performa
 nce computing\, web browser construction\, algorithm design\, document lay
 out\, and biology.  He has designed a course on programming languages whe
 re student learn hands-on small-language design by constructing a modern w
 eb browser.Talk:\nModeling Biology with Solver-Aided Programming Languages
 \nA good model of a biological cell exposes secrets of the cell's signalin
 g mechanisms\, explaining diseases and facilitating drug discovery.  Mode
 ling cells is fundamentally a programming problem --- it's programming bec
 ause 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 experi
 mental observations of the cell faithfully.\nIn this talk\, I will introdu
 ce solver-aided programming languages and show how they ease modeling biol
 ogy as well as make programming accessible to non-programmers.  Solver-ai
 ded languages come with constructs that delegate part of the programming p
 roblem to a constraint solver\, which can be guided to synthesize parts of
  the program\, localize its bugs\, or act as a clairvoyant oracle.\nI will
  describe our work on synthesis of stem cell models in c. elegans and then
  show how our framework called Rosette can rapidly implement a solver aide
 d language in several domains\, from programming by demonstration to spati
 al parallel programming.\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