Upcoming Meetings

15 October 2019 at 10:00AM

Gamification of Loop-Invariant Discovery from Code

Past Meetings

17 September 2019 at 10:00AM

Introductions

26 March 2019 at 01:30PM

Collision Based Uniformity Checking via Model Counting

11 December 2018 at 10:00AM

Abstraction in Robotics

4 December 2018 at 10:00AM

Type Inference in Remora

20 November 2018 at 10:00AM

Towards Verified-Safe Asynchronous Event-Driven Programming

13 November 2018 at 10:00AM

A Model-Based Framework for Analyzing the Safety of System Architectures

6 November 2018 at 10:30AM

Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities

30 October 2018 at 10:00AM

Numeric Stability Analysis for Unsafe Compiler Optimizations

23 October 2018 at 10:00AM

Side-Channel attacks in software implementations

16 October 2018 at 10:00AM

Invariant Discovery Game

9 October 2018 at 10:00AM

The refinement calculus of reactive systems

2 October 2018 at 10:00AM

Resource-Parameterized Program Analysis using Observation Sequences

25 September 2018 at 10:00AM

A Pruning Conditional Operator for miniKanren

18 September 2018 at 10:00AM

An introduction to rank-polymorphic programming