Symbolic reasoning for automatic signal placement.

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

Browse the full PLDI paper archive.