This is an old revision of the document!
====== Tresor Seminar ====== [[videos|Selected Talk Videos]] Regular slot: Tuesday (except for the first Tuesday each month), 16:15-17:15h, in room [[http://map.epfl.ch/?room=BC355|BC 355]] (Tresor Conference and Coffee Room) * Past talks: [[seminars:2010|2010]], [[seminars:2009|2009]], [[seminars:2008|2008]], [[seminars:2007|2007]], [[seminars:2006|2006]], [[seminars:2005|2005]] * [[:seminars:calendar|Graphical Calendar]] * [[:seminars:MeetingRoom|Reserve Tresor Conference Room BC355]] * [[:seminars:Instructions|Instructions]] \\ \\ ====== Upcoming Talks ====== \\ ===== Roles of Types in Logic, Computation and Security - an Overview ===== * 2013-02-28 - 15:00, [[http://plan.epfl.ch/?lang=en&room=BC410|BC 410]], [[http://imft.ftn.uns.ac.rs/~silvia|Prof. Silvia Ghilezan]], University of Novi Sad, Serbia Abstract: I will present an overview of results that emerged from type theoretic techniques. A particular attention will be given to the reducibility method in logic. Further, the role of classical types will be presented in the framework of delimited continuations. Finally, the role of types will be discussed in security control issues of linked documents and linked data. \\ ===== Transformation-based Program Analysis and Logic Solvers ===== * 2010-09-01 - 15:00, [[http://plan.epfl.ch/?lang=en&room=BC329|BC 329]], [[http://webfea.fea.aub.edu.lb/fadi|Dr. Fadi A Zaraket]], American University of Beirut Abstract: Word level compilers and linkers apply transformations at the word level to generate smaller and faster programs. Several techniques at the Boolean and circuit levels effectively reduce the complexity and the size of the program and make it amenable to decision procedures such as satisfiability solvers. These techniques miss many opportunities of optimizations that exist at the word level. Transformations such as word based compositional minimization, and word based abstractions are not even possible at the Boolean or circuit levels. In this talk we consider several techniques for program analysis including word level transformation based analysis.