Synthesizing database programs for schema refactoring.

Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig

Browse the full PLDI paper archive.