Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Archive Layout with Content
Posts by Category
Posts by Collection
Curriculum Vitae
Markdown
Page not in menu
Page Archive
Projects
Sitemap
Posts by Tags
Talk map
Talks and presentations
Teaching
Terms and Privacy Policy
Professional Experience
Blog posts
Jupyter notebook markdown generator
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml
and set future: false
.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
projects
DNA to Music (MIDI) Translation (2019.01-2019.05) [paper] [code]
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.
Virtual Ensemble Assembly: Musicality in Separation (2020.08-2020.12) [paper] [code]
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.
Markov Chains for Computer Music Generation (2020.09-2020.12) [paper] [code]
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.
MusAssist: Domain Specific Language for Music (2022.01-2022.05) [paper] [thesis] [demo] [code]
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.
Continuous Enumeration for Just-In-Time Bottom-Up Synthesis (2024.01-2024.03) [paper] [code]
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.
pgen-rs: LLM-Aided Genomic Data Wrangling (2024.03-2024.05) [paper] [code] [slides]
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.
Deriving Representative Structure Over Music Corpora (2024.01-2024.08) [paper] [code]
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.
The Impact of GitHub Copilot on Test-First Development (2024.09-2024.12) [paper] [code]
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.
publications
Paper Title Number 1
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
Paper Title Number 2
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
Paper Title Number 3
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
Paper Title Number 4
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
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
CS 133: Database Systems
Teaching Assistant, Dept. of Computer Science, Pomona College, 2020
I was the sole TA for Pomona’s Database Systems course in Spring 2020 (~30 students). This course covers database design, query languages, and database management systems. I held twice-weekly mentor hours, and continuously monitored and replied to the class Piazza forum.