Catherine E. Nemitz

Bio

I am a fifth year graduate student at University of North Carolina at Chapel Hill in the Department of Computer Science. I am a NSF Graduate Research Fellowship Program (GRFP) Fellow. I research real-time systems with a focus on synchronization and am advised by Dr. James Anderson in the Real-Time Systems Group.

Publications

1. Catherine E. Nemitz, "A Preliminary Examination of Schedulability under Lock Servers", Proceedings of the 13th Junior Researchers Workshop on Real-Time Computing, pages 33-36, November 2019. [PDF].
2. Catherine E. Nemitz, Tanya Amert, Manish Goyal, and James H. Anderson, "Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting", Proceedings of the 27th International Conference on Real-Time and Network Systems, pages 189-199, November 2019. Outstanding Paper Award winner. [PDF]. Additional appendices: [PDF]. Code: [Tar ball].
3. Catherine E. Nemitz, Tanya Amert, and James H. Anderson, "Real-Time Multiprocessor Locks with Nesting: Optimizing the Common Case", Real-Time Systems, special issue of outstanding papers from the 25th International Conference on Real-Time Networks and Systems (RTNS 2017), Volume 55, Issue 2, pages 296-348, April 2019. [Draft PDF]. Published version: [Springer Webpage]. Appendix with additional graphs: [PDF]. Code: [Tar ball].
4. Catherine E. Nemitz and James H. Anderson, "Work-in-Progress: Lock-Based Software Transactional Memory for Real-Time Systems", Proceedings of the 39th IEEE Real-Time Systems Symposium, December 2018. [PDF].
5. Catherine E. Nemitz, Tanya Amert, and James H. Anderson, "Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts", Proceedings of the 30th Euromicro Conference on Real-Time Systems , July 2018. Best Paper Award winner. [PDF]. Version with online appendices: [PDF]. Code: [Compressed tar file].
6. Catherine E. Nemitz, Tanya Amert, and James H. Anderson, "Real-Time Multiprocessor Locks with Nesting: Optimizing the Common Case", Proceedings of the 25th International Conference on Real-Time and Network Systems, October 2017. Best Student Paper Award winner. [PDF]. Version with online appendices: [PDF]. Code: [Compressed tar file].
7. Catherine E. Nemitz, "New Approaches to Contention-Sensitive Nested Locking in Real-Time Systems", Proceedings of the 11th Junior Researchers Workshop on Real-Time Computing, October 2017. [PDF].
8. Catherine E. Nemitz, Kecheng Yang, Ming Yang, Pontus Ekberg, and James H. Anderson, "Multiprocessor Real-Time Locking Protocols for Replicated Resources", Proceedings of the 28th Euromicro Conference on Real-Time Systems, July 2016. [PDF]. Version with online appendices: [PDF].
9. Catherine E. Jarrett, Bryan C. Ward and James H. Anderson. "A Contention-Sensitive Multi-Resource Locking Protocol for Multiprocessor Real-Time Systems", Proceedings of the 23rd International Conference on Real-Time and Network Systems, November 2015. [PDF]. Additional Graphs [PDF].

Teaching

I taught an undergraduate course on real-time systems for the Fall 2018 semester. Below is a short summary, and the course webpage is here. If you would like to use some of my course materials, please email me.

This introduction to real-time systems begins with grouping such systems under several fundamental classifications. We will develop a model to reason about these systems and cover a sampling of scheduling algorithms for uniprocessor systems. Of these algorithms, we will prove a test for each that ensures the desired system behavior. As a means of introducing some of the complexities in real systems, students will implement simulations of several scheduling algorithms. We will also cover limited preemption models and an introduction to multiprocessor scheduling. This course builds on the reasoning skills developed in COMP 283/MATH 381 and COMP 550, as well as knowledge of basic computer architecture covered in COMP 411. This course will also give an introduction to some basic concepts of operating systems.

Graduate Courses

• Distributed and Concurrent Algorithms
• Algorithms and Analysis
• Real-Time Systems
• Operating Systems Implementations
• Robotics
• Motion Planning
• Computer Architecture and Implementation
• Technical Communication
• Cryptography
• Linear Programming

Service, Activities, and Awards

• In April 2018, inducted into the Frank Porter Graham Honor Society, which "recognizes outstanding service provided to the University and community by graduate and professional students enrolled at the University of North Carolina at Chapel Hill. Further, it recognizes the contributions of faculty, staff, and friends of the University of North Carolina at Chapel Hill who have made outstanding contributions to the development of graduate and professional education at the University."
• Primary Reviewer: LITES, JRWRTC '18, RTSS BP '18, RTAS BP '19, RTSS BP '19
• Secondary Reviewer: ECRTS '16, RTNS '16, RTSS '16, RTAS '17, RTSS '17, ECRTS '19, RTSS '19
• Computer Science Student Association (CSSA) (Officer, '17-'18)
  • Develop new website
  • Attend faculty meetings
  • Organize student and faculty/student events
  • Plan Candidates' Weekend for accepted graduate students
• Graduate Women in Computer Science (GWiCS) (Member, '15-'16 and '19-'20; President, '16-'17 and '17-'18; Research Symposium Coordinator, '18-'19)
  • Run bi-weekly meetings
  • Organize yearly Research Symposium
  • Help with Women in Tech Week
  • Help with MS/HS Open House events
• Teaching Assistant for two graduate-level courses (737 and 750)
  • Rewrote solution set for 750
  • Graded homeworks
  • Held office hours
• CRA-W Grad Cohort 2017 (Presenter, Attendee)
• Cyber-Physical Systems Lunch (Website maintainer, '17-'18 and '18-'19)