Tim Harris
From MaRDI portal
Person:455997
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
