Talks

Talk

• Atomic Multi-Chain Ops: Consistent cross chain transaction execution

  Andrew Sutherland

• Casing on Constants

  Roman Kireev

  Remote 

• Certified Compilation

  Ana Pantilie, Ramsay Taylor

• Hydra Plutus/Aiken Review

  Daniel Firth

• Formal Methods at IOG

  James Chapman

• A Layered Certifying Compiler Architecture

  Jacco Krijnen

• From Jai to UPLC: An Unlikely Toolchain

  Skylar-Ray O'Quinn

• UPLC Costing

  Kenneth MacKenzie

• JIT-compiling Plutus on the JVM – the fastest UPLC evaluator on the planet

  Alexander Nemish

• The Geology of Pebble

  Michele Nuzzi

• Pushing the Limits of UPLC

  Philip DiSarro

  Keynote 

• Fifty-three Years of Plutus

  Philip Wadler

  Keynote 

• Gastronomy UPLC Debugger

  Pi Lanningham

  Remote 

• Efficient and fun UPLC with Plutarch

  Seungheon Oh

• Automating Formal Verification of Smart Contracts

  Romain Soulat

  Keynote 

• Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano

  Tudor Ferariu

• Importance of educating devs - common pitfalls of Cardano development when interacting with UPLC

  Tsz Wai Wu, Hinson Wong

• How to zk-SNARK on Cardano

  Adam Smolarek

Workshop

• Aiken Type System: Past, Present, Future

  Kasey White, Riley Kilgore

  Remote 

• UPLC-CAPE

  Yuriy Lazaryev

• Plutarch Workshop

  Tomasz Maciosowski, Seungheon Oh

• Compiling UPLC to RISC-V

  Riley Kilgore, Kasey White

Panel

• UPLC AMA

  Ziyang Liu, Roman Kireev, Kenneth MacKenzie, Philip Wadler

  Remote 

Alert

• VACATE ROOM AND GO TO GROUND FLOOR BY 16:50 - GATE CLOSES AT 17:00

Other

• Dinner for all attendees

• Free Space

• Registration & Coffee

• Unconference