Lost In Translation: Exposing Hidden Compiler Optimization Opportunities.

David May 0001 http://www.cs.bris.ac.uk/~dave/ https://en.wikipedia.org/wiki/David_May_(computer_scientist) https://www.wikidata.org/entity/Q92730 https://viaf.org/viaf/170334308 https://id.loc.gov/authorities/names/nb2011010050 https://d-nb.info/gnd/1226788440 University of Bristol, UK David May David May 0002 Penn State Great Valley, Malvern, PA, USA David May 0003 European Patent Office, Munich, Germany TUM, Munich, Germany https://de.linkedin.com/in/davidmaymuc David May 0004 Real Time Information Systems, Chichester, UK University of Portsmouth, UK David May 0005 University of Lincoln, Institute for Agri-food Technology, UK David May 0006 XMOS David May 0007 University of Bremen, FIBRE, Germany David May 0008 Glorified Statistics Ltd., Sligo, Ireland

Kyriakos Georgiou Zbigniew Chamski Andrés Amaya García David May 0001 Kerstin Eder Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. 718-735 2022 65 Comput. J. 3 https://doi.org/10.1093/comjnl/bxaa103 https://www.wikidata.org/entity/Q123111386 db/journals/cj/cj65.html#GeorgiouCGME22

Andrés Amaya García David May 0001 Ed Nutting Integrated Hardware Garbage Collection. 40:1-40:25 2021 20 ACM Trans. Embed. Comput. Syst. 5 https://doi.org/10.1145/3450147 https://www.wikidata.org/entity/Q131116934 db/journals/tecs/tecs20.html#GarciaMN21

David May 0001 CSP, Occam, and Inmos. 271-284 2021 Theories of Programming https://doi.org/10.1145/3477355.3477368 https://www.wikidata.org/entity/Q130985259 books/mc/JM2021 db/books/collections/JM2021.html#May21 Andrés Amaya García David May 0001 Ed Nutting Garbage Collection for Edge Computing. 319 2020 SEC https://doi.org/10.1109/SEC50012.2020.00044 conf/ieeesec/2020 db/conf/ieeesec/ieeesec2020.html#GarciaMN20

Kyriakos Georgiou Zbigniew Chamski Andrés Amaya García David May 0001 Kerstin Eder Lost in translation: Exposing hidden compiler optimization opportunities. 2019 abs/1903.11397 CoRR http://arxiv.org/abs/1903.11397 db/journals/corr/corr1903.html#abs-1903-11397

Steve Kerrison David May 0001 Kerstin Eder A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. 125-132 2016 MCSoC https://doi.org/10.1109/MCSoC.2016.50 https://doi.ieeecomputersociety.org/10.1109/MCSoC.2016.50 conf/mcsoc/2016 db/conf/mcsoc/mcsoc2016.html#KerrisonME16

Steve Kerrison David May 0001 Kerstin Eder A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. 2016 abs/1606.08686 CoRR http://arxiv.org/abs/1606.08686 db/journals/corr/corr1606.html#KerrisonME16

David May 0001 The XMOS Architecture and XS1 Chips. 28-37 2012 32 IEEE Micro 6 https://doi.org/10.1109/MM.2012.87 http://doi.ieeecomputersociety.org/10.1109/MM.2012.87 db/journals/micro/micro32.html#May12

James W. Hanlon Simon J. Hollis David May 0001 Scalable data abstractions for distributed parallel computations http://arxiv.org/abs/1210.1157 2012 CoRR abs/1210.1157 db/journals/corr/corr1210.html#abs-1210-1157

James W. Hanlon Simon J. Hollis David May 0001 Emulating a large memory sequential machine with a collection of small memory ones http://arxiv.org/abs/1210.1158 2012 CoRR abs/1210.1158 db/journals/corr/corr1210.html#abs-1210-1158

Suleiman Abu Kharmeh Kerstin Eder David May 0001 A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. 335-351 2011 FORMATS https://doi.org/10.1007/978-3-642-24310-3_23 conf/formats/2011 db/conf/formats/formats2011.html#KharmehEM11 Fangfang Yuan Stephen Wright Kerstin Eder David May 0001 Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. 585-600 2011 ICFEM https://doi.org/10.1007/978-3-642-24559-6_39 conf/icfem/2011 db/conf/icfem/icfem2011.html#YuanWEM11 David May 0001 Invited Talk 1- Past, Present, and Future Communicating Processors. 2008 NOCS https://doi.ieeecomputersociety.org/10.1109/NOCS.2008.36 conf/nocs/2008 db/conf/nocs/nocs2008.html#May08 David May 0001 Communicating Process Architecture for Multicores. 21-32 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#May07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5964 David May 0001 CSP, occam and Transputers. 75-84 2004 conf/birthday/2004csp 25 Years Communicating Sequential Processes https://doi.org/10.1007/11423348_5 db/conf/birthday/csp2004.html#May04 James Irwin David May 0001 Henk L. Muller Dan Page Predictable Instruction Caching for Media Processors. 141-150 2002 conf/asap/2002 ASAP https://doi.org/10.1109/ASAP.2002.1030713 https://doi.ieeecomputersociety.org/10.1109/ASAP.2002.1030713 db/conf/asap/asap2002.html#IrwinMMP02 Henk L. Muller Dan Page James Irwin David May 0001 Caches with Compositional Performance. 242-259 2002 conf/samos/2002 Embedded Processor Design Challenges https://doi.org/10.1007/3-540-45874-3_14 db/conf/samos/samos2002.html#MullerPIM02 David May 0001 Henk L. Muller Nigel P. Smart Non-deterministic Processors. 115-129 2001 conf/acisp/2001 ACISP https://doi.org/10.1007/3-540-47719-5_11 db/conf/acisp/acisp2001.html#MayMS01 David May 0001 Henk L. Muller Nigel P. Smart Random Register Renaming to Foil DPA. 28-38 2001 conf/ches/2001 CHES https://doi.org/10.1007/3-540-44709-1_4 db/conf/ches/ches2001.html#MayMS01 David May 0001 Henk L. Muller Shondip Sen Hardware Migratable Channels (Research Note). 545-549 2000 conf/europar/2000 Euro-Par https://doi.org/10.1007/3-540-44520-X_74 db/conf/europar/europar2000.html#MayMS00 David May 0001 Dan Page James Irwin Henk L. Muller Microcaches. 21-27 1999 conf/hipc/1999 HiPC db/conf/hipc/hipc1999.html#MayPIM99 https://doi.org/10.1007/978-3-540-46642-0_3 David May 0001 Henk L. Muller Using Channels for Multimedia Communication. 93-98 1999 conf/ipps/1999 IPPS/SPDP https://doi.org/10.1109/IPPS.1999.760441 https://doi.ieeecomputersociety.org/10.1109/IPPS.1999.760441 db/conf/ipps/ipps1999.html#MayM99 Henk L. Muller David May 0001 A Simple Protocol to Communicate Channels over Channels. 591-600 https://doi.org/10.1007/BFb0057905 1998 conf/europar/1998 Euro-Par db/conf/europar/europar98.html#MullerM98 Neil Pollard David May 0001 Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. 279-284 1998 conf/mm/1998 ACM Multimedia https://doi.org/10.1145/290747.290782 db/conf/mm/mm98.html#PollardM98 David May 0001 Components for Computing and Communications. 68 1993 conf/spaa/1993 SPAA https://doi.org/10.1145/165231.165241 db/conf/spaa/spaa93.html#May93 David May 0001 Roger Shepherd Peter Thompson 0001 The T9000 Transputer. 209-212 1992 conf/iccd/1992 ICCD db/conf/iccd/iccd1992.html#MayST92 https://doi.org/10.1109/ICCD.1992.276250 https://doi.ieeecomputersociety.org/10.1109/ICCD.1992.276250 David May 0001 The Next Generation Transputers and Beyond. 7-22 1991 conf/edmcc/1991 EDMCC db/conf/edmcc/edmcc1991.html#May91 https://doi.org/10.1007/BFb0032918 David May 0001 How to Design a Parallel Computer. 2 1991 conf/iccd/1991 ICCD db/conf/iccd/iccd1991.html#May91 https://doi.org/10.1109/ICCD.1991.139826 https://doi.ieeecomputersociety.org/10.1109/ICCD.1991.139826 David May 0001 David Shepherd Towards Totally Verified Systems. 48-65 1989 conf/mpc/1989 MPC db/conf/mpc/mpc89.html#MayS89 https://doi.org/10.1007/3-540-51305-1_4 David May 0001 Roger Shepherd Occam and the transputer. 329-353 1988 conf/apn/1988 European Workshop on Applications and Theory in Petri Nets db/conf/apn/apn1988.html#MayS88 https://doi.org/10.1007/3-540-52494-0_36

Mark Homewood David May 0001 David Shepherd Roger Shepherd The IMS T800 Transputer. 10-26 1987 7 IEEE Micro 5 https://doi.org/10.1109/MM.1987.305012 http://doi.ieeecomputersociety.org/10.1109/MM.1987.305012 db/journals/micro/micro7.html#HomewoodMSS87

David May 0001 Roger Shepherd Catherine Keane Communicating Process Architecture: Transputers and Occam. 35-81 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#MaySK86 https://doi.org/10.1007/3-540-18203-9_2

David May 0001 Richard James Taylor OCCAM-an overview. 73-79 1984 8 Microprocess. Microsystems 2 https://doi.org/10.1016/0141-9331(84)90119-4 db/journals/mam/mam8.html#MayT84

David May 0001 Roger Shepherd The Transputer Implementation of Occam. 533-541 1984 conf/fgcs/1984 FGCS db/conf/fgcs/fgcs84.html#MayS84

David May 0001 OCCAM. 69-79 1983 18 ACM SIGPLAN Notices 4 db/journals/sigplan/sigplan18.html#May83 https://doi.org/10.1145/948176.948183

Zbigniew Chamski Kerstin Eder Andrés Amaya García Kyriakos Georgiou James W. Hanlon Simon J. Hollis Mark Homewood James Irwin Catherine Keane Steve Kerrison Suleiman Abu Kharmeh Henk L. Muller Ed Nutting Dan Page Neil Pollard Shondip Sen David Shepherd Roger Shepherd Nigel P. Smart Richard James Taylor Peter Thompson 0001 Stephen Wright Fangfang Yuan