Guiding user annotations for units-of-measure verification (HATRA 2020 - Human Aspects of Types and Reasoning Assistants)

Who

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

Track

HATRA 2020

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 18 Nov 2020 13:40 - 14:00 at SPLASH-IV - Types Chair(s): Peter-Michael Osera

Abstract

This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our approach can guide the programmer in adding specifications (type annotations) to existing code, with the aim of easing adoption on legacy code.

Link to Publication

https://arxiv.org/abs/2011.06094

Dominic Orchard

University of Kent, UK

United Kingdom

Mistral Contrastin

Facebook London

United Kingdom

Matthew Danish

University of Cambridge, UK

Andrew Rice

University of Cambridge, UK

United Kingdom

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20	TypesHATRA at SPLASH-IV Chair(s): Peter-Michael Osera Grinnell College

13:00 20m Talk		The Usability of Ownership HATRA Will Crichton Stanford University Link to publication
13:20 20m Talk		RustViz: Interactively Visualizing Ownership and Borrowing HATRA Gongming (Gabriel) Luo University of Michigan, Vishnu Reddy University of Michigan, Marcelo Almeida University of Michigan, Yingying Zhu University of Michigan, Ke Du University of Michigan, Cyrus Omar University of Michigan Link to publication Pre-print
13:40 20m Talk		Guiding user annotations for units-of-measure verification HATRA Dominic Orchard University of Kent, UK, Mistral Contrastin Facebook London, Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK Link to publication