Summer BOB 2019 - Program
Practice Track |
Research Track |
||
| 8:00-9:00 | Registration |
||
| 9:00-9:10 | Greetings |
||
| 9:10-9:55 |
Purely functional distributed programming for collaborative applications
Adriaan Leijnse
|
Using Formal Methods to Eliminate Exploitable Bugs
Kathleen Fisher
|
|
| 10:00-10:30 |
coffee break |
||
| 10:30-11:15 |
Statistical testing of software
Stevan Andjelkovic
|
Dependent Types in Haskell
Stephanie Weirich
|
|
| 11:20-12:05 |
From idea to working product in 7 days
Philipp Maier
|
In Search of Software Perfection
Xavier Leroy
|
|
| 12:10-12:55 |
Expressive Linear Algebra in Haskell
Henning Thielemann
|
Type-driven Development in Action
Edwin Brady
|
|
| 13:00-14:15 |
lunch |
||
| 14:15-15:00 |
Functional Design Patterns
Franz Thoma
|
Liquidate your
Assets
Niki Vazou
|
|
| 15:00-15:20 |
coffee break |
||
| 15:20-16:05 |
Scala Type Classes
Alexey Novakov
|
Types for Protocols
Peter Thiemann
|
|
| 16:10-16:55 |
Creating maintainable mobile games in Haskell
Christina Zeller
|
A Functional Reboot for Deep Learning
Conal Elliott
|
|
| 16:55 | Closing |
||