1![An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,](https://www.pdfsearch.io/img/6ffa95bb82484eac335f267edc2faeb4.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
2![Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.](https://www.pdfsearch.io/img/c6f2daaadb9270e178855998d3b01627.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
3![LEAP: Lightweight Deterministic Multi-processor Replay of Concurrent Java Programs Jeff Huang, Peng Liu, and Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology LEAP: Lightweight Deterministic Multi-processor Replay of Concurrent Java Programs Jeff Huang, Peng Liu, and Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology](https://www.pdfsearch.io/img/f7037990a897c66fcd84be3211e305f3.jpg) | Add to Reading ListSource URL: parasol.tamu.eduLanguage: English - Date: 2010-09-08 10:05:48
|
---|
4![Reversible Concurrent Systems Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA Reversible Concurrent Systems Ivan Lanese Focus research group Computer Science and Engineering Department University of Bologna/INRIA](https://www.pdfsearch.io/img/b875b8538bf49b40bfc942cda9b6b284.jpg) | Add to Reading ListSource URL: proglang.informatik.uni-freiburg.deLanguage: English - Date: 2018-04-15 13:19:07
|
---|
5![Concurrent Solutions to Linear Systems using Hybrid CPU/GPU Nodes Oluwapelumi Adenikinju1 , Julian Gilyard2 , Joshua Massey1 , Thomas Stitt3 1 Department of Computer Science and Electrical Engineering, UMBC Concurrent Solutions to Linear Systems using Hybrid CPU/GPU Nodes Oluwapelumi Adenikinju1 , Julian Gilyard2 , Joshua Massey1 , Thomas Stitt3 1 Department of Computer Science and Electrical Engineering, UMBC](https://www.pdfsearch.io/img/32f588e0f5b5e0e953d5ad2ff4189c0f.jpg) | Add to Reading ListSource URL: www.siam.org- Date: 2015-06-09 14:58:53
|
---|
6![Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas](https://www.pdfsearch.io/img/fecb0ed4f4969dcc2d40387107947f0d.jpg) | Add to Reading ListSource URL: logic.cse.unt.edu- Date: 2011-01-23 15:58:50
|
---|
7![Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.](https://www.pdfsearch.io/img/8304038f9d189b66730a9bfb5945371e.jpg) | Add to Reading ListSource URL: frenchy64.github.ioLanguage: English - Date: 2016-08-15 14:26:54
|
---|
8![JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe
Scala 2.12 on one Slide • JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe
Scala 2.12 on one Slide •](https://www.pdfsearch.io/img/0c07d957a18f8a259ab7ed751642a17b.jpg) | Add to Reading ListSource URL: dl.dropboxusercontent.comLanguage: English |
---|
9![Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗ Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗](https://www.pdfsearch.io/img/3a30c27fa1695aadd64c594da7cbe335.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2016-05-23 12:46:14
|
---|