I'm Yoshiki, a PhD student at CMU.
My colleagues and I have developed a program synthesis algorithm tailored to Rust, and we are currently looking for interesting libraries to to test our techniques on.
For those of you who are not familiar with program synthesis, please think of it as a (pretty limited) "AI programmer" that can generate programs based on some machine-readable specification.
In particular, I am looking for 3 broad categories of libraries.
- A small, intuitive library to demonstrate our program (say geometry, matrix operations , etc.)
- A very large library involving polymorphism to demonstrate scalability (at least several hundred methods/functions, preferably a few thousand)
- A library that either contains unsound behavior on purpose, or is likely to contain unsound behavior. For this category, we will be running this through Miri+stack borrows.
Due to limitations on our side, it will be great if the libraries are free of async functions.
I have a few idea for 1, but I am completely lost for 2 and 3. Any help will be greatly appreciated.
Thank you for your time.