{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:13:27Z","timestamp":1760044407243,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,25]],"date-time":"2017-10-25T00:00:00Z","timestamp":1508889600000},"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,10,25]]},"DOI":"10.1145\/3133850.3133857","type":"proceedings-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T15:16:02Z","timestamp":1507907762000},"page":"198-213","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Selfie and the basics"],"prefix":"10.1145","author":[{"given":"Christoph M.","family":"Kirsch","sequence":"first","affiliation":[{"name":"University of Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993478.1993493"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555670.2464161"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814294"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"e_1_3_2_1_5_1","volume-title":"Frontiers in Artificial Intelligence and Applications","volume":"185","author":"Biere Armin","year":"2009","unstructured":"Armin Biere , Marijn Heule , Hans van Maaren , and Toby Walsh ( Eds .). 2009 . Handbook of Satisfiability . Frontiers in Artificial Intelligence and Applications , Vol. 185 . IOS Press. Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh (Eds.). 2009. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, Vol. 185. IOS Press."},{"volume-title":"Proc. USENIX Conference on Operating Systems Design and Implementation (OSDI) . USENIX Association, 209\u2013224","author":"Cadar C.","key":"e_1_3_2_1_6_1","unstructured":"C. Cadar , D. Dunbar , and D. Engler . 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proc. USENIX Conference on Operating Systems Design and Implementation (OSDI) . USENIX Association, 209\u2013224 . C. Cadar, D. Dunbar, and D. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proc. USENIX Conference on Operating Systems Design and Implementation (OSDI) . USENIX Association, 209\u2013224."},{"volume-title":"Proc. USENIX Annual Technical Conference.","author":"Craciunas S.S.","key":"e_1_3_2_1_7_1","unstructured":"S.S. Craciunas , C.M. Kirsch , H. Payer , A. Sokolova , H. Stadler , and R. Staudinger . 2008. A Compacting Real-Time Memory Management System . In Proc. USENIX Annual Technical Conference. S.S. Craciunas, C.M. Kirsch, H. Payer, A. Sokolova, H. Stadler, and R. Staudinger. 2008. A Compacting Real-Time Memory Management System. In Proc. USENIX Annual Technical Conference."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/363095.363143"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676963"},{"key":"e_1_3_2_1_10_1","unstructured":"Matthias Felleisen Conrad Barski and David Van Horn. 2013. Realm of Racket: Learn to Program One Game at a Time! No Starch Press.  Matthias Felleisen Conrad Barski and David Van Horn. 2013. Realm of Racket: Learn to Program One Game at a Time! No Starch Press."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538803"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238769"},{"volume-title":"Proc. Symposium on Network and Distributed Systems Security (NDSS) . 151\u2013166","author":"Godefroid P.","key":"e_1_3_2_1_13_1","unstructured":"P. Godefroid , M. Y. Levin , and D. Molnar . 2008. Automated Whitebox Fuzz Testing . In Proc. Symposium on Network and Distributed Systems Security (NDSS) . 151\u2013166 . P. Godefroid, M. Y. Levin, and D. Molnar. 2008. Automated Whitebox Fuzz Testing. In Proc. Symposium on Network and Distributed Systems Security (NDSS) . 151\u2013166."},{"volume-title":"Smalltalk-80: The Language and Its Implementation","author":"Goldberg Adele","key":"e_1_3_2_1_14_1","unstructured":"Adele Goldberg and David Robson . 1983. Smalltalk-80: The Language and Its Implementation . Addison Wesley . Adele Goldberg and David Robson. 1983. Smalltalk-80: The Language and Its Implementation . Addison Wesley."},{"key":"e_1_3_2_1_15_1","volume-title":"Patterson","author":"Hennessy John L.","year":"2011","unstructured":"John L. Hennessy and David A . Patterson . 2011 . Computer Architecture : A Quantitative Approach . Morgan Kaufmann . John L. Hennessy and David A. Patterson. 2011. Computer Architecture: A Quantitative Approach . Morgan Kaufmann."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429109"},{"volume-title":"Computer-Aided Reasoning: An Approach","author":"Kaufmann Matt","key":"e_1_3_2_1_17_1","unstructured":"Matt Kaufmann , Panagiotis Manolios , and J Strother Moore . 2000. Computer-Aided Reasoning: An Approach . Kluwer . Matt Kaufmann, Panagiotis Manolios, and J Strother Moore. 2000. Computer-Aided Reasoning: An Approach . Kluwer."},{"key":"e_1_3_2_1_18_1","volume-title":"Ritchie","author":"Kernighan Brian W.","year":"2000","unstructured":"Brian W. Kernighan and Dennis M . Ritchie . 2000 . The C Programming Language . Prentice Hall . Brian W. Kernighan and Dennis M. Ritchie. 2000. The C Programming Language . Prentice Hall."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"volume-title":"Volumes 1\u20134","author":"Knuth Donald E.","key":"e_1_3_2_1_20_1","unstructured":"Donald E. Knuth . 2011. The Art of Computer Programming , Volumes 1\u20134 . Addison Wesley . Donald E. Knuth. 2011. The Art of Computer Programming, Volumes 1\u20134 . Addison Wesley."},{"volume-title":"Object-oriented Programming in the BETA Programming Language","author":"Madsen Ole Lehrmann","key":"e_1_3_2_1_22_1","unstructured":"Ole Lehrmann Madsen , Birger M\u00f8-Pedersen , and Kristen Nygaard . 1993. Object-oriented Programming in the BETA Programming Language . ACM Press\/Addison Wesley . Ole Lehrmann Madsen, Birger M\u00f8-Pedersen, and Kristen Nygaard. 1993. Object-oriented Programming in the BETA Programming Language. ACM Press\/Addison Wesley."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/234215.234473"},{"volume-title":"The Elements of Computing Systems: Building a Modern Computer from First Principles","author":"Nisan Noam","key":"e_1_3_2_1_24_1","unstructured":"Noam Nisan and Shimon Schocken . 2005. The Elements of Computing Systems: Building a Modern Computer from First Principles . MIT Press . Noam Nisan and Shimon Schocken. 2005. The Elements of Computing Systems: Building a Modern Computer from First Principles . MIT Press."},{"key":"e_1_3_2_1_25_1","volume-title":"BCPL: The Language and its Compiler","author":"Richards Martin","year":"2009","unstructured":"Martin Richards and Colin Whitby-Strevens . 2009 . BCPL: The Language and its Compiler . Cambridge University Press . Martin Richards and Colin Whitby-Strevens. 2009. BCPL: The Language and its Compiler . Cambridge University Press."},{"key":"e_1_3_2_1_26_1","volume-title":"Kaeli","author":"Sailer Patty M.","year":"1996","unstructured":"Patty M. Sailer , Philip M. Sailer , and David R . Kaeli . 1996 . The DLX Instruction Set Architecture Handbook (1st ed.). Morgan Kaufmann . Patty M. Sailer, Philip M. Sailer, and David R. Kaeli. 1996. The DLX Instruction Set Architecture Handbook (1st ed.). Morgan Kaufmann."},{"volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","key":"e_1_3_2_1_27_1","unstructured":"Michael Sipser . 1996. Introduction to the Theory of Computation . International Thomson Publishing . Michael Sipser. 1996. Introduction to the Theory of Computation. International Thomson Publishing."},{"volume-title":"Structure and Interpretation of Computer Programs","author":"Sussman Gerald Jay","key":"e_1_3_2_1_28_1","unstructured":"Gerald Jay Sussman and Hal Abelson . 1996. Structure and Interpretation of Computer Programs . MIT Press , Second Edition . Gerald Jay Sussman and Hal Abelson. 1996. Structure and Interpretation of Computer Programs . MIT Press, Second Edition."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2455034"},{"key":"e_1_3_2_1_30_1","volume-title":"Systematic Programming: An Introduction","author":"Wirth Niklaus","year":"1973","unstructured":"Niklaus Wirth . 1973 . Systematic Programming: An Introduction . Prentice Hall . Niklaus Wirth. 1973. Systematic Programming: An Introduction. Prentice Hall."},{"volume-title":"Algorithms + Data Structures = Programs","author":"Wirth Niklaus","key":"e_1_3_2_1_31_1","unstructured":"Niklaus Wirth . 1976. Algorithms + Data Structures = Programs . Prentice Hall . Niklaus Wirth. 1976. Algorithms + Data Structures = Programs. Prentice Hall."},{"key":"e_1_3_2_1_32_1","unstructured":"Niklaus Wirth. 1996. Compiler Construction. Addison Wesley.  Niklaus Wirth. 1996. Compiler Construction. Addison Wesley."}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133850.3133857","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133850.3133857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:34Z","timestamp":1750217434000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133850.3133857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,25]]},"references-count":31,"alternative-id":["10.1145\/3133850.3133857","10.1145\/3133850"],"URL":"https:\/\/doi.org\/10.1145\/3133850.3133857","relation":{},"subject":[],"published":{"date-parts":[[2017,10,25]]},"assertion":[{"value":"2017-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}