ETH Zürich - Numerische Materialmodellierung
8005 Zürich, Technoparkstrasse 1 / Einstein PFA G 11 (2. OG)
ETH Zürich - Numerische Materialmodellierung
Technoparkstrasse 1
8005 Zürich
17 results for "rinetzky" under ETH Zürich - Numerische Materialmodellierung
Position Paper: Verifying Optimistic Algorithms Should be Easy | SRI Lab
... Position Paper: Verifying Optimistic Algorithms Should be Easy Noam Rinetzky, Martin Vechev ... Should be Easy Noam Rinetzky, Martin Vechev , Eran Yahav and Greta Yorsh EC2: Exploiting Concurrency ...
Verifying Linearizability with Hindsight | SRI Lab
... Peter O'Hearn, Noam Rinetzky, Martin Vechev , Eran Yahav and Greta Yorsh ACM PODC 2010 Paper We ... ={Verifying linearizability with hindsight}, author={O'Hearn, Peter W and Rinetzky, Noam and Vechev, Martin T ... Publications Teaching Hiring Contact Verifying Linearizability with Hindsight Peter O'Hearn, Noam Rinetzky ... }, author={O'Hearn, Peter W and Rinetzky, Noam and Vechev, Martin T and Yahav, Eran and Yorsh, Greta ...
ETH Zürich - Feasibility Lab
Technoparkstrasse 1
8005 Zürich
1 results for "rinetzky" under ETH Zürich - Feasibility Lab
FaaSKeeper: Learning from Building Serverless Services with ZooKeep...
FaaSKeeper: Learning from Building Serverless Services with ZooKeeper as an Example, http://spcl.inf.ethz.ch/Publications/.pdf/2024_faaskeeper_preprint.pdf, FaaSKeeper: Learning from Building Serv...
