Talks
I’ve given several public presentations about my work.
-
zkStream: a Framework for Trustworthy Stream Processing
-
Zero-Knowledge Proofs for Verifiable Computation on Data Streams (Guest lecture)
-
Chocola: integrating futures, actors, and transactions
-
Transactional Actors: Communication in Transactions
-
Transactional Futures: Parallelism in Software Transactions
-
Transactional Tasks: Futures in Software Transactions
-
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
-
Transactional Tasks: Parallelism in Software Transactions
-
Transactional Tasks: Parallelism in Software Transactions
-
Towards Composable Concurrency Abstractions
-
Large-scale pattern recognition: Dynamic load balancing using code mobility