Recent Courses
Recent Publications, Talks
- Yao, S. and Sekerinski, E. An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language, Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2025, May 2025. Slides
- Sekerinski, E. On Concurrent Program Algebra and Demonic Automata, International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, November 2024. Slides
- Sekerinski, E. and Zhou, T Formal Development of a Delay-Tolerant Multicast Protocol for Wireless Sensors, IFIP International Conference on the Internet of Things, IFIPIoT 2024, January 2025. Slides
- Guo, B. and Sekerinski, E. Simplified Algorithms for Order-Based Core Maintenance, May 2024
- Guo, B. and Sekerinski, E. Parallel Order-Based Core Maintenance in Dynamic Graphs, International Conference on Parallel Processing, ICPP 2023, August 2023.
- Sekerinski, E. and Zhou, T. Democratizing Real-Time Water Quality Monitoring, GWF Finale, May 2023.
- Guo, B. and Sekerinski, E. Efficient parallel graph trimming by arc-consistency, The Journal of Supercomputing, April 2022.
- Fadhel, M. and Sekerinski, E. Striffs: Architectural component diagrams for code reviews, ICCQ 2021.
- Sekerinski, E. Programming in the Multi-Core Era, Revised 2020, talk first given at CAS 20 Years Celebration.
- Sekerinski, E. Teaching Concurrency with the Disappearing Formal Method, FMTea 2019
Recent Conferences
|