Posts by Collection

In a class research project during my first year of undergrad, I created an original Python-based model to sonify genetic material by translating DNA to MIDI piano chords. By mapping nucleotides and codons to musical chords, my work introduced a novel and straightforward means of conceptualizing both the structure of a gene and the processes of biological splicing and translation that is accessible to users of all scientific backgrounds.

In an independent study during my undergrad, I assisted Dr. Christopher Raphael at Indiana University Bloomington on a project investigating audio algorithms for music score alignment. We developed a novel algorithm to synchronously assemble remotely recorded audio tracks without click tracks in order to address the need for remote media collaboration induced by the ongoing COVID pandemic.

Under the mentorship of Dr. Mark Huber at Claremont McKenna College, I created a novel system of Markov chains using inverse transform sampling to rapidly generate musical sketches, giving end-users the ability to create custom-length music in the style of a desired piece.

Under the mentorship of Dr. Ben Wiedermann at Harvey Mudd College, I created MusAssist, a DSL for music notation bridging the abstraction gap between music theory and composition. MusAssist gives end-users the novel ability to describe musical templates, such as cadences, at precisely the abstraction level as the music theoretic structures they represent, which models what a composer would organically conceive when composing by hand. I designed MusAssist’s syntax using a participatory design approach, and then wrote a Haskell-based compiler that translates MusAssist to MusicXML, a lower-level language accepted by most music notation software, for further manual editing.

In a class project, we developed ProCon, a tool implementing continuous, rule-based enumeration for just-in-time bottom-up search in SyGuS problems. Programs are enumerated in order of continuous, nonrounded weights as determined by a probabilistic weighting function. ProCon thus leverages the full power of the probabilistic model since it does not round the probabilities to discrete weights as size-based enumeration does.

In order to perform genomic data analyses, bioinformaticians are frequently forced to do cubmersome pre-processing of their data. To addres these challenges, in a class project, we developed pgen-rs, a tool enabling end-users to write their data wrangling requirements in natural language enhanced by LLM suggestions. pgen-rs converts natural language to a DSL that is executed by out Rust-based high-performance genomic data processor enabled by the PLINK file format.

In a class project, we examined the impact of GitHub Copilot on Test-First Development, a software development paradigm where tests are written before implementation. We conducted a between-subjects (no Copilot vs Copilot) pilot study, consisting of coding tasks and pre- and post-task surveys. Participants iterated between writing a comprehensive API and test suite for a problem, with or without Copilot. We found that while Copilot enhanced coding speed, it resulted in superficial problem comprehension and decreased scope of the test suites.

I introduced a unified, hierarchical meta-representation of sequence data structure called the structural temporal graph (STG), a k-partite directed acyclic graph, and applied it to symbolic music. Then, I used simulated annealing to develop a measure of structural distance between two music pieces rooted in graph isomorphism. Finally, I combined the formal guarantees of SMT solvers with nested simulated annealing over structural distances to frame and solve the dually NP-hard combinatorial optimization problem of music structure summarization as an extension of the Generalized Median Graph problem.

In a class project, we adapted the constrained decoding algorithm Grid Beam Search (GBS) to impose lexical constraints on transformers. GBS was originally applied to stateful Neural Translation Models for seq2seq translation. We developed a new pipeline for generating structured outputs from a given prompt and set of lexical constraints that supports any pretrained autoregressive language model, which we chose to be GPT2. Then, we fine-tuned GPT-2 on a corpus of Chekhov’s stories. Our subjective analysis showed that GBS + fine-tuned GPT2 gave more interesting and meaningful domain-specific results than GBS + GPT2 alone.

Published in Journal 1, 2009

This paper is about the number 1. The number 2 is left for future work.

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf

Published in Journal 1, 2010

This paper is about the number 2. The number 3 is left for future work.

Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf

Published in Journal 1, 2015

This paper is about the number 3. The number 4 is left for future work.

Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf

Published in GitHub Journal of Bugs, 2024

This paper is about fixing template issue #693.

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3). http://academicpages.github.io/files/paper3.pdf

Published: March 01, 2012

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!

Published: March 01, 2013

More information here

Published: February 01, 2014

More information here

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

Teaching Assistant, Dept. of Computer Science, Pomona College, 2020

This undergraduate course (20 students) covers database design (entity-relationship model, etc), query languages (relational algebra, relational calculus, SQL), and database management systems (storage model, indexing, query evaluation and optimization, concurrency control). As sole TA, I held twice-weekly mentor hours, and monitored the class Piazza forum.

Teaching Assistant, Dept. of Computer Science and Engineering, UC San Diego, 2025

This undergraduate course (126 students) covers functional programming in the lambda calculus and the Haskell language (including parsing, type systems, functors, monads, etc). I held weekly office hours, led four discussion sections, monitored the class Piazza forum, and attended staff meetings. At the end of the quarter, I gave synchronous feedback on final project presentations.