Michal H. Palka - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Michal H. Palka' as author, editor, or advisor:

Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected PapersMichal H. Palka, Magnus O. Myreen, editors, Volume 11457 of Lecture Notes in Computer Science, Springer, 2019. [doi]
Generating constrained random data with uniform distributionKoen Claessen, Jonas Duregård, Michal H. Palka. JFP, 25, 2015. [doi]
Generating Constrained Random Data with Uniform DistributionKoen Claessen, Jonas Duregård, Michal H. Palka. FLOPS 2014: 18-34 [doi]
Testing an optimising compiler by generating random lambda termsMichal H. Palka, Koen Claessen, Alejandro Russo, John Hughes. ICSE 2011: 91-97 [doi]
Ranking programs using black box testingKoen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson. ICSE 2010: 103-110 [doi]
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-SystemBurke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robby Findler. ESOP 2015: 383-405 [doi]

runs on WebDSL