Software Technology Colloquium Excerpt
Stc
2011-09-29 Fr. BBL 071.
11:00 - 12:00, Levin Fritz, Balancing Cost and Precision of Approximate Type Inference in Python (thesis defense). 2011-08-26 Fr. BBL 071.
15:00 - 16:00, Jeiel Schalkwijk, Smart Regression Testing with T2 (thesis defense). 2011-08-25 Th. BBL 071.
12:00 - 13:00, Steven Keuchel, Generic Programming with Binders and Scope (thesis defense).
13:00 - 14:00, Remy Willems, Compiler Optimization for Databases Programming Language (thesis defense). 2011-08-24 We. BBL 071.
11:00 - 12:00, Dragos Ionita, Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language (thesis defense).
13:00 - 14:00, Christiaan Hees, Strategies for Directed Generation of Test Sequences (thesis defense). 2011-08-23 Tu. BBL 071.
11:00 - 12:00. Ales Sturala, Record-based Logging (thesis defense). 2011-08-22 Mo. BBL 071. Reserved for thesis defense. Available time: 9:00 - 13:00.