BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Whole program type driven optimizations
DTSTART:20170825T091500
DTEND:20170825T111500
DTSTAMP:20260407T102533Z
UID:4af7c9b653399605af72b3012832c9d84f7625e07a0fd79f017d6d9f
CATEGORIES:Conferences - Seminars
DESCRIPTION:Nicolas Stucki\nEDIC candidacy exam\nExam president: Prof. Vik
 tor Kuncak\nThesis advisor: Prof. Martin Odersky\nCo-examiner: Prof. Chris
 toph Koch\n\nAbstract\nScala has a rich set of high level type abstraction
 s that unfortunately can come with a cost on the performance of the genera
 ted code. When using external libraries (such as the standard library) the
  compiler must take conservative decisions to ensure compatibility of the 
 interfaces. In Dotty we now have Tasty a precompiled AST representation of
  the program. It could be used to get all the high level abstractions info
 rmation that is usually gone when linking with a library and even re-optim
 ize the parts of the library that are needed for this particular applicati
 on.\n\nBackground papers\nCall graphs for languages with parametric polymo
 rphism\, by Petrashko D.\, et al.\nPractical and effective higher-order op
 timizations\, by Bergström L.\, et al.\nDesign and implementation of gene
 rics for the .NET Common language runtime\, by Kennedy A.\, Syme D.\n 
LOCATION:INR 331 https://plan.epfl.ch/theme/generalite_thm_plan_public?lan
 g=en&room=inr331&dim_floor=3&dim_lang=en&baselayer_ref=grp_backgrounds&tre
 e_groups=centres_nevralgiques%2Cacces%2Cmobilite_reduite%2Censeigneme
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR