Jason S. Reich

According to our database, Jason S. Reich authored at least 3 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Property-based testing and properties as types : a hybrid approach to supercompiler verification.

Jason S. Reich

PhD thesis, 2013

2012

Advances in Lazy SmallCheck.

Jason S. Reich, Matthew Naylor, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Lazy Generation of Canonical Test Programs.

Jason S. Reich, Matthew Naylor, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2011