• 
  Charles Moloney

  UNL, Master's

  Graduated: May 2026

  Thesis: Leveraging Code Embeddings to Identify and Address Blind Spots in Benchmark Creation

Co-Authored Publications

•  NEW TACAS'26: Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP Charles Moloney, Robert Dyer, Elena Sherman. April 15, 2026.
•  NEW Leveraging Code Embeddings to Identify and Address Blind Spots in Benchmark Creation Charles Moloney. April 8, 2026. A master's thesis at University of Nebraska-Lincoln.