Publications related to The Jazz Harmony Treebank

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Fishing for complements with chord, scale, and rhythm nets

Daniel Harasim

The aim of this paper is to argue that complementation is an operation similarly fundamental to music theory as transposition and inversion. We focus on studying the chromatic complement mapping that translates diatonic seventh chords into 8-note scales wh ...

TAYLOR & FRANCIS LTD2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Hearing functional harmony in jazz: A perceptual study on music-theoretical accounts of extended tonality

Martin Alois Rohrmeier, Daniel Harasim, Steffen Alexander Herff, Gabriele Cecchetti, Christoph Finkensiep

Functional harmony is an integral part of many repertoires in the Western musical practices, including both diatonic and extended tonality. In the latter context, music-theoretical accounts suggest that the three octatonic equivalence classes (OECs) consis ...

SAGE PUBLICATIONS LTD2022

Musical Garden Paths: Evidence for Syntactic Revision Beyond the Linguistic Domain

Martin Alois Rohrmeier, Steffen Alexander Herff, Gabriele Cecchetti

While theoretical and empirical insights suggest that the capacity to represent and process complex syntax is crucial in language as well as other domains, it is still unclear whether specific parsing mechanisms are also shared across domains. Focusing on ...

Wiley2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

A Formal Model of Extended Tonal Harmony

Martin Alois Rohrmeier, Fabian Claude Moss

Extended tonality is a central system that characterizes the music from the 19th up to the 21st century, including styles like popular music, film music or Jazz. Developing from classical major-minor tonality, the harmonic language of extended tonality for ...

2021

Modeling and Inferring Proto-Voice Structure in Free Polyphony

Martin Alois Rohrmeier, Christoph Finkensiep

Voice leading is considered to play an important role in the structure of Western tonal music. However, the explicit voice assignment of a piece (if present at all) generally does not reflect all phenomena related to voice leading. Instead, voice-leading p ...

ISMIR2021

From vesicles to materials: bioinspired strategies for fabricating hierarchically structured soft matter

Esther Amstad

Certain organisms including species of mollusks, polychaetes, onychophorans and arthropods produce exceptional polymeric materials outside their bodies under ambient conditions using concentrated fluid protein precursors. While much is understood about the ...

ROYAL SOC2021