Recent Courses

• COMPSCI 2SD3 Concurrent Systems, Winter 25/26
• COMPSCI 3TB3 / SFWRENG 4TB3 Syntax-based Tools and Compilers, Winter 25/26
• CAS 766, Concurrent Programming, Fall 26/27
• CAS 781 Advanced Topics: Advanced Compiler Design and Optimization, Fall 25/26

Recent Publications, Talks

• Sekerinski, E. A Spectabular Model of an Automotive Adaptive Exterior Light System, Rigorous State-Based Methods: 12th International Conference, ABZ 2026, May 2026, May 2026.
• Sekerinski, E. Spectabular: Interactive Tabular Requirements Specifications, IEEE/ACM 14th International Conference on Formal Methods in Software Engineering (FormaliSE '26), April 2026.
• Guo, B., Sekerinski, E. New concurrent order maintenance data structure, Journal of Parallel and Distributed Computing, May 2026
• Guo, B., Sekerinski, E., Chu, L. Federated k-Core decomposition: a secure distributed approach, Social Networks Analysis and Mining (ASONAM 2025), August 2025
• Hunt, A. and Sekerinski, E. Generating Implementations of Data Type Operations, 14th Workshop on Synthesis, SYNT 2025, July 2025.
• 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.

Recent Conferences

• FM'26 (Program Committee)
• ABZ'26 (Program Committee)
• FMTea'26 (Program Committee)
• ABZ'25 (Program Committee)
• ICTAC'25 (Program Committee)
• FMTea'24 (Co-Chair)
• ICTAC'24 (Program Committee)
• iFM'24 (Program Committee)
• iFM (Steering Committee until merger with FASE)