| Date |
Time |
Speaker |
Talk Title |
| 2023-11-20 |
12:00 |
Stephen Kell
|
How debuggable is your (compiler-optimised) program? |
| 2023-11-13 |
12:00 |
Florrie Verity
|
Who cares about modal type theory? |
| 2023-11-10 |
11:00 |
Stewart Webb
|
Adapting the Pony language onto the seL4 microkernel - In search of a capability-focused microkernel programming interface |
| 2023-10-30 |
12:00 |
Noah Gorrell
|
Constructing the p-adic numbers in HOL4 |
| 2023-10-16 |
12:00 |
Gary Miller
|
Modelling the Fitness of a System of Languages |
| 2023-10-09 |
12:00 |
Claire Huang
|
Improving Garbage Collection Observability with Performance Tracing |
| 2023-09-18 |
12:00 |
Iman Shames
|
Verifying the uncountable: LTL verification in continuous-time |
| 2023-09-11 |
12:00 |
Xiaoyu Sun
|
Taming reflection and native: essential steps toward whole-program analysis of android apps |
| 2023-09-04 |
12:00 |
Tiange Liu
|
Modal Logics for Mobile Processes Revisited |
| 2023-08-21 |
12:00 |
Steve Reeves
|
A logic for veracity |
| 2023-08-14 |
12:00 |
Xiang (Jenny) Ren
|
Relational Debugging - Pinpointing Root Causes of Performance Problems |
| 2023-08-07 |
12:00 |
Amos Robinson
|
Pipit: verifying reactive systems in F* |
| 2023-07-24 |
12:00 |
Alex Potanin
|
Program Synthesis with Higher Order Specifications |