{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:47:31Z","timestamp":1780994851944,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009868","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"114-129","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Beginner's luck: a language for property-based generators"],"prefix":"10.1145","author":[{"given":"Leonidas","family":"Lampropoulos","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diane","family":"Gallois-Wong","sequence":"additional","affiliation":[{"name":"Inria, France \/ ENS, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u0103t\u0103lin","family":"Hri\u0163cu","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Li-yao","family":"Xia","sequence":"additional","affiliation":[{"name":"Inria, France \/ ENS, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347484"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411275"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35308-6_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"e_1_3_2_1_9_1","volume-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI . 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI. 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"e_1_3_2_1_12_1","volume-title":"Constraint reasoning in Focal-Test. ICSOFT","author":"Carlier M.","year":"2010","unstructured":"M. Carlier , C. Dubois , and A. Gotlieb . Constraint reasoning in Focal-Test. ICSOFT . 2010 . M. Carlier, C. Dubois, and A. Gotlieb. Constraint reasoning in Focal-Test. ICSOFT. 2010."},{"key":"e_1_3_2_1_13_1","volume-title":"AISTATS","author":"Chaganty A. T.","year":"2013","unstructured":"A. T. Chaganty , A. V. Nori , and S. K. Rajamani . Efficiently sampling probabilistic programs via program analysis . AISTATS , 2013 . A. T. Chaganty, A. V. Nori, and S. K. Rajamani. Efficiently sampling probabilistic programs via program analysis. AISTATS, 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593097"},{"key":"e_1_3_2_1_15_1","volume-title":"Integrating testing and interactive theorem proving. ACL2","author":"Chamarthi H. R.","year":"2011","unstructured":"H. R. Chamarthi , P. C. Dillinger , M. Kaufmann , and P. Manolios . Integrating testing and interactive theorem proving. ACL2 , 2011 . H. R. Chamarthi, P. C. Dillinger, M. Kaufmann, and P. Manolios. Integrating testing and interactive theorem proving. ACL2, 2011."},{"key":"e_1_3_2_1_16_1","volume-title":"EasyCheck \u2013 test data for free. FLOPS","author":"Christiansen J.","year":"2008","unstructured":"J. Christiansen and S. Fischer . EasyCheck \u2013 test data for free. FLOPS . 2008 . J. Christiansen and S. Fischer. EasyCheck \u2013 test data for free. FLOPS. 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"Generating constrained random data with uniform distribution. FLOPS","author":"Claessen K.","year":"2014","unstructured":"K. Claessen , J. Dureg\u02daard , and M. H. Pa\u0142ka . Generating constrained random data with uniform distribution. FLOPS . 2014 . K. Claessen, J. Dureg\u02daard, and M. H. Pa\u0142ka. Generating constrained random data with uniform distribution. FLOPS. 2014."},{"key":"e_1_3_2_1_18_1","first-page":"25","article-title":"Generating constrained random data with uniform distribution","author":"Claessen K.","year":"2015","unstructured":"K. Claessen , J. Dureg\u02daard , and M. H. Palka . Generating constrained random data with uniform distribution . J. Funct. Program. , 25 , 2015 . K. Claessen, J. Dureg\u02daard, and M. H. Palka. Generating constrained random data with uniform distribution. J. Funct. Program., 25, 2015.","journal-title":"J. Funct. Program."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548304006315"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364515"},{"key":"e_1_3_2_1_22_1","volume-title":"Combining testing and proving in dependent type theory. TPHOLs","author":"Dybjer P.","year":"2003","unstructured":"P. Dybjer , Q. Haiyan , and M. Takeyama . Combining testing and proving in dependent type theory. TPHOLs . 2003 . P. Dybjer, Q. Haiyan, and M. Takeyama. Combining testing and proving in dependent type theory. TPHOLs. 2003."},{"key":"e_1_3_2_1_23_1","volume-title":"Making random judgments: Automatically generating well-typed terms from the definition of a type-system. ESOP","author":"Fetscher B.","year":"2015","unstructured":"B. Fetscher , K. Claessen , M. H. Palka , J. Hughes , and R. B. Findler . Making random judgments: Automatically generating well-typed terms from the definition of a type-system. ESOP . 2015 . B. Fetscher, K. Claessen, M. H. Palka, J. Hughes, and R. B. Findler. Making random judgments: Automatically generating well-typed terms from the definition of a type-system. ESOP. 2015."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273930"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39110-6_2"},{"key":"e_1_3_2_1_26_1","volume-title":"Inria Internship Report","author":"Gallois-Wong D.","year":"2016","unstructured":"D. Gallois-Wong . Formalising Luck : Improved probabilistic semantics for property-based generators . Inria Internship Report , 2016 . D. Gallois-Wong. Formalising Luck: Improved probabilistic semantics for property-based generators. Inria Internship Report, 2016."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"e_1_3_2_1_30_1","volume-title":"UAI","author":"Goodman N. D.","year":"2008","unstructured":"N. D. Goodman , V. K. Mansinghka , D. M. Roy , K. Bonawitz , and J. B. Tenenbaum . Church: a language for generative models . UAI , 2008 . N. D. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum. Church: a language for generative models. UAI, 2008."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.10"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_34_1","volume-title":"ILPS","author":"Hanus M.","year":"1995","unstructured":"M. Hanus , H. Kuchen , and J. Moreno-Navarro . Curry: A truly functional logic language . ILPS , 1995 . M. Hanus, H. Kuchen, and J. Moreno-Navarro. Curry: A truly functional logic language. ILPS, 1995."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263710"},{"key":"e_1_3_2_1_36_1","volume-title":"NIPS","author":"Herbrich R.","year":"2006","unstructured":"R. Herbrich , T. Minka , and T. Graepel . Trueskilltm: A bayesian skill rating system . NIPS , 2006 . R. Herbrich, T. Minka, and T. Graepel. Trueskilltm: A bayesian skill rating system. NIPS, 2006."},{"key":"e_1_3_2_1_37_1","volume-title":"Testing noninterference, quickly. ICFP","author":"Hrit\u00b8cu C.","year":"2013","unstructured":"C. Hrit\u00b8cu , J. Hughes , B. C. Pierce , A. Spector-Zabusky , D. Vytiniotis , A. Azevedo de Amorim , and L. Lampropoulos . Testing noninterference, quickly. ICFP . 2013 . C. Hrit\u00b8cu, J. Hughes, B. C. Pierce, A. Spector-Zabusky, D. Vytiniotis, A. Azevedo de Amorim, and L. Lampropoulos. Testing noninterference, quickly. ICFP. 2013."},{"key":"e_1_3_2_1_38_1","volume-title":"Testing noninterference, quickly. JFP, 26:e4 (62 pages)","author":"Hrit\u00b8cu C.","year":"2016","unstructured":"C. Hrit\u00b8cu , L. Lampropoulos , A. Spector-Zabusky , A. Azevedo de Amorim , M. D\u00e9n\u00e8s , J. Hughes , B. C. Pierce , and D. Vytiniotis . Testing noninterference, quickly. JFP, 26:e4 (62 pages) , 2016 . C. Hrit\u00b8cu, L. Lampropoulos, A. Spector-Zabusky, A. Azevedo de Amorim, M. D\u00e9n\u00e8s, J. Hughes, B. C. Pierce, and D. Vytiniotis. Testing noninterference, quickly. JFP, 26:e4 (62 pages), 2016."},{"key":"e_1_3_2_1_39_1","unstructured":"Technical Report available as arXiv:1409.0393.  Technical Report available as arXiv:1409.0393."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_1"},{"key":"e_1_3_2_1_41_1","volume-title":"Software Abstractions: Logic, Language, and Anlysis","author":"Jackson D.","year":"2011","unstructured":"D. Jackson . Software Abstractions: Logic, Language, and Anlysis . The MIT Press , 2011 . D. Jackson. Software Abstractions: Logic, Language, and Anlysis. The MIT Press, 2011."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/265943.265966"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628159"},{"key":"e_1_3_2_1_45_1","volume-title":"Scala to the power of Z3: integrating SMT and programming. CADE","author":"K\u00f6ksal A. S.","year":"2011","unstructured":"A. S. K\u00f6ksal , V. Kuncak , and P. Suter . Scala to the power of Z3: integrating SMT and programming. CADE . 2011 . A. S. K\u00f6ksal, V. Kuncak, and P. Suter. Scala to the power of Z3: integrating SMT and programming. CADE. 2011."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1214\/11-AAP806"},{"key":"e_1_3_2_1_47_1","unstructured":"F. Lindblad. Property directed generation of first-order test data. TFP. 2007.  F. Lindblad. Property directed generation of first-order test data. TFP. 2007."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_50_1","volume-title":"AISTATS","author":"Mansinghka V. K.","year":"2009","unstructured":"V. K. Mansinghka , D. M. Roy , E. Jonas , and J. B. Tenenbaum . Exact and approximate sampling by systematic stochastic search . AISTATS , 2009 . V. K. Mansinghka, D. M. Roy, E. Jonas, and J. B. Tenenbaum. Exact and approximate sampling by systematic stochastic search. AISTATS, 2009."},{"key":"e_1_3_2_1_51_1","volume-title":"IJCAI","author":"Milch B.","year":"2005","unstructured":"B. Milch , B. Marthi , S. J. Russell , D. Sontag , D. L. Ong , and A. Kolobov . BLOG: probabilistic models with unknown objects . IJCAI , 2005 . B. Milch, B. Marthi, S. J. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: probabilistic models with unknown objects. IJCAI, 2005."},{"key":"e_1_3_2_1_52_1","volume-title":"4th Hungarian Computer Science Conference","author":"Nielson F.","year":"1985","unstructured":"F. Nielson and H. R. Nielson . Tensor products generalize the relational data flow analysis method . In 4th Hungarian Computer Science Conference , 1985 . F. Nielson and H. R. Nielson. Tensor products generalize the relational data flow analysis method. In 4th Hungarian Computer Science Conference, 1985."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_54_1","volume-title":"R2: An efficient mcmc sampler for probabilistic programs. AAAI","author":"Nori A. V.","year":"2014","unstructured":"A. V. Nori , C.-K. Hur , S. K. Rajamani , and S. Samuel . R2: An efficient mcmc sampler for probabilistic programs. AAAI . 2014 . A. V. Nori, C.-K. Hur, S. K. Rajamani, and S. Samuel. R2: An efficient mcmc sampler for probabilistic programs. AAAI. 2014."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003494"},{"key":"e_1_3_2_1_56_1","volume-title":"Workshop on Automated Formal Methods","author":"Owre S.","year":"2006","unstructured":"S. Owre . Random testing in PVS . In Workshop on Automated Formal Methods , 2006 . S. Owre. Random testing in PVS. In Workshop on Automated Formal Methods, 2006."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_58_1","unstructured":"M. H. Pa\u0142ka. Testing an optimising compiler by generating random lambda terms. http:\/\/www.cse.chalmers.se\/~palka\/ testingcompiler\/.  M. H. Pa\u0142ka. Testing an optimising compiler by generating random lambda terms. http:\/\/www.cse.chalmers.se\/~palka\/ testingcompiler\/."},{"key":"e_1_3_2_1_59_1","volume-title":"Testing an optimising compiler by generating random lambda terms. AST","author":"Pa\u0142ka M. H.","year":"2011","unstructured":"M. H. Pa\u0142ka , K. Claessen , A. Russo , and J. Hughes . Testing an optimising compiler by generating random lambda terms. AST . 2011 . M. H. Pa\u0142ka, K. Claessen, A. Russo, and J. Hughes. Testing an optimising compiler by generating random lambda terms. AST. 2011."},{"key":"e_1_3_2_1_60_1","volume-title":"Foundational property-based testing. ITP","author":"Paraskevopoulou Z.","year":"2015","unstructured":"Z. Paraskevopoulou , C. Hrit\u00b8cu , M. D\u00e9n\u00e8s , L. Lampropoulos , and B. C. Pierce . Foundational property-based testing. ITP . 2015 . Z. Paraskevopoulou, C. Hrit\u00b8cu, M. D\u00e9n\u00e8s, L. Lampropoulos, and B. C. Pierce. Foundational property-based testing. ITP. 2015."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_5"},{"key":"e_1_3_2_1_63_1","series-title":"Lecture Notes in Computer Science","first-page":"116","volume-title":"Approaches and Applications of Inductive Programming","author":"Rodriguez Yakushev A.","unstructured":"A. Rodriguez Yakushev and J. Jeuring . Enumerating well-typed terms generically . In U. Schmid, E. Kitzelmann, and R. Plasmeijer, editors, Approaches and Applications of Inductive Programming , volume 5812 of Lecture Notes in Computer Science , pages 93\u2013 116 . Springer Berlin Heidelberg, 2010. A. Rodriguez Yakushev and J. Jeuring. Enumerating well-typed terms generically. In U. Schmid, E. Kitzelmann, and R. Plasmeijer, editors, Approaches and Applications of Inductive Programming, volume 5812 of Lecture Notes in Computer Science, pages 93\u2013116. Springer Berlin Heidelberg, 2010."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_33"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_67_1","volume-title":"ICLP","author":"Tarau P.","year":"2015","unstructured":"P. Tarau . On type-directed generation of lambda terms . ICLP , 2015 . P. Tarau. On type-directed generation of lambda terms. ICLP, 2015."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80691-1"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009868","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:22Z","timestamp":1750203382000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009868"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":69,"alternative-id":["10.1145\/3009837.3009868","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009868","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009868","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}