Nicholas Kidd

According to our database1, Nicholas Kidd authored at least 13 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019

2011
Finding concurrency-related bugs using random isolation.
Int. J. Softw. Tools Technol. Transf., 2011

A decision procedure for detecting atomicity violations for communicating processes with locks.
Int. J. Softw. Tools Technol. Transf., 2011

2010
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.
Proceedings of the Model Checking Software, 2010

2009
Verifying Information Flow Control over Unbounded Processes.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Language Strength Reduction.
Proceedings of the Static Analysis, 15th International Symposium, 2008

2007
Abstract Error Projection.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Program Analysis Using Weighted Pushdown Systems.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
Verifying Concurrent Message-Passing C Programs with Recursive Calls.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005
String analysis for x86 binaries.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

An auctioning reputation system based on anomaly.
Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005


  Loading...