Gallery
News
People
Publications
Work with us
Contact
Github
Light
Dark
Automatic
Lukasz Ziarek
Latest
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2022)
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2019)
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2018)
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS@SPLASH 2017)
Cite
×