Kyle Headley -

Registered user since Tue 16 May 2017

Name:Kyle Headley

Country:United States

Affiliation:The University of Alabama at Birmingham

Personal website: http://kyleheadley.github.io

Research interests:Computation Structures, Program Analysis, Incremental Computation, Visualization

Contributions

2020

ICFP

Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteering-track

2019

Scheme

Author of Visualizing Abstract Abstract Machines within the Scheme 2019-track

2018

PLDI

Student Volunteer Co-Chair in Organizing Committee

POPL

Presenter of Simplifying incremental code with IODyn within the Student Research Competition-track

2017

Incremental Computing

Author of Tuning Data and Control Structures for Incremental Computation within the IC 2017-track

2016

Off the Beaten Track

Author of Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations within the Off the Beaten Track-track

2015

SPLASH