1 paper · 1 filter
Tajana Ban Kirigin, Jesse Comer, Max Kanovich +2
Most research on formal system design has focused on optimizing various measures of efficiency. However, insufficient attention has been given to the design of systems optimizing r…