{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T15:40:50Z","timestamp":1726846850827},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,10,24]]},"DOI":"10.1145\/1029873.1029883","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:55:16Z","timestamp":1107089716000},"page":"73-84","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":54,"title":["Experience with safe manual memory-management in cyclone"],"prefix":"10.1145","author":[{"given":"Michael","family":"Hicks","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Dan","family":"Grossman","sequence":"additional","affiliation":[{"name":"University of Washington"}]},{"given":"Trevor","family":"Jim","sequence":"additional","affiliation":[{"name":"AT&T Labs Research"}]}],"member":"320","published-online":{"date-parts":[[2004,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001258"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207137"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781146"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/142137.142162"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.846318"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781168"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_9"},{"key":"e_1_3_2_1_10_1","unstructured":"Cyclone version 0.8. Available at http:\/\/www.eecs.harvard.edu\/~greg\/cyclone\/.]] Cyclone version 0.8. Available at http:\/\/www.eecs.harvard.edu\/~greg\/cyclone\/.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"volume-title":"Informal Proceedings of the SPACE 2004 Workshop","year":"2004","author":"Fluet Matthew","key":"e_1_3_2_1_13_1","unstructured":"Matthew Fluet and Daniel Wang . Implementation and performance evaluation of a safe runtime system in Cyclone . In Informal Proceedings of the SPACE 2004 Workshop , January 2004 .]] Matthew Fluet and Daniel Wang. Implementation and performance evaluation of a safe runtime system in Cyclone. In Informal Proceedings of the SPACE 2004 Workshop, January 2004.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378815"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512547"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.90445"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773203"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_1_22_1","first-page":"87","volume-title":"Proc. IEEE Conference on Open Architectures and Network Programming (OPENARCH)","author":"Hicks Michael","year":"2003","unstructured":"Michael Hicks , Adithya Nagajaran , and Robbert van Renesse . MediaNet : User-defined adaptive scheduling for streaming data . In Proc. IEEE Conference on Open Architectures and Network Programming (OPENARCH) , pages 87 -- 96 , April 2003 .]] Michael Hicks, Adithya Nagajaran, and Robbert van Renesse. MediaNet: User-defined adaptive scheduling for streaming data. In Proc. IEEE Conference on Open Architectures and Network Programming (OPENARCH), pages 87--96, April 2003.]]"},{"key":"e_1_3_2_1_23_1","first-page":"275","volume-title":"Proc. USENIX Annual Technical Conference","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney , and Yanling Wang . Cyclone : A safe dialect of C . In Proc. USENIX Annual Technical Conference , pages 275 -- 288 , June 2002 .]] Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In Proc. USENIX Annual Technical Conference, pages 275--288, June 2002.]]"},{"key":"e_1_3_2_1_24_1","unstructured":"Doug Lea. A memory allocator. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html.]] Doug Lea. A memory allocator. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html.]]"},{"key":"e_1_3_2_1_25_1","first-page":"261","volume-title":"Proc. USENIX Annual Technical Conference","author":"Mazi\u00e8res David","year":"2001","unstructured":"David Mazi\u00e8res . A toolkit for user-level file systems . In Proc. USENIX Annual Technical Conference , pages 261 -- 274 , June 2001 .]] David Mazi\u00e8res. A toolkit for user-level file systems. In Proc. USENIX Annual Technical Conference, pages 261--274, June 2001.]]"},{"key":"e_1_3_2_1_26_1","unstructured":"Mike Muuss. The story of TTCP. http:\/\/ftp.arl.mil\/~mike\/ttcp.html.]] Mike Muuss. The story of TTCP. http:\/\/ftp.arl.mil\/~mike\/ttcp.html.]]"},{"key":"e_1_3_2_1_27_1","unstructured":"Niels Provos. libevent --- an event notification library. http:\/\/www.monkey.org\/provos\/libevent\/.]] Niels Provos. libevent --- an event notification library. http:\/\/www.monkey.org\/provos\/libevent\/.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651903"},{"volume-title":"Tommy H\u00f8jfel Olesen, and Peter Sestoft. Programming with regions in the ML Kit (for version 4. Technical report","year":"2001","author":"Tofte Mads","key":"e_1_3_2_1_30_1","unstructured":"Mads Tofte , Lars Birkedal , Martin Elsman , Niels Hallenberg , Tommy H\u00f8jfel Olesen, and Peter Sestoft. Programming with regions in the ML Kit (for version 4. Technical report , IT University of Copenhagen , September 2001 .]] Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy H\u00f8jfel Olesen, and Peter Sestoft. Programming with regions in the ML Kit (for version 4. Technical report, IT University of Copenhagen, September 2001.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"volume-title":"April","year":"1990","author":"Wadler Philip","key":"e_1_3_2_1_32_1","unstructured":"Philip Wadler . Linear types can change the world! In Programming Concepts and Methods , April 1990 . IFIP TC 2 Working Conference .]] Philip Wadler. Linear types can change the world! In Programming Concepts and Methods, April 1990. IFIP TC 2 Working Conference.]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/363911.363923"},{"key":"e_1_3_2_1_34_1","first-page":"177","volume-title":"Proc. Workshop on Types in Compilation (TIC)","author":"Walker David","year":"2000","unstructured":"David Walker and Greg Morrisett . Alias types for recursive data structures . In Proc. Workshop on Types in Compilation (TIC) , pages 177 -- 206 , September 2000 .]] David Walker and Greg Morrisett. Alias types for recursive data structures. In Proc. Workshop on Types in Compilation (TIC), pages 177--206, September 2000.]]"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507658"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360218"},{"key":"e_1_3_2_1_37_1","first-page":"214","volume-title":"Dependent types in practical programming","author":"Xi Hongwei","year":"1999","unstructured":"Hongwei Xi and Frank Pfenning . Dependent types in practical programming . pages 214 -- 227 , January 1999 .]] Hongwei Xi and Frank Pfenning. Dependent types in practical programming. pages 214--227, January 1999.]]"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230704"}],"event":{"name":"ISMM04: 2004 International Symposium on Memory Management ( in conjunction with OOPSLA 2004 Conference )","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Vancouver BC Canada","acronym":"ISMM04"},"container-title":["Proceedings of the 4th international symposium on Memory management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1029873.1029883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T01:23:40Z","timestamp":1673054620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1029873.1029883"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10,24]]},"references-count":35,"alternative-id":["10.1145\/1029873.1029883","10.1145\/1029873"],"URL":"https:\/\/doi.org\/10.1145\/1029873.1029883","relation":{},"subject":[],"published":{"date-parts":[[2004,10,24]]},"assertion":[{"value":"2004-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}