Michael C. Martin

According to our database1, Michael C. Martin authored at least 7 papers between 2002 and 2009.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
PQL: a program query language.
PhD thesis, 2009

2008
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking.
Proceedings of the 17th USENIX Security Symposium, 2008

Securing web applications with static and dynamic information flow tracking.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2005
Context-sensitive program analysis as database queries.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Finding application errors and security flaws using PQL: a program query language.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2002
Design, implementation and testing of extended and mixed precision BLAS.
ACM Trans. Math. Softw., 2002

Automatic extraction of object-oriented component interfaces.
Proceedings of the International Symposium on Software Testing and Analysis, 2002


  Loading...