Tim Harris
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Exploiting locality in LT-RAM computations Algorithm Theory — SWAT '94 | 2022-12-09 | Paper |
| Vacuum correlators at short distances from lattice QCD Journal of High Energy Physics | 2022-10-14 | Paper |
| On abstract ovals with Pascalian secant lines Journal of Group Theory | 2018-11-07 | Paper |
| Composable scheduler activations for Haskell Journal of Functional Programming | 2017-10-23 | Paper |
| Semantics of transactional memory and automatic mutual exclusion Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Weak atomicity for the x86 memory consistency model Journal of Parallel and Distributed Computing | 2012-10-23 | Paper |
| A model of dynamic separation for transactional memory Information and Computation | 2010-10-07 | Paper |
| Perspectives on Transactional Memory CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| A Model of Dynamic Separation for Transactional Memory CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
| Lock Free Data Structures Using STM in Haskell Functional and Logic Programming | 2007-05-02 | Paper |
| Distributed Computing Lecture Notes in Computer Science | 2006-11-01 | Paper |
| Exceptions and side-effects in atomic blocks Science of Computer Programming | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2089732 (Why is no real title available?) | 2004-08-12 | Paper |
Research outcomes over time
This page was built for person: Tim Harris
