We're hosting an online seminar by Cecil Accetti next week. You are all welcome to join on Teams.
Speaker: Cecil Accetti
When: 11.00 UK time, Wednesday 18th December
Where: online on Teams
Title: On the building blocks of a functional instruction set
Abstract: Combinators date back 100 years. During this time, they have been discovered, re-discovered, employed for their simplicity and abandoned for their "disastrous" behavior. In this talk we review the idea of combinatory logic as a language for program representation, and present a different approach to combinators that is suitable for use as the foundation of an efficient purely-functional instruction-set architecture -- fun -- with three basic goals: small code size, fast program evaluation and support to scalable microarchitectures.
Speaker bio: Senior Engineer at Rohde & Schwarz in Singapore. BSc Computer Engineering and MSc Computer Science at the Federal University of Pernambuco (UFPE, Brazil) and PhD candidate at the Shanghai Jiao Tong University (SJTU, China). Works in ASIC design, CPU architectures and low-level software.
https://teams.microsoft.com/l/meetup-join/19%3ameeting_YzM3OGFkYTYtZjRlZi00NGM0LWI5NTAtYmU5OTZkNmQ3NmIz%40thread.v2/0?context=%7b%22Tid%22%3a%226c425ff2-6865-42df-a4db-8e6af634813d%22%2c%22Oid%22%3a%221fdfa66b-9fc4-404f-8d1a-4e905e30dc92%22%7dHost: Rob Stewart, Heriot-Watt University
Dependable Systems Group
https://www.macs.hw.ac.uk/~dsg