Aquinas Hobor

VisualizeSLE
(Visual Editor for Separation Logic Entailments)

Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa

APLAS Poster Abstract
APLAS Poster
OBT Abstract

Video demo (warning, sound quality is not great and volume is a bit high)

web site by Lucy Day Hobor ~ 2008-2015