Thu 11 Jan 2018 18:51 - 18:58 at Bunker Hill / Watercourt - Poster Session

Thu 11 Jan

Displayed time zone: Tijuana, Baja California change

18:30 - 20:30
18:30
7m
Talk
A Decidable Logic for Tree Data-Structures with Measurements
Student Research Competition
18:37
7m
Talk
Combining Control Operators and Dependent Types
Student Research Competition
Youyou Cong Ochanomizu University, Japan
18:44
7m
Talk
Comparing Liquid Haskell and Coq: Evaluating the Great Expectations of “A Tale of Two Provers”
Student Research Competition
18:51
7m
Talk
Comparison among three program verification techniques in Dependent Haskell, Liquid Haskell and F*
Student Research Competition
Xinyue Zhang Bryn Mawr College, USA, Rachel Xu
18:58
7m
Talk
Finite Maps At The Type Level
Student Research Competition
Divesh Otwani Haverford College
19:05
7m
Talk
Formal Models Underlying Blockchain Technology
Student Research Competition
Haochen Xie Nagoya University
19:12
7m
Talk
Generating Information-Flow Control Mechanisms from Programming Language Specifications
Student Research Competition
Andrew Bedford Laval University
19:19
7m
Talk
How to Make Your Programs Very Safe: A Review of Practical Applications of Dependent Types
Student Research Competition
19:26
7m
Talk
Modelling Microcontroller Hardware using Typestate
Student Research Competition
Rudi Horn University of Edinburgh
19:33
7m
Talk
Program Synthesis with Neural Oracles
Student Research Competition
19:40
7m
Talk
Propositional Dynamic Logic for Higher-Order Functional Programs
Student Research Competition
Yuki Satake University of Tsukuba
19:47
7m
Talk
Relational Cost Analysis with State
Student Research Competition
Weihao Qu University at Buffalo, SUNY
19:54
7m
Talk
Robust Example-based Synthesis
Student Research Competition
20:01
7m
Talk
Simplifying incremental code with IODyn
Student Research Competition
Kyle Headley University of Colorado Boulder
20:08
7m
Talk
Software Fault Isolation for Robust Compilation
Student Research Competition
Ana Nora Evans University of Virginia, USA
20:15
7m
Talk
Synchronous Proofs for Asynchronous Programs
Student Research Competition
Bernhard Kragl IST Austria
20:22
7m
Talk
Type-Driven Gradual Security with References
Student Research Competition
Matías Toro University of Chile