Presence

  • kheadley@uab.edu
  • @kylenheadley
  • Github
  • Research Gate
  • Scholar
  • LinkedIn

Links

  • CV (12-2019)
  • UAB CS
  • Adapton.org
  • CUPLV Site
  • Plum Site

Latest News

Organizing ICFP

Sept 4, 2019

I've agreed to help organize ICFP as the Student Volunteer Co-Chair for the next two years. It's a honor to help the next generation of researchers!

Talking Visualization

July 3, 2019

I'll be at ICFP this summer to give a Scheme workshop talk on a program analysis visualizer I've been working on, discussed in the submitted paper.

Paper accepted

Dec 22, 2018

My single-author paper was accepted for publication at IFL'18! I expect everyone to start using Rust's type functions now!

New position

Dec 21, 2018

I'll be continuing my studies as a PhD student for Thomas Gilray of the University of Alabama at Birmingham. We start this spring.

Something different

Aug 1, 2018

I've developed a side project just enough to share. I'll be at IFL and ICFP next month sharing work from a short draft and a shorter abstract, respectively.

Not This Time

Jan 17, 2018

My POPL'18 SRC entry didn't make it to the final round this time, but you can see the submitted abstract, presented poster, and unused slides.

SV Co-Captain

Oct 17, 2017

I've accepted a position in the organizing committee of PLDI18 as Student Volunteer Co-Captain. We'll send out the call for volunteers after paper acceptances are announced.

SRC Award

June 22, 2017

My contribution to PLDI'17 SRC won 2nd place! Now I have an award from a grad student entry to compliment my undergrad award. There was an abstract, a poster, and a talk(with slides).

Speaking of my work

May 10, 2017

Returned from the PLEMM conference at facebook, where my advisor spoke about our work. Next I'll be speaking about it at PLDI's new IC workshop. The abstract is here.

First First-Author Paper

November 10, 2016

My submission to TFP has been accepted for publication. I'll soon be a first author of a CS paper!

TFP Talk Acceptance

May 3, 2016

I'll be returning to UMD to talk about my latest work with functional data structures, along with others.

All four!

April 25, 2016

My SRC submission on the random access zipper was accepted at PLDI for poster presentation.

I got in to every major PL convention this school year!

Dagstuhl Seminar

March 18, 2016

I've been invited to Germany in October to attend a seminar on Programming Language Techniques for Incremental and Reactive Computing.

Mozilla internship

February 23rd, 2016

I received my offer letter today. I'll be working for Mozilla on a research team over the summer!

Three in a row!

December 2nd, 2015

My paper "Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations" was accepted to Off the Beaten Track, co-located with POPL16.

That makes three big conventions in a row that I'll have authored content at!

2nd place at ICFP SRC!

September 2nd, 2015

I presented 'Sparse Adapton' as a poster and talk at ICFP, and won second place in the Student Research Contest. Here's the video of the talk.