search instagram arrow-down

Mark Moir


Authenticated, Partial Data Structures for Blockchain Scalability, Sustainability and Security 

Mark Moir, Architect

Oracle Labs, New Zealand – USA



Using our Haskell Authenticated Modular Maps (HAMM) framework, we can specify various implementations of authenticated modular maps that enable verifying and using _partial_ map (key-value store) data structures. I will present an overview of HAMM and results we have achieved with it. I will also discuss our motivation for building HAMM, which is to enable blockchain participants to quickly receive and verify part of a map representing a blockchain “world state”. This is important for addressing several practical concerns related to Blockchain Scalability, Sustainability and Security.

Thursday 14 February 2019 – 1:30 pm – 2:05 pm – Schedule



Dr. Mark Moir – Architect at Oracle LabsNew Zealand – USA. 

Mark Moir received the B.Sc.(Hons.) degree in Computer Science from Victoria University of Wellington, New Zealand in 1988, and the Ph.D. degree in Computer Science from the University of North Carolina at Chapel Hill, USA in 1996.  From August 1996 until June 2000, he was an assistant professor in the Department of Computer Science at the University of Pittsburgh.  In June 2000, he joined Sun Labs.  Moir is now the Principal Investigator of the Scalable Synchronization Research Group in Oracle Labs, due to Oracle acquiring Sun in 2​010.

Dr. Moir was named as a Sun Microsystems Distinguished Engineer in 2009 and an Architect at Oracle in 2016.  His traditional research interests concern practical and theoretical aspects of concurrent, distributed, and real-time computing, with a particular focus on hardware and software mechanisms for making it easier to develop scalable, efficient, and correct concurrent programs for shared-memory multiprocessors.

Mark is giving a talk in every Multicore World since its creation. (MW12-13-14-15-16-17).


%d bloggers like this: