SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Wed 18 Nov 2020 13:40 - 14:00 at SPLASH-IV - Types Chair(s): Peter-Michael Osera

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.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: TypesHATRA at SPLASH-IV
Chair(s): Peter-Michael OseraGrinnell College
13:00 - 13:20
Talk
HATRA
Will CrichtonStanford University
Link to publication
13:20 - 13:40
Talk
HATRA
Gongming (Gabriel) LuoUniversity of Michigan, Vishnu ReddyUniversity of Michigan, Marcelo AlmeidaUniversity of Michigan, Yingying ZhuUniversity of Michigan, Ke DuUniversity of Michigan, Cyrus OmarUniversity of Michigan
Link to publication Pre-print
13:40 - 14:00
Talk
HATRA
Dominic OrchardUniversity of Kent, UK, Mistral ContrastinFacebook London, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
Link to publication