14 citations · 19 across the 5 of their papers we have counts for
1 paper · 2 filters
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…