Michal Palka

Gästforskare vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 12 publikationer

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)
Artikel i vetenskaplig tidskrift
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
Paper i proceeding
2014

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, p. 18-34
Paper i proceeding
2013

Splittable pseudorandom number generators using cryptographic hashing

Koen Lindström Claessen, Michal Palka
ACM SIGPLAN Notices. Vol. 48 (12), p. 47-58
Artikel i övriga tidskrifter
2013

Splittable Pseudorandom Number Generators using Cryptographic Hashing

Koen Lindström Claessen, Michal Palka
Proceedings of the Haskell Symposium 2013, p. 47-58
Paper i 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 i proceeding
2010

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 i proceeding
2009

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 i 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 i 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
Artikel i vetenskaplig tidskrift

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Michal Palka Programvaruteknik
Cezar Ionescu Programvaruteknik
Patrik Jansson Programvaruteknik
Oskar Allerbo Datavetenskap
Devdatt Dubhashi Datavetenskap
Europeiska kommissionen (Horisont 2020)

Det kan finnas fler projekt där Michal Palka medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.