Charlie Murphy



Contact Information

Email: tcmurphy4@wisc.edu
Cell: (740) 249-5925
Charlie Murphy photo

Bio

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.

My primary research interests lie in Programming Languages, Automated Reasoning, and program synthesis and verification with an emphasis on the design and analysis of logics, solvers, and algorithms for automated or semi-automated reasoning. Additionally, I have a broad interest in machine learning, artificial intelligence, and statistical inference and how it may be incorporated with more logical / sound reasoning principles.

My Curriculum Vitae is available here. You can also view some of my current work on Github.

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.
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.
Older News
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

Solving Semantics-Guided Synthesis Problems via Bounded Model Checking. (Preprint available shortly)
with Loris D'Antoni.

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
Quantified Linear Arithmetic Satisfaction via fine-grained strategy improvement.
Charlie Murphy and Zak Kincaid.
CAV'24: 36th International Conference on Computer Aided Verification. July 2024.

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

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 , 14 Jan. PGS 342-362.

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

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

2014
Development of a Robust Indoor 3D SLAM Algorithm
Timothy Murphy, David Chelberg.
Proceedings of MCURCSM 2014, 15 November. Pgs. 45-52.

Presentations

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

2023
Relational Verification via Weak Simulations.
Charlie Murphy, Zak Kincaid (Advisor). Final Public Oral, January 27, 2023.

2018
A Practical Algorithm for Structure Embedding
Charlie Murphy, Zak Kincaid (Advisor). General Exam, January 23.

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. National Oceanic and Atmospheric Administration (NOAA). NOAA 2015 Science Symposium, July 30.

2015
Developing a 3D Visual SLAM ALgorithm
Timothy Murphy. 2015 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. 2015 Ohio University Student Research and Creative Expo, April 16. 2nd place Award for Diabetes Related Research Presentation.

2014
Development of a Robust Indoor 3D SLAM Algorithm
Timothy Murphy, David Chelberg. 14th Annual Mid-states Conference on Undergraduate Research in Computer Science and Mathematics, November 15.

Teaching

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 Correctional Facility)
Spring 2018
COS 226
Algorithms and Data Structures
Fall 2017
COS 418
Distributed Systems

Awards

In 2014, I was a recipeient of the Ernest F. Hollings Scholarship for 2014-2016. More information about this award is available here. In 2013, I received the Benjamin A. Gilman Scholarship to study abroad in the Ukraine; however, due to the rising tensions during that time, the trip was canceled.