This page holds my “year 3 review” materials for evaluation and promotion at Syracuse University. My detailed personal statement (including teaching and research statements) is here My current CV is linked here A (~22MB) zip file linked here gives the full review packet, including CV, papers, and my personal statement.| Kristopher Micinski
When I began programming, I read a copy of Richard Steven’s “Programming in the UNIX Environment.” Ultimately, my early experimentations with C were a failure; however, I later read David Beazley’s “Python: Essential Reference,” and was quickly able to pick up the UNIX API via it’s much simpler (admittedly, largely due to Beazley’s writing) Python counterpart. After teaching my undergraduate PL courses in Scheme variants these past few years I have wondered if we can understan...| Kristopher Micinski
Link to this year’s Scheme Workshop CFP This year marks the twentieth anniversary of the workshop on Scheme and Functional Programming. The Scheme Workshop represents a diverse community of hackers, academics, and enthusiasts. The workshop offers a forum to share insights, experience, and technical developments of and within the Scheme family of programming languages. Rather than focus on a specific implementation or community, workshop attendees are united by an appreciation for succinct e...| Kristopher Micinski
The other day I updated my Facebook profile picture. The thing I didn’t realize was that when I changed it, Netflix also got it: This is pretty jarring. Where was the “share this with Netflix” button that I pressed? Of course, the answer is that it’s right here: It’s buried right there under “Public profile (required).” But there’s also a lot of other stuff I gave it access to too, I guess I forgot about that. But why does it need access to my Facebook account at all? I just w...| Kristopher Micinski
Obligatory: I must point out that my inspiration for this post was a really nice video on YouTube. I don’t claim to have invented this idea, I just wanted to explain it in a way that makes sense to me (although the YouTuber likely does a better job than I). Today in my class we talked a bit about memory safety and allocation. We’ve talked a decent amount about pointers, but haven’t had any projects where students are required to use allocation. Instead, we’re (so far) relying on RAII ...| Kristopher Micinski
I’m applying to colleges and universities again in 2017. I’m very happy at Haverford, but I’m on the lookout for a tenure-track spot at a place that has students and colleagues that will excite me in the same way I’m feeling right now: My research statement (4 12-point pages) My teaching statement (2 12-point pages)| Kristopher Micinski
I’m giving a college-wide talk for FIG (Fig is Good) tonight. FIG is a student computing group. I’m hoping to record the talk, but for now I’ll just put the slides here.| Kristopher Micinski
Our setting is logic programming, a field which attempts to design programming languages whose semantics have a close relationship to formal logic. The reason we might want to do this is that it suits our application domain more precisely than an implementation in a traditional programming language. Thus, using a logic programming language allows us to write more obviously-correct code, and perhaps even code that can be extracted cleanly from a certified implementation. Alternatively, if we d...| Modern Deduction