Charlie Murphy

Charlie Murphy

Assistant Professor

Barnard Hall (Office 344) - Montana State University
1325-1399 S 6th Ave, Bozeman, MT 59717
charlie.murphy1@montana.edu
(740) 249-5925

CV

I am looking for PhD students.
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.
Bio: I am an Assistant Professor in the Gianforte School of Computing at Montana State University. Previously, I was an Applied Scientist at Amazon Web Services (AWS) where I became a maintiner of the Cedar open source authorization language. Before AWS, I was a PostDoctoral Research Associate at the University of Wisconsin--Madison working with Loris D'Antoni and Tom Reps. I received my PhD in computer science from Princeton University in 2023 where I was advised by Zak Kincaid. 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.

Selected Publications [ DBLP, Google Scholar]

2025
Verifying Solutions to Semantics-Guided Synthesis Problems.
Charlie Murphy, Keith Johnson, Tom Reps, Loris D'Antoni.
Proceedings of the ACM on Programming Languages: PLDI. June 2025.

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.

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.

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.

Professional Activities

2025
OOPSLA
2024
USENIX ATC
2023
ESOP, SOFSEM
2021
POPL-AEC