Michal Palka

Timlärare at [Funktionell programmering]

Projects

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Michal Palka Software Technology (Chalmers)
Oskar Allerbo Computing Science (Chalmers)
European Commission (Horizon 2020)

There might be more projects where Michal Palka participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2015

Generating constrained random data with uniform distribution

Koen Claessen, Jonas Duregård, Michal H. Palka et al
Journal of functional programming. Vol. 25 (e8)
Scientific journal article - peer reviewed
2015

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

B. Fetscher, Koen Claessen, Michal H. Palka et al
Lecture Notes in Computer Science: 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015; London; United Kingdom; 11 April 2015 through 18 April 2015. Vol. 9032, p. 383-405
Conference paper - peer reviewed
2014

Random Structured Test Data Generation for Black-Box Testing

Michal H. Palka,
Doctoral thesis
2014

Generating Constrained Random Data with Uniform Distribution

Koen Claessen, Jonas Duregård, Michal H. Palka et al
Lecture Notes in Computer Science: 12th International Symposium on Functional and Logic Programming (FLOPS), Kanazawa, JAPAN, Jun 04-06, 2014. Vol. 8475, p. 18-34
Conference paper - peer reviewed
2013

Splittable pseudorandom number generators using cryptographic hashing

Koen Claessen, Michal H. Palka,
ACM SIGPLAN Notices. Vol. 48 (12), p. 47-58
Scientific journal article - non peer reviewed
2013

Splittable Pseudorandom Number Generators using Cryptographic Hashing

Koen Claessen, Michal H. Palka,
Proceedings of the Haskell Symposium 2013, p. 47-58
Conference paper - peer reviewed
2011

Testing an Optimising Compiler by Generating Random Lambda Terms

Michal H. Palka, Koen Claessen, Alejandro Russo et al
International Workshop on Automation of Software Test
Conference paper - peer reviewed
2010

Ranking programs using black box testing

Koen Claessen, John Hughes, Michal H. Palka et al
Proceedings - International Conference on Software Engineering , p. 103-110
Conference paper - peer reviewed
2009

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Claessen, Michal H. Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Conference paper - peer reviewed
2009

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal H. Palka, Nicholas Smallbone et al
ACM SIGPLAN international conference on Functional programming
Conference paper - peer reviewed