{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:52Z","timestamp":1772164012931,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,17]],"date-time":"2010-01-17T00:00:00Z","timestamp":1263686400000},"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":[[2010,1,17]]},"DOI":"10.1145\/1706299.1706301","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T15:15:04Z","timestamp":1263914104000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Reconfigurable asynchronous logic automata"],"prefix":"10.1145","author":[{"given":"Neil","family":"Gershenfeld","sequence":"first","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]},{"given":"David","family":"Dalrymple","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]},{"given":"Kailiang","family":"Chen","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]},{"given":"Ara","family":"Knaian","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]},{"given":"Forrest","family":"Green","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]},{"given":"Erik D.","family":"Demaine","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]},{"given":"Scott","family":"Greenwald","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, USA"}]},{"given":"Peter","family":"Schmidt-Nielsen","sequence":"additional","affiliation":[{"name":"MIT Center for Bits and Atoms, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,1,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/332833.332842"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:JOSS.0000003112.54283.ac"},{"key":"e_1_3_2_1_3_1","first-page":"225","volume-title":"Annual Reviews of Computer Science","author":"Culler D. E.","year":"1986","unstructured":"Arvind and D. E. Culler . Dataflow architectures . Annual Reviews of Computer Science , pages 225 -- 253 , 1986 . Arvind and D. E. Culler. Dataflow architectures. Annual Reviews of Computer Science, pages 225--253, 1986."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00683469"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218053"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/545822"},{"key":"e_1_3_2_1_9_1","volume-title":"MIT","author":"Butera W.","year":"2002","unstructured":"W. Butera . Programming a Paintable Computer. D thesis , MIT , 2002 . W. Butera. Programming a Paintable Computer. D thesis, MIT, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/BIOCAS.2008.4696906"},{"key":"e_1_3_2_1_11_1","volume-title":"Preprint","author":"Chen K.","year":"2009","unstructured":"K. Chen , F. Green , and N. Gershenfeld . Asynchronous logic automata asic design . Preprint , 2009 . K. Chen, F. Green, and N. Gershenfeld. Asynchronous logic automata asic design. Preprint, 2009."},{"key":"e_1_3_2_1_12_1","volume-title":"Preprint","author":"Cheung K. C.","year":"2009","unstructured":"K. C. Cheung , E. D. Demaine , and S. Griffith . Programmed assembly with universally foldable strings . Preprint , 2009 . K. C. Cheung, E. D. Demaine, and S. Griffith. Programmed assembly with universally foldable strings. Preprint, 2009."},{"key":"e_1_3_2_1_13_1","first-page":"313","volume-title":"Proceedings of AUTOMATA 2008","author":"Dalrymple D.","year":"2008","unstructured":"D. Dalrymple , N. Gershenfeld , and K. Chen . Asynchronous logic automata . In Proceedings of AUTOMATA 2008 , pages 313 -- 322 , 2008 . D. Dalrymple, N. Gershenfeld, and K. Chen. Asynchronous logic automata. In Proceedings of AUTOMATA 2008, pages 313--322, 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1980.1653418"},{"key":"e_1_3_2_1_15_1","unstructured":"EE Times 2009. March 17.  EE Times 2009. March 17."},{"key":"e_1_3_2_1_16_1","first-page":"183","volume-title":"Unconventional Models of Computation","author":"Vieri C.","year":"1998","unstructured":"Frank, C. Vieri , M. J. Ammer , N. Love , N. Margolus , and T. Knight , Jr . A scalable reversible computer in silicon . In C. Calude, J. Casti, and M. Dineen, editors, Unconventional Models of Computation , pages 183 -- 200 , Berlin, 1998 . Springer . Frank, C. Vieri, M. J. Ammer, N. Love, N. Margolus, and T. Knight, Jr. A scalable reversible computer in silicon. In C. Calude, J. Casti, and M. Dineen, editors, Unconventional Models of Computation, pages 183--200, Berlin, 1998. Springer."},{"key":"e_1_3_2_1_17_1","volume-title":"Preprint","author":"Greenwald S.","year":"2009","unstructured":"S. Greenwald , B. Haeupler , and N. Gershenfeld . Mathematical operations in asynchronous logic automata . Preprint , 2009 . S. Greenwald, B. Haeupler, and N. Gershenfeld. Mathematical operations in asynchronous logic automata. Preprint, 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/566845"},{"key":"e_1_3_2_1_19_1","volume-title":"Computer Aided Logical Design with Emphasis on VLSI","author":"Hill F. J.","year":"1993","unstructured":"F. J. Hill and G. R. Peterson . Computer Aided Logical Design with Emphasis on VLSI . Wiley , New York , 4 th edition, 1993 . F. J. Hill and G. R. Peterson. Computer Aided Logical Design with Emphasis on VLSI. Wiley, New York, 4th edition, 1993.","edition":"4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013208.1013209"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASSP.1985.1163741"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1038\/35023282"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196311"},{"key":"e_1_3_2_1_24_1","first-page":"13","volume-title":"Proceedings of the IEEE Custom Integrated Circuits Conference","author":"Manohar R.","year":"2006","unstructured":"R. Manohar . Reconfigurable asynchronous logic . In Proceedings of the IEEE Custom Integrated Circuits Conference , pages 13 -- 20 , 2006 . R. Manohar. Reconfigurable asynchronous logic. In Proceedings of the IEEE Custom Integrated Circuits Conference, pages 13--20, 2006."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(84)90252-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1088\/0953-4075\/38\/9\/007"},{"key":"e_1_3_2_1_27_1","volume-title":"Computation: Finite and Infinite Machines","author":"Minsky M.","year":"1967","unstructured":"M. Minsky . Computation: Finite and Infinite Machines . Prentice-Hall , Englewood Cliffs , 1967 . M. Minsky. Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs, 1967."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/641914.641917"},{"key":"e_1_3_2_1_29_1","first-page":"406","article-title":"The drive to miniaturization","author":"Peercy P. S.","year":"2000","unstructured":"P. S. Peercy . The drive to miniaturization . Nature , 406 , 2000 . P. S. Peercy. The drive to miniaturization. Nature, 406, 2000.","journal-title":"Nature"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00116-6"},{"key":"e_1_3_2_1_31_1","volume-title":"DF 2006 International Conference on Digital Fabrication Technologies","author":"Popescu G.","year":"2006","unstructured":"G. Popescu , P. Kunzler , and N. Gershenfeld . Digital printing of digital materials . In DF 2006 International Conference on Digital Fabrication Technologies , 2006 . Denver, Colorado. G. Popescu, P. Kunzler, and N. Gershenfeld. Digital printing of digital materials. In DF 2006 International Conference on Digital Fabrication Technologies, 2006. Denver, Colorado."},{"key":"e_1_3_2_1_32_1","volume-title":"Special issue on asynchronous circuits and systems","author":"IEEE.","year":"1999","unstructured":"Proceedings of the IEEE. Special issue on asynchronous circuits and systems , 1999 . 87:2. Proceedings of the IEEE. Special issue on asynchronous circuits and systems, 1999. 87:2."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1287\/inte.31.7.29.9647"},{"key":"e_1_3_2_1_34_1","volume-title":"To be published","author":"Schmidt-Nielsen P.","year":"2009","unstructured":"P. Schmidt-Nielsen . RALA CAD. To be published , 2009 . P. Schmidt-Nielsen. RALA CAD. To be published, 2009."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/55.930674"},{"key":"e_1_3_2_1_36_1","volume-title":"Cellular Automata Machines: A New Environment for Modeling","author":"Toffoli T.","year":"1991","unstructured":"T. Toffoli and N. Margolus . Cellular Automata Machines: A New Environment for Modeling . MIT Press , Cambridge, MA , 1991 . T. Toffoli and N. Margolus. Cellular Automata Machines: A New Environment for Modeling. MIT Press, Cambridge, MA, 1991."},{"key":"e_1_3_2_1_37_1","volume-title":"phMind, 59: 433--560","author":"Turing A.","year":"1950","unstructured":"A. Turing . Computing machinery and intelligence. phMind, 59: 433--560 , 1950 . A. Turing. Computing machinery and intelligence. phMind, 59: 433--560, 1950."},{"key":"e_1_3_2_1_38_1","volume-title":"CA","author":"Venkataramani G.","year":"2004","unstructured":"G. Venkataramani , M. Budiu , T. Chelcea , and S. C. Goldstein . C to asynchronous dataflow circuits: An end-to-end toolflow. In phIEEE 13th International Workshop on Logic Synthesis (IWLS), Temecula , CA , June 2004 . G. Venkataramani, M. Budiu, T. Chelcea, and S. C. Goldstein. C to asynchronous dataflow circuits: An end-to-end toolflow. In phIEEE 13th International Workshop on Logic Synthesis (IWLS), Temecula, CA, June 2004."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2006.878165"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"J. von Neumann. First draft of a report on the EDVAC 1945.  J. von Neumann. First draft of a report on the EDVAC 1945.","DOI":"10.5479\/sil.538961.39088011475779"},{"key":"e_1_3_2_1_41_1","volume-title":"University of Illinois Press","author":"von Neumann J.","year":"1966","unstructured":"J. von Neumann . Theory of Self-Reproducing Automata. University of Illinois Press , Urbana , 1966 . Edited and completed by Arthur W. Burks . J. von Neumann. Theory of Self-Reproducing Automata. University of Illinois Press, Urbana, 1966. Edited and completed by Arthur W. Burks."},{"key":"e_1_3_2_1_42_1","first-page":"1","article-title":"Proving theorems by pattern recognition --- II","volume":"40","author":"Wang H.","year":"1961","unstructured":"H. Wang . Proving theorems by pattern recognition --- II . Bell System Tech. Journal , 40 : 1 -- 41 , 1961 . H. Wang. Proving theorems by pattern recognition --- II. Bell System Tech. Journal, 40: 1--41, 1961.","journal-title":"Journal"}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Madrid Spain","acronym":"POPL '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706301","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1706299.1706301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:26:18Z","timestamp":1750263978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706301"}},"subtitle":["(RALA)"],"short-title":[],"issued":{"date-parts":[[2010,1,17]]},"references-count":41,"alternative-id":["10.1145\/1706299.1706301","10.1145\/1706299"],"URL":"https:\/\/doi.org\/10.1145\/1706299.1706301","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1707801.1706301","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,1,17]]},"assertion":[{"value":"2010-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}