Offentlige arrangementer
Bemærk at IT-Forums arrangementer ikke er offentlige men kun for medlemmer. Aarhus Universitet er medlem af IT-Forum, hvilket betyder at medarbejdere samt de studerende der har specielle interesser i specifikke arrangementer, pg.a. opgaveskrivning inden for emnet, derfor kan komme gratis ind. Andre skal betale for det.
|
| 10.01.2010 |
[PL Seminar] talk: Interprocedural Analysis with Lazy Propagation |
| |
Speaker: Anders Møller
Abstract
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions may not be distributive. The technique is described formally as a systematic modification of a variant of the monotone framework and its theoretical properties are shown. It is implemented in a type analysis tool for JavaScript where it results in a significant improvement in performance.
Joint work with Simon Holm Jensen and Peter Thiemann SK: 5211 |
| Tid/sted |
kl. 10:00 -11:00, Turing-014 |
| Info |
http://cs.au.dk |
|
| 15.01.2010 |
Presentation of Sirikata, an open source platform for games and virtual worlds |
| |
Henrik Bennetsen, Stanford Humanities Lab, will visit IMV and give a talk about Sirikata. Sirikata (www.sirikata.com) is a BSD licensed open source platform for games and virtual worlds. |
| Tid/sted |
kl. 13:15-15:00, Turing-014 |
| Info |
http://darc.imv.au.dk/?p=667 |
|
|