# \#xsmith

**URL:** https://racket.discourse.group/tag/xsmith/195.md

[Latest](https://racket.discourse.group/latest.md) · [Categories](https://racket.discourse.group/categories.md) · [Tags](https://racket.discourse.group/tags.md)

---

## [Generating Conforming Programs with Xsmith \[SPLASH'23\]](https://racket.discourse.group/t/generating-conforming-programs-with-xsmith-splash23/2415)

<div class="topic-metadata">

**Author:** [@spdegabrielle](https://racket.discourse.group/u/spdegabrielle)\
**Replies:** 0\
**Last updated:** [October 23, 2023, 3:11pm UTC](https://racket.discourse.group/t/generating-conforming-programs-with-xsmith-splash23/2415 "2023-10-23T15:11:52Z")

</div>

Generating Conforming Programs with Xsmith \[SPLASH'23\] Talk at SPLASH'23: https://www.youtube.com/watch?v=6zqOM4rez5M&t=10754s Paper: https://willghatch.net/publications/xsmith-gpce-2023-preprint.pdf from the abstract: …