RETROSPECTIVE: Corona: System Implications of Emerging Nanophotonic Technology.

Al Davis Alan L. Davis University of Utah, Salt Lake City, Utah, USA http://www.cs.utah.edu/~ald/

Dana Vantrease Robert Schreiber Matteo Monchiero Moray McLaren Norman P. Jouppi Marco Fiorentino Al Davis Nathan L. Binkert Raymond G. Beausoleil Jung Ho Ahn RETROSPECTIVE: Corona: System Implications of Emerging Nanophotonic Technology. 2023 abs/2306.15688 CoRR https://doi.org/10.48550/arXiv.2306.15688 db/journals/corr/corr2306.html#abs-2306-15688

Dana Vantrease Robert Schreiber Matteo Monchiero Moray McLaren Norman P. Jouppi Marco Fiorentino Al Davis Nathan L. Binkert Raymond G. Beausoleil Jung Ho Ahn Corona: System Implications of Emerging Nanophotonic Technology. 2023 abs/2307.06294 CoRR https://doi.org/10.48550/arXiv.2307.06294 db/journals/corr/corr2307.html#abs-2307-06294

Patrick Knebel Dan Berkram Al Davis Darel Emmot Paolo Faraboschi Gary Gostin Gen-Z Chipsetfor Exascale Fabrics. 1-22 2019 Hot Chips Symposium https://doi.org/10.1109/HOTCHIPS.2019.8875646 conf/hotchips/2019 db/conf/hotchips/hotchips2019.html#KnebelBDEFG19 Nic McDonald Mikhail Isaev Adriana Flores Al Davis John Kim 0001 Practical and efficient incremental adaptive routing for HyperX networks. 15:1-15:13 2019 SC https://doi.org/10.1145/3295500.3356151 conf/sc/2019 db/conf/sc/sc2019.html#McDonaldIFDK19 Nic McDonald Adriana Flores Al Davis Mikhail Isaev John Kim 0001 Doug Gibson SuperSim: Extensible Flit-Level Simulation of Large-Scale Interconnection Networks. 87-98 2018 ISPASS https://doi.org/10.1109/ISPASS.2018.00017 https://doi.ieeecomputersociety.org/10.1109/ISPASS.2018.00017 conf/ispass/2018 db/conf/ispass/ispass2018.html#McDonaldFDIKG18 Jia Zhan Itir Akgun Jishen Zhao Al Davis Paolo Faraboschi Yuangang Wang Yuan Xie 0001 A unified memory network architecture for in-memory computing in commodity servers. 29:1-29:14 2016 MICRO https://doi.org/10.1109/MICRO.2016.7783732 https://doi.ieeecomputersociety.org/10.1109/MICRO.2016.7783732 http://dl.acm.org/citation.cfm?id=3195673 conf/micro/2016 db/conf/micro/micro2016.html#ZhanAZDFWX16

Daniel M. Kopta Konstantin Shkurko Josef B. Spjut Erik Brunvand Al Davis Memory Considerations for Low Energy Ray Tracing. 47-59 2015 34 Comput. Graph. Forum 1 https://doi.org/10.1111/cgf.12458 db/journals/cgf/cgf34.html#KoptaSSBD15

Seth H. Pugsley Jeffrey Jestes Rajeev Balasubramonian Vijayalakshmi Srinivasan Alper Buyuktosunoglu Al Davis Feifei Li 0001 Comparing Implementations of Near-Data Computing with In-Memory MapReduce Workloads. 44-52 2014 34 IEEE Micro 4 https://doi.org/10.1109/MM.2014.54 http://doi.ieeecomputersociety.org/10.1109/MM.2014.54 db/journals/micro/micro34.html#PugsleyJBSBDL14

Ali Shafiee Meysam Taassori Rajeev Balasubramonian Al Davis MemZip: Exploring unconventional benefits from memory compression. 638-649 2014 HPCA https://doi.org/10.1109/HPCA.2014.6835972 https://doi.ieeecomputersociety.org/10.1109/HPCA.2014.6835972 conf/hpca/2014 db/conf/hpca/hpca2014.html#ShafieeTBD14 Seth H. Pugsley Jeffrey Jestes Huihui Zhang Rajeev Balasubramonian Vijayalakshmi Srinivasan Alper Buyuktosunoglu Al Davis Feifei Li 0001 NDC: Analyzing the impact of 3D-stacked memory+logic devices on MapReduce workloads. 190-200 2014 ISPASS https://doi.org/10.1109/ISPASS.2014.6844483 https://doi.ieeecomputersociety.org/10.1109/ISPASS.2014.6844483 conf/ispass/2014 db/conf/ispass/ispass2014.html#PugsleyJZBSBDL14 Rajeev Balasubramonian Al Davis Sarita V. Adve Architectural Support for Programming Languages and Operating Systems, ASPLOS 2014, Salt Lake City, UT, USA, March 1-5, 2014 ACM ASPLOS 2014 978-1-4503-2305-5 https://doi.org/10.1145/2541940 https://doi.org/10.1145/2644865 https://doi.org/10.1145/2654822 db/conf/asplos/asplos2014.html Daniel M. Kopta Konstantin Shkurko Josef B. Spjut Erik Brunvand Al Davis An Energy and Bandwidth Efficient Ray Tracing Architecture. 121-128 2013 High Performance Graphics https://doi.org/10.1145/2492045.2492058 conf/egh/2013 db/conf/egh/hpg2013.html#KoptaSSBD13 Manjunath Shevgoor Jung-Sik Kim Niladrish Chatterjee Rajeev Balasubramonian Al Davis Aniruddha N. Udipi Quantifying the relationship between the power delivery network and architectural policies in a 3D-stacked memory device. 198-209 2013 MICRO https://doi.org/10.1145/2540708.2540726 https://ieeexplore.ieee.org/document/7847626/ conf/micro/2013 db/conf/micro/micro2013.html#ShevgoorKCBDU13

Manu Awasthi David W. Nellans Kshitij Sudan Rajeev Balasubramonian Al Davis Managing Data Placement in Memory Systems with Multiple Memory Controllers. 57-83 2012 40 Int. J. Parallel Program. 1 https://doi.org/10.1007/s10766-011-0178-1 db/journals/ijpp/ijpp40.html#AwasthiNSBD12

Nathan L. Binkert Al Davis Norman P. Jouppi Moray McLaren Naveen Muralimanohar Robert Schreiber Jung Ho Ahn Optical High Radix Switch Design. 100-109 2012 32 IEEE Micro 3 https://doi.org/10.1109/MM.2012.24 http://doi.ieeecomputersociety.org/10.1109/MM.2012.24 db/journals/micro/micro32.html#BinkertDJMMSA12

Al Davis The role of photonics in future data centers. 1-2 2012 ACM Great Lakes Symposium on VLSI https://doi.org/10.1145/2206781.2206783 conf/glvlsi/2012 db/conf/glvlsi/glvlsi2012.html#Davis12 Niladrish Chatterjee Naveen Muralimanohar Rajeev Balasubramonian Al Davis Norman P. Jouppi Staged Reads: Mitigating the impact of DRAM writes on DRAM reads. 41-52 2012 HPCA https://doi.org/10.1109/HPCA.2012.6168943 https://doi.ieeecomputersociety.org/10.1109/HPCA.2012.6168943 conf/hpca/2012 db/conf/hpca/hpca2012.html#ChatterjeeMBDJ12 Aniruddha N. Udipi Naveen Muralimanohar Rajeev Balasubramonian Al Davis Norman P. Jouppi LOT-ECC: Localized and tiered reliability mechanisms for commodity memory systems. 285-296 2012 ISCA https://doi.org/10.1109/ISCA.2012.6237025 https://doi.ieeecomputersociety.org/10.1109/ISCA.2012.6237025 http://dl.acm.org/citation.cfm?id=2337192 conf/isca/2012 db/conf/isca/isca2012.html#UdipiMBDJ12 Niladrish Chatterjee Manjunath Shevgoor Rajeev Balasubramonian Al Davis Zhen Fang 0002 Ramesh Illikkal Ravi R. Iyer 0001 Leveraging Heterogeneity in DRAM Main Memories to Accelerate Critical Word Access. 13-24 2012 MICRO https://doi.org/10.1109/MICRO.2012.11 https://doi.ieeecomputersociety.org/10.1109/MICRO.2012.11 http://dl.acm.org/citation.cfm?id=2457482 conf/micro/2012 db/conf/micro/micro2012.html#ChatterjeeSBDFII12 Daniel M. Kopta Thiago Ize Josef B. Spjut Erik Brunvand Al Davis Andrew Kensler Fast, effective BVH updates for animated scenes. 197-204 2012 I3D https://doi.org/10.1145/2159616.2159649 conf/si3d/2012 db/conf/si3d/si3d2012.html#KoptaISBDK12

Al Davis Asynchronous FUD. 116 2011 28 IEEE Des. Test Comput. 5 https://doi.org/10.1109/MDT.2011.97 http://doi.ieeecomputersociety.org/10.1109/MDT.2011.97 db/journals/dt/dt28.html#Davis11

Manu Awasthi David W. Nellans Rajeev Balasubramonian Al Davis Prediction Based DRAM Row-Buffer Management in the Many-Core Era. 183-184 2011 PACT https://doi.org/10.1109/PACT.2011.31 https://doi.ieeecomputersociety.org/10.1109/PACT.2011.31 conf/IEEEpact/2011 db/conf/IEEEpact/pact2011.html#AwasthiNBD11 Aniruddha N. Udipi Naveen Muralimanohar Rajeev Balasubramonian Al Davis Norman P. Jouppi Combining memory and a controller with photonics through 3D-stacking to enable scalable and energy-efficient systems. 425-436 2011 ISCA https://doi.org/10.1145/2000064.2000115 https://ieeexplore.ieee.org/document/6307776/ conf/isca/2011 db/conf/isca/isca2011.html#UdipiMBDJ11 Nathan L. Binkert Al Davis Norman P. Jouppi Moray McLaren Naveen Muralimanohar Robert Schreiber Jung Ho Ahn The role of optics in future high radix switch design. 437-448 2011 ISCA https://doi.org/10.1145/2000064.2000116 https://ieeexplore.ieee.org/document/6307777/ https://www.wikidata.org/entity/Q130965537 conf/isca/2011 db/conf/isca/isca2011.html#BinkertDJMMSA11 Jung Ho Ahn Raymond G. Beausoleil Nathan L. Binkert Al Davis Marco Fiorentino Norman P. Jouppi Moray McLaren Matteo Monchiero Naveen Muralimanohar Robert Schreiber Dana Vantrease CMOS Nanophotonics: Technology, System Implications, and a CMP Case Study. 223-254 2011 Low Power Networks-on-Chip https://doi.org/10.1007/978-1-4419-6911-8_9 https://www.wikidata.org/entity/Q62594788 books/sp/SLP2011 db/books/collections/SLP2011.html#AhnBBDFJMMMSV11 Manu Awasthi David W. Nellans Kshitij Sudan Rajeev Balasubramonian Al Davis Handling the problems and opportunities posed by multiple on-chip memory controllers. 319-330 2010 PACT https://doi.org/10.1145/1854273.1854314 https://ieeexplore.ieee.org/document/7851531/ conf/IEEEpact/2010 db/conf/IEEEpact/pact2010.html#AwasthiNSBD10 Kshitij Sudan Niladrish Chatterjee David W. Nellans Manu Awasthi Rajeev Balasubramonian Al Davis Micro-pages: increasing DRAM efficiency with locality-aware data placement. 219-230 2010 ASPLOS https://doi.org/10.1145/1736020.1736045 https://doi.org/10.1145/1735970.1736045 https://doi.org/10.1145/1735971.1736045 conf/asplos/2010 db/conf/asplos/asplos2010.html#SudanCNABD10 Al Davis Photonics and future datacenter networks. 1-38 2010 Hot Chips Symposium https://doi.ieeecomputersociety.org/10.1109/HOTCHIPS.2010.7480062 conf/hotchips/2010 db/conf/hotchips/hotchips2010.html#Davis10 Daniel M. Kopta Josef B. Spjut Erik Brunvand Al Davis Efficient MIMD architectures for high-performance ray tracing. 9-16 2010 ICCD https://doi.org/10.1109/ICCD.2010.5647555 https://doi.ieeecomputersociety.org/10.1109/ICCD.2010.5647555 conf/iccd/2010 db/conf/iccd/iccd2010.html#KoptaSBD10 Aniruddha N. Udipi Naveen Muralimanohar Niladrish Chatterjee Rajeev Balasubramonian Al Davis Norman P. Jouppi Rethinking DRAM design and organization for energy-constrained multi-cores. 175-186 2010 ISCA https://doi.org/10.1145/1815961.1815983 conf/isca/2010 db/conf/isca/isca2010.html#UdipiMCBDJ10 George B. P. Bezerra Stephanie Forrest Melanie Forrest Al Davis Payman Zarkesh-Ha Modeling NoC traffic locality and energy consumption with rent's communication probability distribution. 3-8 2010 SLIP https://doi.org/10.1145/1811100.1811103 conf/slip/2010 db/conf/slip/slip2010.html#BezerraFFDZ10 Karthik Ramani Christiaan P. Gribble Al Davis StreamRay: a stream filtering architecture for coherent ray tracing. 325-336 2009 ASPLOS https://doi.org/10.1145/1508244.1508282 https://doi.org/10.1145/1508284.1508282 https://doi.org/10.1145/2528521.1508282 conf/asplos/2009 db/conf/asplos/asplos2009.html#RamaniGD09 Jung Ho Ahn Nathan L. Binkert Al Davis Moray McLaren Robert S. Schreiber HyperX: topology, routing, and packaging of efficient large-scale networks. 2009 SC https://doi.org/10.1145/1654059.1654101 conf/sc/2009 db/conf/sc/sc2009.html#AhnBDMS09

Peter Shirley Kelvin Sung Erik Brunvand Alan L. Davis Steven G. Parker Solomon Boulos Fast ray tracing and the potential effects on graphics and gaming courses. 260-267 2008 32 Comput. Graph. 2 https://doi.org/10.1016/j.cag.2008.01.007 db/journals/cg/cg32.html#ShirleySBDPB08

Raymond G. Beausoleil Jung Ho Ahn Nathan L. Binkert Al Davis David Fattal Marco Fiorentino Norman P. Jouppi Moray McLaren Charles M. Santori Robert S. Schreiber S. M. Spillane Dana Vantrease Qianfan Xu A Nanophotonic Interconnect for High-Performance Many-Core Computation. 182-189 2008 Hot Interconnects https://doi.org/10.1109/HOTI.2008.32 https://doi.ieeecomputersociety.org/10.1109/HOTI.2008.32 https://www.wikidata.org/entity/Q62594824 conf/hoti/2008 db/conf/hoti/hoti2008.html#BeausoleilABDFFJMSSSVX08 Dana Vantrease Robert Schreiber Matteo Monchiero Moray McLaren Norman P. Jouppi Marco Fiorentino Al Davis Nathan L. Binkert Raymond G. Beausoleil Jung Ho Ahn Corona: System Implications of Emerging Nanophotonic Technology. 153-164 2008 ISCA https://doi.org/10.1109/ISCA.2008.35 https://doi.ieeecomputersociety.org/10.1109/ISCA.2008.35 http://dl.acm.org/citation.cfm?id=1382135 https://www.wikidata.org/entity/Q62594829 conf/isca/2008 db/conf/isca/isca2008.html#VantreaseSMMJFDBBA08 Karthik Ramani Al Davis Application driven embedded system design: a face recognition case study. 103-114 2007 conf/cases/2007 CASES https://doi.org/10.1145/1289881.1289902 db/conf/cases/cases2007.html#RamaniD07 Al Davis REFS Keynote: "Requirements for Services: Does it Make Sense?". 451-454 2007 conf/compsac/2007-2 COMPSAC (2) https://doi.org/10.1109/COMPSAC.2007.177 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.177 db/conf/compsac/compsac2007-2.html#Davis07 Peter Shirley Kelvin Sung Erik Brunvand Alan L. Davis Steven G. Parker Solomon Boulos Rethinking graphics and gaming courses because of fast ray tracing. 15 2007 SIGGRAPH Educators Program https://doi.org/10.1145/1282040.1282056 conf/siggraph/2007edu db/conf/siggraph/siggraph2007edu.html#ShirleySBDPB07

Lambert Schaelicke Alan L. Davis Design Trade-Offs for User-Level I/O Architectures. 962-973 2006 55 IEEE Trans. Computers 8 https://doi.org/10.1109/TC.2006.122 http://doi.ieeecomputersociety.org/10.1109/TC.2006.122 db/journals/tc/tc55.html#SchaelickeD06

Al Davis Keynote: Just Enough Requirements Management for Web Engineering. 1-2 2005 conf/icwe/2005 ICWE https://doi.org/10.1007/11531371_1 db/conf/icwe/icwe2005.html#Davis05

Victor R. Basili Barry W. Boehm Al Davis Watts S. Humphrey Nancy G. Leveson Nancy R. Mead John D. Musa David Lorge Parnas Shari Lawrence Pfleeger Elaine J. Weyuker New Year's Resolutions for Software Quality. 12-13 2004 21 IEEE Softw. 1 https://doi.org/10.1109/MS.2004.1259165 http://doi.ieeecomputersociety.org/10.1109/MS.2004.1259165 https://www.wikidata.org/entity/Q122900120 db/journals/software/software21.html#BasiliBDHLMMPPJ04

Binu K. Mathew Al Davis Michael A. Parker A low power architecture for embedded perception. 46-56 2004 conf/cases/2004 CASES https://doi.org/10.1145/1023833.1023842 db/conf/cases/cases2004.html#MathewDP04 Binu K. Mathew Al Davis A loop accelerator for low power embedded VLIW processors. 6-11 2004 conf/codes/2004 CODES+ISSS https://doi.org/10.1145/1016720.1016726 https://doi.org/10.1109/CODES+ISSS.2004.1 db/conf/codes/codes2004.html#MathewD04 Ali Ibrahim Michael A. Parker Al Davis Energy efficient cluster co-processors [3G wireless applications]. 5-8 2004 ICASSP (5) https://doi.org/10.1109/ICASSP.2004.1327033 conf/icassp/2004 db/conf/icassp/icassp2004.html#IbrahimPD04 Al Davis Correct Embedded Computing Futures. 82 https://doi.org/10.1007/978-3-540-30142-4_6 2004 conf/tphol/2004 TPHOLs db/conf/tphol/tphol2004.html#Davis04 Binu K. Mathew Al Davis Zhen Fang 0002 A low-power accelerator for the SPHINX 3 speech recognition system. 210-219 2003 conf/cases/2003 CASES https://doi.org/10.1145/951710.951739 db/conf/cases/cases2003.html#MathewDF03 Binu K. Mathew Al Davis Ali Ibrahim Perception Coprocessors for Embedded Systems. 109-116 2003 conf/estimedia/2003 ESTIMedia db/conf/estimedia/estimedia2003.html#MathewDI03 Al Davis Requirements Triage: The Most Important Part of Software Engineeringand the Most Ignored. 275 2001 conf/seke/2001 SEKE db/conf/seke/seke2001.html#Davis01 Binu K. Mathew Sally A. McKee John B. Carter Al Davis Design of a Parallel Vector Access Unit for SDRAM Memory Systems. 39-48 2000 conf/hpca/2000 HPCA https://doi.org/10.1109/HPCA.2000.824337 https://doi.ieeecomputersociety.org/10.1109/HPCA.2000.824337 db/conf/hpca/hpca2000.html#MathewMCD00 Lambert Schaelicke Al Davis Sally A. McKee Profiling I/O Interrupts in Modern Architectures. 115-123 2000 conf/mascots/2000 MASCOTS https://doi.org/10.1109/MASCOT.2000.876436 https://doi.ieeecomputersociety.org/10.1109/MASCOT.2000.876436 db/conf/mascots/mascots2000.html#SchaelickeDM00 Binu K. Mathew Sally A. McKee John B. Carter Al Davis Algorithmic foundations for a parallel vector access memory system. 156-165 2000 conf/spaa/2000 SPAA https://doi.org/10.1145/341800.341819 db/conf/spaa/spaa2000.html#MathewMCD00 John B. Carter Wilson C. Hsieh Leigh Stoller Mark R. Swanson Lixin Zhang 0002 Erik Brunvand Al Davis Chen-Chi Kuo Ravindra Kuramkote Michael A. Parker Lambert Schaelicke Terry Tateyama Impulse: Building a Smarter Memory Controller. 70-79 1999 conf/hpca/1999 HPCA https://doi.org/10.1109/HPCA.1999.744334 https://doi.ieeecomputersociety.org/10.1109/HPCA.1999.744334 db/conf/hpca/hpca1999.html#CarterHSSZBDKKPST99

Al Davis From The Editor: Recovering from Method Abuse. 4-8 1998 15 IEEE Softw. 1 db/journals/software/software15.html#Davis98 http://doi.ieeecomputersociety.org/10.1109/MS.1998.10002

John B. Carter Wilson C. Hsieh Mark R. Swanson Lixin Zhang 0002 Erik Brunvand Al Davis Chen-Chi Kuo Ravindra Kuramkote Michael A. Parker Lambert Schaelicke Leigh Stoller Terry Tateyama Memory System Support for Irregular Applications. 17-26 https://doi.org/10.1007/3-540-49530-4_2 1998 conf/lcr/1998 LCR db/conf/lcr/lcr98.html#CarterHSZBDKKPSST98 Lambert Schaelicke Al Davis Improving I/O Performance with a Conditional Store Buffer. 160-169 1998 conf/micro/1998 MICRO https://doi.org/10.1109/MICRO.1998.742778 https://doi.ieeecomputersociety.org/10.1109/MICRO.1998.742778 https://dl.acm.org/doi/10.5555/290940.290975 db/conf/micro/micro98.html#SchaelickeD98 Al Davis Mark R. Swanson Michael A. Parker Efficient Communication Mechanisms for Cluster Based Parallel Computing. 1-15 1997 conf/canpc/1997 CANPC db/conf/canpc/canpc97.html#DavisSP97 https://doi.org/10.1007/3-540-62573-9_1 Ludmila Cherkasova Al Davis Robin Hodgson Vadim E. Kotov Ian N. Robinson Tomas Rokicki Components of Congestion Control. 208-210 1996 conf/spaa/1996 SPAA db/conf/spaa/spaa96.html#CherkasovaDHKRR96 https://doi.org/10.1145/237502.237557 Ludmila Cherkasova Al Davis Vadim E. Kotov Tomas Rokicki Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects. 401-402 1994 conf/mascots/1994 MASCOTS db/conf/mascots/mascots1994.html#CherkasovaDKR94 https://doi.org/10.1109/MASCOT.1994.284390 https://doi.ieeecomputersociety.org/10.1109/MASCOT.1994.284390 Alan L. Davis Robin Hodgson Ian N. Robinson Ludmila Cherkasova Vadim E. Kotov Tomas Rokicki R2: A Damped Adaptive Router Design. 295-309 1994 conf/pcrcw/1994 PCRCW db/conf/pcrcw/pcrcw1994.html#DavisHRCKR94 https://doi.org/10.1007/3-540-58429-3_45

Bill Coates 0001 Al Davis Ken Stevens The Post Office experience: designing a large asynchronous chip. 341-366 1993 15 Integr. 3 https://doi.org/10.1016/0167-9260(93)90036-C db/journals/integration/integration15.html#CoatesDS93

Al Davis Bill Coates 0001 Ken Stevens Automatic Synthesis of Fast Compact Asynchronous Control Circuits. 193-207 1993 conf/ifip10-5/1993 Asynchronous Design Methodologies db/conf/ifip10-5/ifip10-5-1993.html#DavisCS93

Al Davis Mayfly: A General-Purpose, Scalable, Parallel Processing Architecture. 7-48 1992 5 LISP Symb. Comput. 1-2 db/journals/lisp/lisp5.html#Davis92

Judy M. Anderson William S. Coates Alan L. Davis Robert W. Hon Ian N. Robinson Shane V. Robison Kenneth S. Stevens The Architecture of FAIM-1. 55-65 1987 20 Computer 1 db/journals/computer/computer20.html#AndersonCDHRRS87 https://doi.org/10.1109/MC.1987.1663357 http://doi.ieeecomputersociety.org/10.1109/MC.1987.1663357

Kenneth S. Stevens Shane V. Robison Alan L. Davis The Post Office-Communication Support for Distributed Ensemble Architectures. 160-166 1986 conf/icdcs/1986 ICDCS db/conf/icdcs/icdcs86.html#StevensRD86 Alan L. Davis Shane V. Robison The FAIM-1 Symbolic Multiprocessing System. 370-375 1985 conf/compcon/1985 COMPCON db/conf/compcon/compcon1985.html#DavisR85 Alan L. Davis Shane V. Robison The Architecture of the FAIM-1 Symbolic Multiprocessing System. 32-38 1985 conf/ijcai/1985 IJCAI db/conf/ijcai/ijcai85.html#DavisR85 http://ijcai.org/Proceedings/85-1/Papers/008.pdf

Elliott I. Organick Tony M. Carter Mike P. Maloney Alan L. Davis Alan B. Hayes Dan Klass Gary Lindstrom Brent E. Nelson Kent F. Smith Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. 31-49 1984 1 IEEE Softw. 1 db/journals/software/software1.html#OrganickCMDHKLNS84 https://doi.org/10.1109/MS.1984.233394 http://doi.ieeecomputersociety.org/10.1109/MS.1984.233394

Tony M. Carter Alan L. Davis Alan B. Hayes Gary Lindstrom Dan Klass Mike P. Maloney Brent E. Nelson Elliott I. Organick Kent F. Smith Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. 448-455 1984 conf/compcon/1984 COMPCON db/conf/compcon/compcon1984.html#CarterDHLKMNOS84

Alan L. Davis Robert M. Keller Data Flow Program Graphs. 26-41 1982 15 Computer 2 db/journals/computer/computer15.html#DavisK82 https://doi.org/10.1109/MC.1982.1653939 http://doi.ieeecomputersociety.org/10.1109/MC.1982.1653939

Sarita V. Adve Jung Ho Ahn Itir Akgun Judy M. Anderson Manu Awasthi Rajeev Balasubramonian Victor R. Basili Raymond G. Beausoleil Daniel A. BerkramDan Berkram George B. P. Bezerra Nathan L. Binkert Barry W. Boehm Solomon Boulos Erik Brunvand Alper Buyuktosunoglu John B. Carter Tony M. Carter Niladrish Chatterjee Ludmila Cherkasova Bill Coates 0001William S. Coates Darel Emmot Zhen Fang 0002 Paolo Faraboschi David Fattal Marco Fiorentino Adriana Flores Melanie Forrest Stephanie Forrest Doug Gibson Gary Gostin Christiaan P. Gribble Alan B. Hayes Robin Hodgson Robert W. Hon Wilson C. Hsieh Watts S. Humphrey Ali Ibrahim Ramesh Illikkal Mikhail Isaev Ravi R. Iyer 0001 Thiago Ize Jeffrey Jestes Norman P. Jouppi Robert M. Keller Andrew Kensler John Kim 0001 Jung-Sik Kim Dan Klass Patrick Knebel Daniel M. Kopta Vadim E. Kotov Chen-Chi Kuo Ravindra Kuramkote Nancy G. Leveson Feifei Li 0001 Gary Lindstrom Mike P. Maloney Binu K. Mathew Nic McDonald Sally A. McKee Moray McLaren Nancy R. Mead Matteo Monchiero Naveen Muralimanohar John D. Musa David W. Nellans Brent E. Nelson Elliott I. Organick Michael A. Parker Steven G. Parker David Lorge Parnas Shari Lawrence Pfleeger Seth H. Pugsley Karthik Ramani Ian N. Robinson Shane V. Robison Tomas Rokicki Charles M. Santori Lambert Schaelicke Robert Schreiber Robert S. Schreiber Ali Shafiee Manjunath Shevgoor Peter Shirley Konstantin Shkurko Kent F. Smith S. M. Spillane Josef B. Spjut Vijayalakshmi Srinivasan Ken Stevens Kenneth S. Stevens Leigh Stoller Kshitij Sudan Kelvin Sung Mark R. Swanson Meysam Taassori Terry Tateyama Aniruddha N. Udipi Dana Vantrease Yuangang Wang Elaine J. Weyuker Yuan Xie 0001 Qianfan Xu Payman Zarkesh-Ha Jia Zhan Huihui Zhang Lixin Zhang 0002 Jishen Zhao