Halley Young

12 papers A* 2C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology.
CoRR
Halley Young
2024 — conf
Deriving Desirable Artistic Generative Distributions from Individual Identity Statements.
IUI Workshops
Halley Young
2024 J jnl
Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting.
CoRR
Halley Young, Yimeng Zeng, Jacob R. Gardner, Osbert Bastani
2023 J jnl
Undecidability Results and Their Relevance in Modern Music Making.
CoRR
Halley Young
2022 — conf
Compositional Steering of Music Transformers 66-80.
IUI Workshops
Halley Young, Vincent Dumoulin, Pablo S. Castro, Jesse H. Engel, Cheng-Zhi Anna Huang
2022 A* conf
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints.
NeurIPS
Halley Young, Maxwell Du, Osbert Bastani
2021 — conf
A First-Order Theory of Film Scores for Generation from Lightweight Specifications.
AIIDE Workshops
Halley Young
2019 C conf
Algorithm as Determinant of Form in Music.
ICCC
Halley Young
2019 A* conf
Learning Neurosymbolic Generative Models via Program Synthesis.
ICML
Halley Young, Osbert Bastani, Mayur Naik
2019 J jnl
Learning Neurosymbolic Generative Models via Program Synthesis.
CoRR
Halley Young, Osbert Bastani, Mayur Naik
2019 — conf
Learning Neurosymbolic Generative Models via Program synthesis.
DeepRLStructPred@ICLR
Halley Young, Osbert Bastani, Mayur Naik
2017 — conf
A categorial grammar for music and its use in automatic melody generation.
FARM@ICFP
Halley Young
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski