Michal H. Palka

According to our database, Michal H. Palka authored at least 6 papers between 2009 and 2015.

Collaborative distances:

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

2015

Generating constrained random data with uniform distribution.

Koen Claessen, Jonas Duregård, Michal H. Palka

J. Funct. Program., 2015

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.

Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler

Proceedings of the Programming Languages and Systems, 2015

2013

Splittable pseudorandom number generators using cryptographic hashing.

Koen Claessen, Michal H. Palka

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2011

Testing an optimising compiler by generating random lambda terms.

Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010

Ranking programs using black box testing.

Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Finding race conditions in Erlang with QuickCheck and PULSE.

Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009