{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:23Z","timestamp":1772163983978,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T00:00:00Z","timestamp":1380067200000},"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":[[2013,9,25]]},"DOI":"10.1145\/2500365.2500616","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T09:13:17Z","timestamp":1380100397000},"page":"351-356","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Experience report"],"prefix":"10.1145","author":[{"given":"Vincent","family":"St-Amour","sequence":"first","affiliation":[{"name":"PLT @ Northeastern University, Boston, USA"}]},{"given":"Neil","family":"Toronto","sequence":"additional","affiliation":[{"name":"PLT @ Brigham Young University, Provo, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030056"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_4_1","volume-title":"Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex . MIT Press , 2009 . Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex. MIT Press, 2009."},{"key":"e_1_3_2_1_5_1","volume-title":"Racket","author":"Flatt Matthew","year":"2010","unstructured":"Matthew Flatt and PLT. Reference : Racket . PLT Inc., PLT-TR- 2010 -1, 2010. http:\/\/racket-lang.org\/tr1\/ Matthew Flatt and PLT. Reference: Racket. PLT Inc., PLT-TR-2010-1, 2010. http:\/\/racket-lang.org\/tr1\/"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050037"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103691"},{"key":"e_1_3_2_1_8_1","first-page":"26","volume-title":"Proc.Works. Scheme and Functional Programming","author":"Klein Casey","year":"2010","unstructured":"Casey Klein and Robert Bruce Findler . Randomized testing in PLT Redex . In Proc.Works. Scheme and Functional Programming , pp. 26 -- 36 , 2010 . Casey Klein and Robert Bruce Findler. Randomized testing in PLT Redex. In Proc.Works. Scheme and Functional Programming, pp. 26--36, 2010."},{"key":"e_1_3_2_1_9_1","volume-title":"Higher-Order and Symbolic Computation","author":"Klein Casey","year":"2013","unstructured":"Casey Klein , Matthew Flatt , and Robert Bruce Findler . The Racket virtual machine and randomized testing . Higher-Order and Symbolic Computation , 2013 . Casey Klein, Matthew Flatt, and Robert Bruce Findler. The Racket virtual machine and randomized testing. Higher-Order and Symbolic Computation, 2013."},{"key":"e_1_3_2_1_10_1","volume-title":"A lattice-theoretical approach to deterministic parallelism with shared state","author":"Kuper Lindsey","year":"2012","unstructured":"Lindsey Kuper and Ryan Newton . A lattice-theoretical approach to deterministic parallelism with shared state . Indiana University , TR702, 2012 . Lindsey Kuper and Ryan Newton. A lattice-theoretical approach to deterministic parallelism with shared state. Indiana University, TR702, 2012."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411260.1411264"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27694-1_21"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926436"}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","location":"Boston Massachusetts USA","acronym":"ICFP'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Northeastern University"]},"container-title":["Proceedings of the 18th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500616","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500365.2500616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:34:33Z","timestamp":1750217673000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500616"}},"subtitle":["applying random testing to a base type environment"],"short-title":[],"issued":{"date-parts":[[2013,9,25]]},"references-count":14,"alternative-id":["10.1145\/2500365.2500616","10.1145\/2500365"],"URL":"https:\/\/doi.org\/10.1145\/2500365.2500616","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544174.2500616","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,9,25]]},"assertion":[{"value":"2013-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}