Search for persons
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
Verifying a C Implementation of Derecho's Coordination Mech..:
, In:
?
Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems ,
2
Invited Paper: Initial Steps Toward a Compiler for Distribu..:
, In:
?
Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems ,
4
Invited Paper: Monotonicity and Opportunistically-Batched A..:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
5