Lukasz Ziarek

Available identifiers

zbMath Open ziarek.lukaszMaRDI QIDQ1029810

List of research outcomes

Publication	Date of Publication	Type
Send to me first: Priority in synchronous message-passing	2023-06-19	Paper
Real-time MLton: A Standard ML runtime for real-time functional programs	2021-12-27	Paper
A typing discipline for statically verified crash failure handling in distributed systems	2019-09-13	Paper
A Type Theory for Robust Failure Handling in Distributed Systems	2016-10-19	Paper
Partial memoization of concurrency and communication	2015-01-06	Paper
Efficient sessions	2013-06-06	Paper
Lightweight checkpointing for concurrent ML	2010-05-26	Paper
Flattening tuples in an SSA intermediate representation	2009-07-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lukasz Ziarek