Zach Hansen

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Answer Set Programs

Top Venues

ICLP Technical Communications / Doctoral Consortium

Publications

Zach Hansen
Tools and Methodologies for Verifying Answer Set Programs. ICLP Technical Communications / Doctoral Consortium (2022)
Zach Hansen, Hanxiang Du, Wanli Xing, Rory Eckel, Justin Lugo, Yuanlin Zhang
A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers. ICLP Technical Communications / Doctoral Consortium (2022)
Zach Hansen, Brody Williams, John D. Leidel, Xi Wang, Yong Chen
DMM-GAPBS: Adapting the GAP Benchmark Suite to a Distributed Memory Model. HPEC (2021)