Skip to main content

Posts

Showing posts from September, 2015

Strange Loop 2015 Highlights

I've returned from Strange Loop in St. Louis, a tech conference whose talks commonly include themes like PL, web dev, distributed systems, functional programming, and tech education. I was giving an invited talk at the Future Programming Workshop (FPW), part of the Strange Loop preconference.

This year, I had to leave early, missing half of Strange Loop proper, but fortunately there are recordings of all the talks up on YouTube! Unfortunately, the hallway track can't be recorded for delayed consumption, and I'm still bummed to've missed out on talking to a bunch of people I either failed to meet or only had one passing conversation with.

That said, even two days was enough time to come away with plenty to write and think about, and I'd like to share some of my personal highlights of the conference with you.

"I See What You Mean" by Peter Alvaro was the first keynote talk, kicking off Strange Loop. In it he tells the story of Dedalus, a temporal logic progr…

Upcoming Appearances

I'll be appearing at a few conferences soon:


I'm giving the last invited talk at Future Programming Workshop @ Strange Loop this Thursday, September 24th. It's an adaptation of my thesis defense with more focus on the Ceptre programming language itself.I'll be on a panel at PLMW @ SPLASH, an edition of the Programming Languages Mentoring Workshop geared toward undergrads who may be interested in pursuing a Ph.D. in PL. PLMW is on Tuesday, October 27th.I'll be presenting my paper on Ceptre at AIIDE in Santa Cruz, sometime in November 14-18 (the program isn't up yet).  Say hi if you'll be around!

Dissertation and defense slides!

The final draft of my dissertation has been sent to the printers, and you can download the PDF via that link! I'm now on a list of people I've looked up to for a long time as research role models, which is a bit bewildering.

For the short and vague version (I rely a lot on spoken content rather than words-on-slides for talks), check out the slides for my defense talk on SpeakerDeck.