Re:William Byrd on logic and relational programming, miniKan...
by will_byrd on Tuesday June 01, 2021 @09:24PM
(#27363691)
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):
`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!