Caleb Stanford


Image of Me

I am a PhD student in computer science at the University of Pennsylvania. My advisor is Rajeev Alur. View my CV online or as a pdf.

I graduated from Brown University in May 2016 (ScB Mathematics – Computer Science).

Research

My research interests include: (1) programming languages and systems for data stream processing; (2) formal verification and testing; and (3) logical foundations of computing.

I am affiliated with the Penn PL Club:

Penn PL Club.

Current research: Correctness and performance guarantees for stream processing systems

Numerous specialized software platforms now exist for processing large quantities of data and responding in real time. Such stream processing systems are popular because they allow the programmer to specify the computation in an intuitive way (e.g., as a high-level query, as a sequence of stream transformations, or as a dataflow graph), and the system will deploy and distribute the computation automatically. Popular modern stream processing systems include Apache Spark Streaming and Apache Flink.

My long-term goal is to make stream processing systems easier to use by providing better guarantees to the developer about correctness and performance. I have past and ongoing projects in these dimensions:

Publications

*equal contribution authors in alphabetical order

Submissions

*equal contribution authors in alphabetical order

Software

Other Projects

Exposition

Caleb Stanford DBLP

Caleb Stanford Google Scholar

Caleb Stanford ORCID page

Contact

castan at cis upenn edu


Last updated .