Nicholas Kidd

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract Error Projection Static Analysis	2009-03-03	Paper
Finding Concurrency-Related Bugs Using Random Isolation Lecture Notes in Computer Science	2009-02-10	Paper
Language Strength Reduction Static Analysis	2008-08-28	Paper
Program Analysis Using Weighted Pushdown Systems FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper
Interprocedural Analysis of Concurrent Programs Under a Context Bound Tools and Algorithms for the Construction and Analysis of Systems	2008-04-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Nicholas Kidd