1![Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement,](https://www.pdfsearch.io/img/8aad724c9668b5a665a091b6fcb23236.jpg) | Add to Reading ListSource URL: www.sri.inf.ethz.chLanguage: English - Date: 2018-05-15 09:28:45
|
---|
2![Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman](https://www.pdfsearch.io/img/98b5e36a636da3a1ae82750af3972f55.jpg) | Add to Reading ListSource URL: www.microsoft.comLanguage: English - Date: 2018-01-04 05:49:25
|
---|
3![Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I](https://www.pdfsearch.io/img/d7eab9227157b7236ad8b61907a2d60d.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2018-02-01 06:29:20
|
---|
4![Safe Privatization in Transactional Memory Artem Khyzha Hagit Attiya IMDEA Software Institute Safe Privatization in Transactional Memory Artem Khyzha Hagit Attiya IMDEA Software Institute](https://www.pdfsearch.io/img/0fb7c008adaec4d4b8fa4f930a344bc9.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2018-01-15 03:28:01
|
---|
5![Curriculum Vitae Alessia Milani LaBRI , Université Bordeaux-1 351, cours de la LibérationTalence Cedex, France Curriculum Vitae Alessia Milani LaBRI , Université Bordeaux-1 351, cours de la LibérationTalence Cedex, France](https://www.pdfsearch.io/img/eb587a2c0645176f294c77e4869a16f1.jpg) | Add to Reading ListSource URL: www.labri.frLanguage: English - Date: 2013-03-07 16:22:05
|
---|
6![Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman](https://www.pdfsearch.io/img/ef6040b33579e4006ef5ea61d7b15b64.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2016-05-22 15:37:07
|
---|
7![Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman](https://www.pdfsearch.io/img/f723b0399376b2f3a0d7676ab199606f.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2016-05-22 15:38:02
|
---|
8![Limitations of Highly-Available Eventually-Consistent Data Stores Hagit Attiya Faith Ellen Limitations of Highly-Available Eventually-Consistent Data Stores Hagit Attiya Faith Ellen](https://www.pdfsearch.io/img/382f7a32b10680da301b73425ba2770a.jpg) | Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2015-07-06 07:00:09
|
---|
9![Transactions are Back—but How Different They Are? Relating STM and Databases Consistency Conditions (Preliminary Version) Hagit Attiya Sandeep Hans Transactions are Back—but How Different They Are? Relating STM and Databases Consistency Conditions (Preliminary Version) Hagit Attiya Sandeep Hans](https://www.pdfsearch.io/img/73e35d3f53626f9846ff225613c97afd.jpg) | Add to Reading ListSource URL: transact2012.cse.lehigh.eduLanguage: English - Date: 2012-02-23 21:17:14
|
---|
10![R EL STM: A Proactive Transactional Memory Scheduler ∗ David Sainz Hagit Attiya Computer Science Department, Technion R EL STM: A Proactive Transactional Memory Scheduler ∗ David Sainz Hagit Attiya Computer Science Department, Technion](https://www.pdfsearch.io/img/c1c461616af1d7bd84c034751d918153.jpg) | Add to Reading ListSource URL: transact2013.cse.lehigh.eduLanguage: English - Date: 2013-03-17 06:58:37
|
---|