Recent Courses

• SFWR ENG 3BB4 Concurrent System Design, Fall 23/24
• COMP SCI 3TB3/4TB3/6TB3 Syntax-based Tools and Compilers, Winter 23/24
• CAS 707, Formal Specification Techniques, Winter 23/24
• CAS 766 Concurrent Programming, Winter 21/22

Recent Publications, Talks

• 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
• Park, S. and Sekerinski, E. A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper), F-IDE 2018.
• Fadhel, M., Sekerinski, E., and Yao, S. A comparison of time series databases for storing water quality data, IMCL 2018.
• Sekerinski, E., and Yao, S. Refining Santa: An exercise in efficient synchronization, Refine 2018.

Recent Conferences

• FMTea'24 (Co-Chair)
• ICTAC'24 (Program Committee)
• iFM'24 (Program Committee)
• iFM (Steering Committee)
• SEW-42 / IWCPS-9 (Program Committee)