Everyone is welcome to attend our meetings and talks.
Topic | Date | Room | Presenter |
---|---|---|---|
Mutable Wadlerfest DOT practice talk | Jun 9, 2017 | DC 3126 | Marianna Rapoport |
Efficient Pointer Analysis of Java in Logic phd | May 2, 2017 7 am |
DC 2314 | Rei Thiessen |
Static Types With Less Syntax: Locus Types masters | Apr 28, 2017 | DC 3126 | Adam Domurad |
A General Pluggable Type Inference Framework and its use for Data-flow masters | Apr 21, 2017 11:30 am |
EIT 3142 | Jianchu Li |
Modern SAT Solvers | Mar 31, 2017 | DC 2314 | Ifaz Kabir |
JIT-Level Gradual Contracts | Mar 17, 2017 | DC 2314 | Gregor Richards |
Implicit Parameters for Logic Programming | Nov 11, 2016 | DC 2314 | Magnus Madsen |
Efficient Expression Resolution for Cforall | Oct 14, 2016 | DC 2314 | Aaron Moss |
Implementing a Functional Language for Flix masters | Sep 1, 2016 | Ming-Ho Yee | |
C++ const and Immutability: An Empirical Study of Writes-Through-const practice talk | Jun 24, 2016 | DC 2314 | Jon Eyolfson |
From Datalog to Flix: A Declarative Language for Fixed Points on Lattices practice talk | Jun 10, 2016 | DC 2314 | Magnus Madsen |
Logic Programming and Static Analyses | May 27, 2016 | DC 2314 | Rei Thiessen |
Interprocedural Optimizations for Scala invited | May 17, 2016 | DC 2585 | Dmitry Petrashko |
Feedback-Directed Instrumentation for Deployed JavaScript Applications practice talk | May 16, 2016 | DC 3317 | Magnus Madsen |
LocusTypeScript: Rich Types From Code Locations for JavaScript | May 13, 2016 | DC 2314 | Adam Domurad |
Gradual Pluggable Typing in Java masters | Mar 18, 2016 | DC 3317 | Dan Brotherston |
The Flix Language | Mar 4, 2016 | DC 2314 | Ming-Ho Yee |
POPL 2016 | Feb 5, 2016 | DC 3317 | Marianna Rapoport |
Haskell-Like Effectful Computations in Scala Without Monads | Jan 15, 2016 | DC 3317 | Uroš Dimitrijević |
Understanding the DOT calculus, Part II | Jan 15, 2016 | DC 3126 | Ondřej Lhoták |
Understanding the DOT Calculus, Part I | Jan 8, 2016 | DC 3317 | Ondřej Lhoták |
DOTIR: Reference Immutability and Purity in Scala and DOT | Dec 4, 2015 | DC 2310 | Jonathan Rodriguez |
Monotonic Analysis of Indirect Memory Operations | Nov 20, 2015 | DC 2585 | Rei Thiessen |
OOPSLA 2015 Highlights | Nov 6, 2015 | DC 2585 | Jeff Luo |
Static Analysis of Event-Driven Node.js JavaScript Applications practice talk | Oct 16, 2015 | DC 2585 | Magnus Madsen |
Static Analysis of Web API Usage in Android Applications | Sept 25, 2015 | DC 2585 | Marianna Rapoport |
A palaver is a 15 to 30 minutes informal lunch presentation. You can talk about anything you like: introduce yourself, talk about your hobbies, a book you read, movie you saw, place you visited, conference you attended, etc.
We hold the palavers every second Friday at noon. Feel free to bring lunch!
Topic | Date | Room | Presenter |
---|---|---|---|
Mathematics in Sports | Jun 30, 2017 | DC 2314 | Ramin Zarifi |
What does left trigger do? Accessibility in Gaming | Jun 16, 2017 | DC 2314 | Andrew James Beach |
The Mosquito Safari | Jun 2, 2017 | DC 2314 | Abel Nieto |
Cocktails | May 19, 2017 | DC 2314 | Paul He |
Electoral Reform | May 5, 2017 | DC 2314 | Aaron Moss |
Hergé | Mar 24, 2017 | DC 2314 | Ellen Arteca |
Photography Through Reverse Engineering, part II | Mar 10, 2017 | DC 2314 | Jeff Luo |
Wiedźmin (The Witcher) | Feb 10, 2017 | DC 2314 | Thierry Delisle |
How to Make Money Playing Video Games | Jan 27, 2017 | DC 2314 | Alexi Turcotte |
Terrible Video Games | Jan 13, 2017 | DC 2314 | Gregor Richards |
The Best Documentaries in the World (slides) | Dec 9, 2016 | DC 2314 | Marianna Rapoport |
Haute Route (slides) | Nov 18, 2016 | DC 3317 | Patrick Lam |
Thunder Bay | Nov 4, 2016 | DC 3317 | Daniel Caccamo |
Modern Board Games | Oct 21, 2016 | DC 3317 | Garo Brik |
Bangladeshi Sweets | Oct 7, 2016 | DC 3317 | Ifaz Kabir |
Hiking in the Mountains | Sep 23, 2016 | DC 3317 | Magnus Madsen |
Supeheroes | Jul 29, 2016 | DC 3317 | Rob Schluntz |
My Baking Experience | Jul 15, 2016 | DC 3317 | Mier Ta |
How Game Maker Made Me a Programmer | Jun 17, 2016 | DC 3317 | Adam Domurad |
Biking in the Netherlands | Jun 3, 2016 | DC 3317 | Dan Brotherston |
First Steps: Coffee | May 20, 2016 | DC 3317 | Jon Eyolfson |
The History of Classical Music | May 6, 2016 | DC 3317 | Ming-Ho Yee |
Photography Through Reverse Engineering | Apr 22, 2016 | DC 3317 | Jeff Luo |
Werner's Voyages | Mar 11, 2016 | DC 3317 | Werner Dietl |
Magic the Gathering | Feb 26, 2016 | DC 2314 | Magnus Madsen |
Why I Took a Second Christmas Vacation | Feb 12, 2016 | DC 2314 | Aaron Moss |
Winter Won't Stop Me From Biking | Jan 29, 2016 | DC 3317 | Dan Brotherston |
Quizbowl | Jan 22, 2016 | DC 3317 | Ming-Ho Yee |
Powered Paragliding | Dec 11, 2015 | DC 2314 | Gregor Richards |