[OOPSLA] Katara: Synthesizing CRDTs with Verified Lifting

(22:3)

[OOPSLA] Verified Compilation of Quantum Oracles

(32:48)

[OOPSLA] AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers

(31:6)

[OOPSLA23] TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism

(16:59)

[OOPSLA23] Reusing Just-in-Time Compiled Code

(19:3)

[OOPSLA23] Modular Component-Based Quantum Circuit Synthesis

(15:14)

Katara

(2:24)

The Best Agent Framework Has Arrived (Coding Tutorial for PydanticAI w/ OpenAI, Ollama, AzureOpenAI)

(17:12)

Making Symbolic Execution Promising by Learning Aggressive State-Pruning S... (Video, ESEC/FSE 2020)

(14:27)

Thamones Tis Ataxias

(2:24)

NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts

(54:39)

Quantum Neural Network Simplified

(47:33)

To Telefteo Mas Dakri

(2:37)

Lua Workshop 2017: The Titan Programming Language - Hugo Gualandi (LabLua/PUC-Rio)

(42:1econd)

Orkos Tou Misous

(2:14)

Ola Ta Oria Ine Mia Paresthisi

(3:20)

Kratos Kliston

(3:51)

RustFest Rome 2018 - Matteo Bertini : Simple CRDT in Rust

(18:40)

SO I'M READING THE 1.2 DELUGE FIRMWARE CHANGELIST SO YOU DON'T HAVE TO // SYNTHSTROM DELUGE

(13:35)

Uniting in the New Era: 2024 Thirdera Highlights

(2:54)