To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 24/06/09 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
                    http://pauillac.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                     Salle de conférences du bâtiment 7

                          Mercredi 24 juin, 10h30

                            --------------------
                            Armando Solar-Lezama
                            --------------------

                                 CSAIL, MIT

               =============================================
               The Sketching approach to practical synthesis
               =============================================

Sketching is a new programming model that incorporates localized
software synthesis to make programming easier.  The model is based on
the observation that only some aspects of the program require the full
insight and expertise of the programmer; the rest are low-level
details needed to make the insights work. Sketching allows the
programmer to focus the synthesizer on those low-level aspects while
maintaining control over the implementation strategy. This makes
programming easier while keeping the synthesis process scalable.

This talk will describe the sketching programming model and its
application to concurrent programming. The talk will describe the
basic algorithms behind sketching, and the main insights that allow
them to scale to interesting concurrent programming problems.

Biography.

Armando Solar-Lezama is a new Assistant Professor at MIT. Before that he
earned his PhD from the University of California at Berkeley, where he
worked with Rastislav Bodik. His work focuses on software synthesis
and computer supported programming. His interests also include
programming languages, compilers and parallel computing. Before coming
to Berkeley, he completed BS degrees in Math and CS at Texas A&M
University, where he also worked as a programmer writing massively
parallel neutron transport simulations.