Tyler Crain
PhD Student ASAP Reseach Group
IRISA / INRIA Rennes
Campus Universitaire de Beaulieu
35043 RENNES, FRANCE
tyler.crain@irisa.fr
Shot Biography
I received a bachelors of science in computer science in 2007 and masters of science in computer science in 2009 from the University of California Santa Barbara. During my studies as a masters student I worked in the area of theory and wrote a thesis on Antipodal Gray Codes. I am currently a PhD student working under the direction of Michel Raynal at INRIA Rennes where I joined the ASAP team in 2010. The project I am working under is the Transform: Theoretical Foundations of Transactional Memory funded by the Seventh Framework Programme of the European Commission. Currently my research focuses on the design of Software Transactional Memory (STM) and concurrent data structure algorithms.
Selected Publications
Conferences
- Tyler Crain, Vincent Gramoli, Michel Raynal: Brief announcement: A Contention-Friendly, Non-Blocking Skip List. DISC 2012
- Tyler Crain, Eleni Kanellou, Michel Raynal: STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code. ICA3PP (1) 2012: 317-331
- Tyler Crain, Damien Imbs, Michel Raynal: Towards a Universal Construction for Transaction-Based Multiprocess Programs. ICDCN 2012: 61-75
- Tyler Crain, Vincent Gramoli, Michel Raynal: A speculation-friendly binary search tree. PPOPP 2012: 161-170
- Tyler Crain, Damien Imbs, Michel Raynal: Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. ICA3PP (1) 2011: 244-257
- Tyler Crain, Damien Imbs, Michel Raynal: Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. SPAA 2011: 315-316
- Jonathan Ventura, Marcus Jang, Tyler Crain, Tobias Höllerer, Doug A. Bowman: Evaluating the effects of tracker reliability and field of view on a target following task in augmented reality. VRST 2009: 151-154
Publications list
| Conferences: 5 | Activity Reports: 6 |
|---|
Conferences
- Tyler Crain, Eleni Kanellou, Michel Raynal. STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code. Algorithms and Architectures for Parallel Processing - 12th International Conference, ICA3PP 2012, 2012, Fukuoka, Japan.
- Tyler Crain, Vincent Gramoli, Michel Raynal. A speculation-friendly binary search tree. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, 2012, New Orleans, United States.
- Tyler Crain, Vincent Gramoli, Michel Raynal. Brief Announcement: A Contention-Friendly, Non-blocking Skip List. Distributed Computing - 26th International Symposium, DISC 2012, 2012, Salvador, Brazil.
- Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs. 13th International Conference on Distributed Computing and Networking (ICDCN'12), 2012, Hong Kong, Hong Kong SAR China.
- Tyler Crain, Damien Imbs, Michel Raynal. Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'11), 2011, Melbourne, Australia. pp.244-257.
Technical Reports
- Tyler Crain, Vincent Gramoli, Michel Raynal. A Contention-Friendly, Non-Blocking Skip List.[Research Report] RR-7969, INRIA. 2012.
- Tyler Crain, Eleni Kanellou, Michel Raynal. STM systems: Enforcing strong isolation between transactions and non-transactional code.[Research Report] RR-7970, INRIA. 2012.
- Tyler Crain, Vincent Gramoli, Michel Raynal. A Contention-Friendly Methodology for Search Structures.[Research Report] 2012.
- Tyler Crain, Vincent Gramoli, Michel Raynal. A Speculation-Friendly Binary Search Tree.[Research Report] PI-1984, 2011, pp.21.
- Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs.[Research Report] PI-1971, 2011, pp.16.
- Tyler Crain, Damien Imbs, Michel Raynal. Read invisibility, virtual world consistency and permissiveness are compatible.[Research Report] PI-1958, 2010, pp.21.
