[pbib]

I believe the dead link in the article is referencing this journal paper[1], which is an expanded version of the original syntax guided synthesis paper.

[1] https://web.eecs.umich.edu/~weimerw/2022-481W/readings/Alur1...

[082349872349872]

Thanks! Looks like barliman is also (like its namesake?) slowly progressing: https://github.com/webyrd/Barliman