Lab for Automated Reasoning and Analysis LARA

Projects Presentation Schedule

08:00 - Group 02 - multi-methods
08:10 - Group 03 - type inference
08:20 - Group 05 - JS-compiler
08:30 - Group 14 - JS-debugger
08:40 - Group 27 - GC (copying)
08:50 - Group 26 - GC (mark and sweep)
09:00 - Group 25 - graphics
09:10 - Group 06 - closures
09:20 - Group 07 - Abstract Interpretation (ints/indices)
09:30 - Group 09 - Abstract Interpretation (deadcode)
09:40 - Group 08 - Generics / Type parameters
09:50 - Group 11 - Traits
10:00 - Group 10 - Instrumentation and code coverage
10:10 - Group 18 - ADTs and Pattern Matching
10:20 - Group 28 - ADTs and Pattern Matching
10:30 - Group 16 - REPL
10:40 - Group 17 - Macros
10:50 - Group 22 - Assert macros/specs
11:00 - Group 19 - Args/Fields
11:10 - Group 20 - Tailrec optimization
11:20 - Group 23 - Liberal syntax
11:30 - Group 32 - LLVM
11:40 - Group 12 - VM
11:50 - Group 13 - VM
 
cc14/labs_07_schedule.txt · Last modified: 2014/12/15 11:39 by ekneuss
 
© EPFL 2018 - Legal notice