Travelled to:1 × Japan
2 × United Kingdom
Collaborated with:K.Claessen J.Hughes J.Duregård B.Fetscher R.B.Findler N.Smallbone H.Svensson T.Arts U.T.Wiger
Talks about:generat (3) random (2) type (2) pseudorandom (1) cryptograph (1) splittabl (1) distribut (1) constrain (1) judgment (1) uniform (1)
Person: Michal H. Palka
DBLP: Palka:Michal_H=
Contributed to:
2015
2014
2009
2013Wrote 4 papers:
- ESOP-2015-FetscherCPHF #automation #generative #random #type system
- Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
- FLOPS-2014-ClaessenDP #generative #random
- Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.
- ICFP-2009-ClaessenPSHSAW #erlang #quickcheck
- Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
- Haskell-2013-ClaessenP #encryption #generative #pseudo #using
- Splittable pseudorandom number generators using cryptographic hashing (KC, MHP), pp. 47–58.