Michal H. Palka

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 2

Top Topics

Automatically Generating

Uniform Distribution

Type Definitions

Learning Theory

Top Venues

J. Funct. Program.

Publications

Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP (2015)
Koen Claessen, Jonas Duregård, Michal H. Palka
Generating constrained random data with uniform distribution. J. Funct. Program. 25 (2015)
Koen Claessen, Jonas Duregård, Michal H. Palka
Generating Constrained Random Data with Uniform Distribution. FLOPS (2014)
Koen Claessen, Michal H. Palka
Splittable pseudorandom number generators using cryptographic hashing. Haskell (2013)
Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes
Testing an optimising compiler by generating random lambda terms. AST (2011)
Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
Ranking programs using black box testing. AST (2010)
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP (2009)