Jason S. Reich

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

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

[BibT_eX]

[DOI]

PhD thesis, 2013

2012

Advances in Lazy SmallCheck.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Lazy Generation of Canonical Test Programs.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2011