Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
ELIXR: Eliminating Computation Redundancy in CNN-Based Video Processing
Published in RSDHA@SC, 2021
This paper significantly reduces the total computation used by CNNs when processing images from video streams. The key insight is that many pixels do not change between runs, and incremental computation techniques can maintain high accuracy with a fraction of the computations.
Recommended citation: Jordan Schmerge, Daniel Mawhirter, Connor Holmes, Jedidiah McClurg, Bo Wu: ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing. RSDHA@SC 2021: 34-44
Download Paper
Optimizing Regular Expressions via Rewrite-Guided Synthesis
Published in PACT, 2023
This paper combines syntax guided syntheis with equality saturation to optimize expressions, particularly regular expressions which might be highly inefficient on certain input strings.
Recommended citation: Jedidiah McClurg, Miles Claver, Jackson Garner, Jake Vossen, Jordan Schmerge, Mehmet E. Belviranli: Optimizing Regular Expressions via Rewrite-Guided Synthesis. PACT 2022: 426-438
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
CSCI 101 - Intro to Computer Science
Undergraduate course, Colorado School of Mines, Computer Science, 2018
I was a course instructor under Dr. Tracy Camp, teaching Introduction to Computer Science. This course was many students first exposure to a variety of CS topics, including basic algorithms, binary numbers, network and OS principals, and more. I taught 2 sections in Fall 2018, Spring 2019, and Fall 2019.
CSCI 341 - Computer Organization
Undergraduate course, Colorado School of Mines, Computer Science, 2020
I was a course instructor under Dr. Vibhuti Dave, teaching Computer Organization. This course was many students first exposure to low level CS details, including MIPS assembly language, hardware datapaths, floating point numbers, and more. I taught one section in Fall 2020.
CPSC 2020 - Mathematical Foundations of CS
Undergraduate course, Yale University, Computer Science, 2024
I was a TA under Dr. Quanquan Liu and Dr. Dylan McKay, then under Dr. Dylan McKay, supporting Mathematical Foundations of CS. This course was many students first exposure to the mathematical and theoretical side of CS, including basic logic, proof techniques, graphs, combinatorics, probability, and more. I worked for this class in Fall 2024 and Fall 2025.
CPSC 4150 - Law and Large Language Models
Undergraduate course, Yale University, Computer Science, 2024
I was a TA under Dr. Ruzica Piskac and Dr. Scott Shapiro, supporting Law and LLMs. This course is an interdisciplinary effort between the computer science department and law school to explore how techniques from automated reasoning can apply in legal contexts, how and where LLMs can (and can’t yet) assist, and why legal applications pose unique challenges for reasoning. I worked for this class in Spring 2025 and Spring 2026.