 |
|
Home Biography Publications Supervised Thesis Campus Directions Campus Map |
Emil SekerinskiProfessor and Undergraduate Advisor |
 |
Recent Courses
- SFWR ENG 3BB4 Concurrent System Design, Fall 23/24
- COMP SCI 3TB3/4TB3/6TB3 Syntax-based Tools and Compilers, Winter 22/23
- CAS 707, Formal Specification Techniques, Winter 22/23
- CAS 766 Concurrent Programming, Winter 21/22
- CAS 703 Software Design, Fall 18/19
- COMP SCI 1MD3 Introduction to Programming, Winter 16/17
- COMP SCI 2GA3 / SFWR ENG 2GA3 Computer Architecture, Fall 15/16
- COMP SCI 2I03 / SFWR ENG 3I03 Communication Skills, Fall 13/14
- COMP SCI 1MA3 Computer Based Problem Solving, Fall 10/11
- COMP SCI 2OO3 Object-Oriented Programming, Winter 08/09
Recent Publications, Talks
- Sekerinski, E. re:mote – Low-cost Software and Hardware Infrastructure for Water Quality Sensing in Indigenous Communities, Talk at MacWater Meeting, October 2022, McMaster Univeristy.
- 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'23 (Program Committee)
- iFM’22 (Program Committee + Steering Committee)
- SEW-41 / IWCPS-8 (Program Committee)
- FM'19 (Workshop Co-Chair + Proceedings Co-Editor)
- Refine 2019 (Program Committee)