Company Filing History:
Years Active: 2012-2013
Title: Innovations of Christopher William Dern
Introduction
Christopher William Dern is an accomplished inventor based in Kirkland, WA (US). He has made significant contributions to the field of technology, particularly in the area of concurrency and thread safety. With a total of 4 patents to his name, Dern's work has had a notable impact on software development practices.
Latest Patents
Dern's latest patents include innovative systems designed to enhance the reliability of software components. One of his notable inventions is a checking system for determining whether a component is thread safe when interacting with multiple threads in a client environment. This system employs manual, automatic, or semi-automatic techniques to generate tests and defines a set of coarse-grained observations to assess linearizability. It identifies potential linearizability errors by comparing fine-grained observations with coarse-grained ones, utilizing a stateless model checking module for its functions.
Another significant patent focuses on concurrency test effectiveness via mutation testing and dynamic lock elision. This method involves determining the effectiveness of test suites for identifying concurrency problems and product faults. By iteratively modifying synchronization primitives in implementation source code and running the same test suite for each iteration, Dern's method provides insights into test adequacy holes, implementation faults, and equivalent mutants.
Career Highlights
Christopher William Dern is currently employed at Microsoft Technology Licensing, LLC, where he continues to innovate and contribute to advancements in technology. His work is characterized by a commitment to improving software reliability and performance.
Collaborations
Throughout his career, Dern has collaborated with talented individuals such as Roy Patrick Tan and Dana D Groff. These collaborations have fostered a creative environment that encourages the development of groundbreaking technologies.
Conclusion
Christopher William Dern's contributions to the field of technology through his patents and innovative systems have significantly advanced the understanding of concurrency and thread safety. His work at Microsoft Technology Licensing, LLC, along with his collaborations, showcases his dedication to enhancing software development practices.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.