| This paper and prototype educational system was based on Barliman: `Towards Answering "Am I On the Right Track?" Automatically using Program Synthesis`
Molly Q Feldman, Yiting Wang, William E. Byrd, François Guimbretière, & Erik Andersen.
SPLASH-E 2019
https://mollyfeldman.github.io/splashe2019.html This paper was at least partly inspired by the relational interpreter approach that is the foundation of Barliman: `From definitional interpreter to symbolic executor`
Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, and Eelco Visser.
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection (META 2019)
https://dl.acm.org/doi/10.1145/3358502.3361269 As for Barliman, we took a step back from imrpoving the interface, and started doing experiments with a bunch of colleagues on various ways to improve synthesis speed and expressiveness. Until COVID-19 got in the way, Kanae Tsushima and I were beginning to put some of the pieces back together in an improved Barliman, named `新-Barliman` (`Shin-Barliman`, `shin` meaning "new" in Japanese): https://github.com/k-tsushima/Shin-Barliman I'm hoping we will make some real progress again soon! |