Pierre LaBorde


Pierre LaBorde
Send Mail

Biography

Pierre LaBorde received his Bachelor of Science (2011), and Master of Science (2013), in Computer Science from the University of Central Florida, and is currently pursuing his PhD in Computer Science at UCF. His work mainly focuses on developing concurrent, lock-free and wait-free, data structures. His research interests include: Data Structures, Multicore Programming, Practical Non-Blocking Synchronization, Locking Algorithms, Hardware Transactional Memory, Distributed Computing.

Current Project

Pierre is leading the development of Scylla --- a SpeCification Language for Lockless Algorithms. The Scylla specification language provides constructs that support non-blocking data structure development; specifically, verifying correctness and performance monitoring. The Scylla interpreter allows this language to connect with relevant tools including CCSpec for correctness verification and Tervel Metrics for monitoring performance.

Publications

2015

Publications in Refereed Journals

Pierre LaBorde, Steven Feldman, Damian Dechev, A Wait-Free Hash Map, International Journal of Parallel Programming (IJPP), Springer, August, 2015.
Publisher's Page

Publications in Conference Proceedings

Steven Feldman, Pierre LaBorde, Damian Dechev, Tervel: A Unification of Descriptor-based Techniques for Non-blocking Programming, In Proceedings of the 15th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XV), Samos, Greece, July 20-13, 2015.
Publisher's Page

2014

Publications in Refereed Journals

Steven Feldman, Pierre LaBorde, Damian Dechev, A Wait-Free Multi-Word Compare-and-Swap Operation, International Journal of Parallel Programming (IJPP), Springer, February, 2014.
Publisher's Page

2013

Publications in Refereed Journals

Damian Dechev, Pierre LaBorde, Design and Application of Distributed Containers in a CPS Software Control Library, International Journal of Software Engineering, Technology and Applications, November, 2013.
Publisher's Page

Damian Dechev, Pierre LaBorde, Steven Feldman, LC/DC: Lockless Containers and Data Concurrency: A Novel Nonblocking Container Library for Multicore Applications, IEEE Access, ISSN: 2169-3536, September, 2013.
Publisher's Page

Publications in Conference Proceedings

Steven Feldman, Akshatha Bhat, Pierre LaBorde, Qing Yi, Damian Dechev, Effective Use of Non-blocking Data Structures in a Deduplication Application, In Proceedings of the 4th ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity (ACM SPLASH/Wavefront 2013), Indianapolis, IN, October 26-31, 2013. Acceptance Rate: 25%.
Publisher's Page

Steven Feldman, Pierre LaBorde, Damian Dechev, A Practical Wait-Free Multi-Word Compare-and-Swap Operation, In Proceedings of the Many-Core Architecture Research Community Symposium, ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity (ACM SPLASH/MARC 2013), Indianapolis, IN, October 25, 2013.
Publisher's Page

Steven Feldman, Pierre LaBorde, Damian Dechev, Concurrent Multi-level Arrays: Wait-free Extensible Hash Maps, In Proceedings of the 13th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII), Samos, Greece, July 15-18, 2013. Best Paper Award. Acceptance Rate: 20%.
Publisher's Page

2011

Publications in Refereed Journals

Steven Feldman, Emile Kanhai, Damian Dechev, Lock-Free Concurrent Hash Tables, In Science Magazine, Brief Announcement, Special Feature: International Science & Engineering Visualization Challenge 2011, February, 2012.

Publications in Conference Proceedings

Steven Feldman, Pierre LaBorde, Damian Dechev, Facilitating Efficient Parallelization of Information Storage and Retrieval on Large Data Sets, Brief Announcement, In Proceedings of the 25th ACM International Conference on Supercomputing (ICS 2011), Tucson, AZ, May 31-June 4, 2011.
Publisher's Page

Workshop Participation

Steven Feldman, Pierre LaBorde, Damian Dechev, A Lock-Free Concurrent Hash Table Design for Effective Information Storage and Retrieval on Large Data Sets, In Proceedings of the Fifteenth Annual High Performance Embedded Computing Workshop (HPEC 2011), MIT Lincoln Laboratory, Lexington, MA, September 21 - 22, 2011.
Publisher's Page