Charlie Murphy photo

Charlie Murphy

PostDoctoral Research Associate
University of Wisconsin-Madison

tcmurphy4@wisc.edu
(740) 249-5925
CV

I am on the academic job market.

Research Statement | Teaching Statement | DEI Statement

My research helps software developers write code that executes as intended. My interests are in programming languages, formal methods, automated reasoning, program synthesis and verification, and logic.

I am a PostDoctoral Research Associate at the University of Wisconsin Madison. I received my PhD in computer science from Princeton University in 2023. I received my BS in Computer Science from Ohio University's Honors Tutorial College in 2016 and my MA in Computer Science from Princeton University in 2018.

News

8/24
Synthesizing Formal Semantics from Executable Interpreters
with Jiangyi Liu, Keith Johnson, Tom Reps, and Loris D'Antoni has been acceepted to OOPSLA'24.
3/24
Quantified Linear Arithmetic Satisfaction via fine-grained strategy improvement
with Zak Kincaid has been accepted to CAV'24.
Older News
2/23
Starting February 2023, I will be joining UW-Madison as postdoctoral fellow. I will work under the mentorship of Loris D'Antoni and Tom Reps.
1/23
I have successfully defended my thesis and received my PhD in computer science from Princeton University.
9/22
I will also be an Assistant in Instruction (AI) for COS 226 - Algorithms and Data Structures.
8/22
I will be the Assistant in Instruction (AI) for COS 516 - Automated reasoning about software.
6/20
I am an Applied Science Intern with Amazon's S3-ARG group under the mentorship of Serdar Tasiran and Ernie Cohen.
12/18
I will teach MAT 015C (Basic College Math) as part of PTI at the Edna Mahan Correctional Facilty this upcoming semester.
11/18
A Practical Algorithm for Structure Embedding with Zak Kincaid accepted to VMCAI 2019.
09/18
I am again organizing the PL Lunch Seminar Series for this upcoming year.
06/18
I am a research intern at GrammaTech under the mentorship of Vineeth Kashyap.
04/18
I received my Masters of Arts in Computer Science from Princeton University.
01/18
I passed my General Exams.
01/18
I will be an Assistant in Instruction (AI) for COS 226 - Algorithms and Data Structures.
09/17
I am organizing Princeton's Programming Languages Seminars this year.
08/17
I will be an Assistant in Instruction (AI) for COS 418 - Distributed Systems in the upcoming Fall 2017 semester.
06/17
I'm developing a course on Introduction to Programming / Computational Reasoning for the Prison Teaching Initiative (PTI) in collaboration with Gregory Gundersen, Anders Miltner, Pranjit Kalita, and Irene Fan.
05/17
Verified Perceptron Convergence Theorem, with Gordon Stewart and Patrick Gray, accepted to MAPL'17: The First ACM SIGPLAN Workshop on Machine Learning and Programming Languages

Work in progress

Strategy Synthesis for Validity of the μCLP calculus. (Preprint available shortly)
with Loris D'Antoni and Tom Reps.

Verifying Solutions to Semantics-Guided Synthesis Problems. (preprint)
with Keith Johnson, Loris D'Antoni, and Tom Reps.

Proving Weak Simulation via Strategy Synthesis. (preprint)
with Zak Kincaid

Publications

2024
Synthesizing Formal Semantics from Executable Interpreters.
Jiangyi Liu, Keith Johson, Charlie Murphy, Tom Reps, and Loris D'Antoni.
Proceedings of ACM on Programming Languages: OOPSLA. October 2024.

2024
QLA Satisfaction via fine-grained strategy improvement      (slides | .pptx)
Charlie Murphy and Zak Kincaid.
CAV'24: 36th International Conference on Computer Aided Verification. July 2024.

2019
A practical algorithm for the structure embedding problem      (slides)
Charlie Murphy, Zachary Kincaid.
VMCAI'19: 20th International Conference on Verification, Model Checking, and Abstract Interpretation. Jan 2019.

2017
Verified Perceptron Convergence Theorem
Charlie Murphy, Patrick Gray, Gordon Stewart.
MAPL'17: The first ACM SIGPLAN Workshop on Machine Learning and Programming Languages. June 2017.

2014
Development of a Robust Indoor 3D SLAM Algorithm      (slides)
Timothy Murphy, David Chelberg.
Proceedings of MCURCSM. November 2014.

Theses

2023
Relational Verification of Distributed Systems via Weak Simulations
Timothy C. Murphy. Advisor: Zak Kincaid.
Dissertation. Princeton University, 2023.


2016
Examining the Effects of Key Point Detector and Descriptors on 3D Visual SLAM
Timothy Murphy. Advisor: David Chelberg.
Thesis. Ohio University, 2016.
Honorable Mention. Best Thesis Award.

Talks

2024
First Order Logic with Fixed-points and Cyclic Proof Search      (.pptx)
Charlie Murphy. University of Wisconsin-Madison, April 26.

2020
Introduction to Game Semantics and Logical Games      (.pptx)
Charlie Murphy. Princeton University, March 31.

2016
New Web Interface for Real-Time-Visualization of NOAA Weather Data
Timothy Murphy, Dan Pisut. American Meteorological Society. 32nd Conference on Environmental Information Processing Technologies, January 12.

2015
New Web Interface for Real-Time-Visualization of NOAA Atmosphere Model Data
Timothy Murphy. NOAA Science Symposium, July 30.

2015
Developing a 3D Visual SLAM ALgorithm
Timothy Murphy. Ohio University Student Research and Creative Expo, April 16.
2nd Place Award for EECS Undergraduate Presentation.

2015
Towards the Quantified Self: Fitness bands for Blood Glucose Prediction
Timothy Murphy, Hannah Quillin. Ohio University Student Research and Creative Expo, April 16. 2nd place Award for Diabetes Related Research Presentation.

Teaching

Spring 2023
CS-536
Intro to Programming Languages and Compilers
Fall 2022
COS 516
Automated Reasoning About Software
Fall 2022
COS 226
Algorithms and Data Structures
Spring 2019
Mat 015C
Basic College Math (PTI - Edna Mahan)
Spring 2018
COS 226
Algorithms and Data Structures
Fall 2017
COS 418
Distributed Systems

Awards

2015
Ohio University Provost Undergradudate Research Fund recipient
2014
Ernest F. Hollings Scholarship
2013
Benjamin A. Gilman Scholarship