Javascript is required for the SCS calendar.

My goal is to increase human potential through advancing interactive machine learning. Revolutions in storage and computation have made it easy to capture and react to sequences of decisions made and ...

I'm a professor in the Machine Learning Department at Carnegie Mellon. I am also affiliated with the Robotics Institute. I'm interested in multi-agent planning, reinforcement learning, ...

Thread operations include thread creation, termination, synchronization (joins,blocking), scheduling, data management and process interaction. A thread does not maintain a list of created threads, nor ...

Computer systems design is full of conundrums: Given a choice between a single machine with speed s, or n machines each with speed s/n, which should we choose? If both the arrival rate and service ...

We ran an LLM-based feedback experimental program for STOC here . Here is a Google Research blog post with the results.

As of 2014, I am a software consultant for Duke University on the AWARE Gigapixel Camera, living and working in Pittsburgh. Prior to that I worked for GigaPan. In the naughts I worked for Google and ...

Time: Tuesdays & Thursdays, 12:00-1:20 PM, GHC 4303.

Frank Pfenning Personal Home Page Recent Drafts, Talks, and Publications See also Publications (as of November 12, 2025), DBLP, Google Scholar Profile Security Reasoning via Substructural Dependency ...

My brother, Philippe Treuille, is an amazing composer. I'm proud to be his brother. My grandfather just celebrated his 90th birthday by publishing a book of his world traveling adventures, art, and ...

Course Description In this course we will explore the Fourier analysis of Boolean functions, f : {0,1} n → {0,1}. The powerful techniques from this field have application in numerous areas of computer ...

This webpage is a benchmark data set for keystroke dynamics. It is a supplement to the paper "Comparing Anomaly-Detection Algorithms for Keystroke Dynamics," by Kevin Killourhy and Roy Maxion, ...