[Club2] Talks by Philipp Gergen and Markus Westerlind: Friday, August 23, 14:00, Room Turing (00.09.38)

Andrei Popescu uuomul at yahoo.com
Mon Aug 19 21:12:18 CEST 2013


Dear All,  

This Friday, besides Carst Tankink's talk from 10:00, we also have two 
Bachelor's thesis presentations starting at 14:00.  Details below.  

Cheers, 
  Andrei 

First talk: 

Philipp Gergen: Improved Facilities for Finding Theorems
========================================================
Friday, August 23, 14:00, Room Turing (00.09.38)

With the database of proved theorems steadily increasing in size, it is vital to find theorems effectively and efficiently. The currently implemented solution to do
so requires the user to type the search command directly into the editor text area. In this talk I will present an easier to use graphical user interface as Isabelle
plugin, that is able to find theorems. After the initial explaining the plugin's development process, I continue with demonstrating the most important
features of it. In conclusion, some further currently not implemented options to improve the usability will be discussed.

Second talk: 


Markus Westerlind: Evaluation of the library REPA for Data Parallel Programming in Haskell
==========================================================================================
Friday, August 23, 14:30, Room Turing (00.09.38)

As computers becomes increasingly parallel, utilizing the additional cores becomes ever more important. Since parallel programs has additional complexities not present in sequential programs such as race conditions it is of importance to have safe ways to inject parallelization. 

This talk will be about the Haskell library Repa which gives the ability to express parallel computations over multi dimensional arrays. Repa eases parallel programming because e.g. it is purely functional, allows for shape polymorphism and important optimizations are guided by the type system. I will explain the ideas which lie behind the library, provide examples on what functions Repa exposes and allows to be written as well as performance comparisons on a N-Body implementation.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20130819/ee0b8b4f/attachment.html>


More information about the Club2 mailing list