The Eval that Men Do: A Large-scale Study of the Use of Eval (2012)citeseerx.ist.psu.edu·2 pts·scott_s·1
Run Your Research: On the Effectiveness of Lightweight Mechanization (2012)eecs.northwestern.edu·1 pts·scott_s·0
Eliminating Global Locks in Ruby through Hardware Transactional Memoryresearcher.watson.ibm.com·1 pts·scott_s·1
Observations on Errors, Corrections, and Trust of Dependent Systemsperspectives.mvdirona.com·1 pts·scott_s·0