Publications
-
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].
-
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].
-
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].
-
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].
-
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].
-
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].
-
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].
-
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].
-
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)