Michal Palka

Showing 13 publications

2019

Preface - LNCS Volume 11457

Michal Palka, Magnus Myreen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11457 LNCS
Book chapter
2015

Generating constrained random data with uniform distribution

Koen Lindström Claessen, Jonas Almström Duregård, Michal Palka
Journal of Functional Programming. Vol. 25 (e8)
Journal article
2015

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

B. Fetscher, Koen Lindström Claessen, Michal Palka et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9032, p. 383-405
Journal article
2014

Splittable pseudorandom number generators using cryptographic hashing

Koen Lindström Claessen, Michal Palka
ACM SIGPLAN Notices. Vol. 48 (12), p. 47-58
Journal article
2014
Open Access icon

Generating Constrained Random Data with Uniform Distribution

Koen Lindström Claessen, Jonas Almström Duregård, Michal Palka
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8475 LNCS, p. 18-34
Paper in proceeding
2013
Open Access icon

Splittable Pseudorandom Number Generators using Cryptographic Hashing

Koen Lindström Claessen, Michal Palka
Proceedings of the Haskell Symposium 2013, p. 47-58
Paper in proceeding
2011

Testing an Optimising Compiler by Generating Random Lambda Terms

Michal Palka, Koen Lindström Claessen, Alejandro Russo et al
International Workshop on Automation of Software Test
Paper in proceeding
2010
Open Access icon

Ranking programs using black box testing

Koen Lindström Claessen, John Hughes, Michal Palka et al
Proceedings - International Conference on Software Engineering, p. 103-110
Paper in proceeding
2009

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN international conference on Functional programming
Paper in proceeding
2009

Finding race conditions in erlang with quickcheck and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160
Journal article
2009
Open Access icon

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 1 research projects

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

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

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

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Accessibility

Citation Style Language
citeproc-js (Frank Bennett)

Links

Chalmers Library
Chalmers Research
Chalmers Student Theses

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE