Pomona College’s computer science department is hiring Fall of 2021 for Fall 2022. I used to work at Pomona, and there is a lot to recommend it. Pomona College is a small liberal arts college (SLAC) in LA County, 35mi/45-240min outside DTLA. It’s a 2:2 teaching load.| www.weaselhat.com
I'm looking for PhD students in the Fall 2023 application cycle, to start in Fall 2024. Come work with me at Stevens CS in Hoboken, NJ! I'm particularly looking for students with expertise in systems, but I'm happy to talk to anyone with background related to my work (systems, programming languages, databases, logic).| weaselhat
The first person to explain answer set programming (ASP, pronounced ‘ay ess pee’) to me (Joe Osborn) told me about the three line implementation of graph coloring and the termination guarantees. Like any PL person, I recoiled in horror: you have an always-terminating language where I can solve NP-complete problems in three lines? So every […]| weaselhat
While undergrad is about acquiring skills, grad school is about a set of values.| weaselhat
Program synthesis is an appealing notion: I give you a pretty good (but incomplete) description of a program, and you give me a working program back out. What do successful program synthesis tools have in common? When is program synthesis worthwhile?| weaselhat
Kleene algebra with tests is a beautiful, powerful framework for reasoning about programs. But creating new concrete KATs is hard. Our PLDI 2022 paper offers a theoretical framework for deriving concrete KATs, along with an OCaml implementation.| weaselhat
How should we summarize performance numbers? In a recent benchmark run, I had some interesting speedup numbers that I wasn’t certain how to report. While it’s easy to make charts that are illuminating, I’m not certain what I should say in, e.g., an abstract. Here’s the raw data (also available as a spreadsheet), noting that […]| weaselhat
I want to believe in a future where the lion will lie down with the lamb; we’ll beat our swords into plowshares; and developers will migrate dynamic prototypes to robust static systems with confidence. But these Aquarian visions are elusive. Having a map of the road to paradise in theory doesn’t mean we know how […]| weaselhat
I’m looking for PhD students in the Fall 2021 application cycle, to start in Fall 2022. Come work with me at Stevens CS in Hoboken, NJ! What will we work on? I’m interested in applying formalism — all those pretty Greek letters in program semantics, type systems, and static analysis — directly to real systems […]| weaselhat
After six years at Pomona College, I’ve moved to Stevens Institute of Technology as an assistant professor in the computer science department. I miss my lovely Pomona colleagues—they’re hiring!—but I’m excited to be on the East Coast and to be doing more research with a new set of lovely colleagues. I’ve got a new webpage, […]| weaselhat