{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:05Z","timestamp":1772163965094,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,12]]},"DOI":"10.1145\/1065010.1065045","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"281-294","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":158,"title":["Programming by sketching for bit-streaming programs"],"prefix":"10.1145","author":[{"given":"Armando","family":"Solar-Lezama","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodric","family":"Rabbah","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rastislav","family":"Bod\u00edk","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kemal","family":"Ebcio\u011flu","sequence":"additional","affiliation":[{"name":"T.J. Watson Research Center, IBM Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512564"},{"key":"e_1_3_2_1_2_1","unstructured":"R. Anderson E. Biham and L. Knudsen. Serpent: A proposal for the advanced encryption standard. The implementation we tested can be found at http:\/\/www.cl.cam.ac.uk\/ rja14\/serpent.html.  R. Anderson E. Biham and L. Knudsen. Serpent: A proposal for the advanced encryption standard. The implementation we tested can be found at http:\/\/www.cl.cam.ac.uk\/ rja14\/serpent.html."},{"key":"e_1_3_2_1_3_1","volume-title":"Programmable reinforcement learning agents. Advances in Neural Information Processing Systems, 13","author":"Andre D.","year":"2001","unstructured":"D. Andre and S. Russell . Programmable reinforcement learning agents. Advances in Neural Information Processing Systems, 13 , 2001 . MIT Press . D. Andre and S. Russell. Programmable reinforcement learning agents. Advances in Neural Information Processing Systems, 13, 2001. MIT Press."},{"key":"e_1_3_2_1_4_1","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck J.","year":"1994","unstructured":"J. Buck , S. Ha , E. A. Lee , and D. G. Messerschmitt . Ptolemy: A framework for simulating and prototyping heterogeneous systems . Int. Journal of Computer Simulation , 4 : 155 -- 182 , April 1994 . special issue on \"Simulation Software Development\". J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. Journal of Computer Simulation, 4:155--182, April 1994. special issue on \"Simulation Software Development\".","journal-title":"Int. Journal of Computer Simulation"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1048935.1050201"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840848"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31985-6_6"},{"key":"e_1_3_2_1_8_1","volume-title":"Practical Cryptography","author":"Ferguson N.","year":"2003","unstructured":"N. Ferguson and B. Schneier . Practical Cryptography . Wiley Publishing Inc , 2003 . N. Ferguson and B. Schneier. Practical Cryptography. Wiley Publishing Inc, 2003."},{"key":"e_1_3_2_1_9_1","volume-title":"December","author":"S.","year":"1993","unstructured":"Data encryption standard (des). U. S. DEPARTMENT OF COM-MERCE\/National Institute of Standards and Technology , December 1993 . http:\/\/www.itl.nist.gov\/fipspubs\/fip46-2.htm. Data encryption standard (des). U.S. DEPARTMENT OF COM-MERCE\/National Institute of Standards and Technology, December 1993. http:\/\/www.itl.nist.gov\/fipspubs\/fip46-2.htm."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1998.681704"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242279"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646893.709568"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840447"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781134"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_17_1","unstructured":"M. Morgan. http:\/\/www.schneier.com\/blowfish-bug.txt.  M. Morgan. http:\/\/www.schneier.com\/blowfish-bug.txt."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342004041291"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727935"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/379240.379256"},{"key":"e_1_3_2_1_21_1","unstructured":"E. Young. http:\/\/www.openssl.org. libDES is now part of OpenSSL.  E. Young. http:\/\/www.openssl.org. libDES is now part of OpenSSL."}],"event":{"name":"PLDI05: ACM SIGPLAN Conference on Programming Language Design and Implementation 2005","location":"Chicago IL USA","acronym":"PLDI05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065010.1065045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T10:54:53Z","timestamp":1693824893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065010.1065045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,12]]},"references-count":21,"alternative-id":["10.1145\/1065010.1065045","10.1145\/1065010"],"URL":"https:\/\/doi.org\/10.1145\/1065010.1065045","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1064978.1065045","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,12]]},"assertion":[{"value":"2005-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}