21![A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2](https://www.pdfsearch.io/img/14308956fb7a022632d90da71ef8126a.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2016-09-06 10:47:26
|
---|
22![Smoothie Spark ML Alexey Zinovyev, Java/BigData Trainer in EPAM
With IT since 2007 With Java since 2009 Smoothie Spark ML Alexey Zinovyev, Java/BigData Trainer in EPAM
With IT since 2007 With Java since 2009](https://www.pdfsearch.io/img/19a8e8a0e43f24bd1c84f38368b31177.jpg) | Add to Reading ListSource URL: assets.ctfassets.net- Date: 2018-03-04 02:58:48
|
---|
23![A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute](https://www.pdfsearch.io/img/33663b2d359e9e87b899731cecab33cb.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2016-09-06 10:47:15
|
---|
24![Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia](https://www.pdfsearch.io/img/b0d6d3a052c0908127df2ca671f1af96.jpg) | Add to Reading ListSource URL: refal.botik.ru- Date: 2017-03-12 03:19:31
|
---|
25![Г-н Алексей Романовский (Alexey Romanovskiy) Инженер-консультант Санкт-Петербургского центра разработок корпорации ЕМС (Russia Center Г-н Алексей Романовский (Alexey Romanovskiy) Инженер-консультант Санкт-Петербургского центра разработок корпорации ЕМС (Russia Center](https://www.pdfsearch.io/img/b262773f13c3b8f99185ac34621e7686.jpg) | Add to Reading ListSource URL: russia.emc.com |
---|
26![Horizon-Independent Optimal Pricing in Repeated Auctions with Truthful and Strategic Buyers Alexey Drutsa Yandex, 16, Leo Tolstoy St. Moscow, Russia Horizon-Independent Optimal Pricing in Repeated Auctions with Truthful and Strategic Buyers Alexey Drutsa Yandex, 16, Leo Tolstoy St. Moscow, Russia](https://www.pdfsearch.io/img/5eecce1fdf6c4aa31a119e115d612d6a.jpg) | Add to Reading ListSource URL: papers.www2017.com.au.s3-website-ap-southeast-2.amazonaws.com- Date: 2017-04-03 10:44:15
|
---|
27![Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1 Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1](https://www.pdfsearch.io/img/4d045a4a3b9e73ffeda9261ed051c4a6.jpg) | Add to Reading ListSource URL: ilyasergey.net- Date: 2018-03-26 18:04:21
|
---|
28![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
|
---|
29![Consistency Models with Global Operation Sequencing and their Composition Alexey Gotsman∗1 and Sebastian Burckhardt2 1 2 Consistency Models with Global Operation Sequencing and their Composition Alexey Gotsman∗1 and Sebastian Burckhardt2 1 2](https://www.pdfsearch.io/img/22f3347722eaa481893ddb50fc27b5c9.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2017-10-15 09:05:33
|
---|
30![Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc. Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.](https://www.pdfsearch.io/img/998e300ba2dfe8608e9cc9c39a3be1a3.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2018-02-20 03:41:12
|
---|