James Bornholt

James Bornholt
24 August 2018

OOPSLA

Our paper on profiling symbolic evaluation engines will appear at OOPSLA 2018! The new symbolic profiler is integrated into Rosette, so you can try it out right now.