Michal H. Palka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ESOP | 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 |
| 2014 | FLOPS | Generating Constrained Random Data with Uniform Distribution. | Koen Claessen, Jonas Duregrd, Michal H. Palka |
| 2013 | HASKELL | Splittable pseudorandom number generators using cryptographic hashing. | Koen Claessen, Michal H. Palka |
| 2011 | ICSE | Testing an optimising compiler by generating random lambda terms. | Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes |
| 2010 | ICSE | Ranking programs using black box testing. | Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson |
| 2009 | ICFP | 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 |