Bruce M. Adcock

According to our database1, Bruce M. Adcock authored at least 7 papers between 2000 and 2011.

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

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput., 2011

2010
Parichute: Generalized Turbocode-Based Error Correction for Near-Threshold Caches.
Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

2009
Traditional assignment considered harmful.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008

2007
Which pointer errors do students make?
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2000
Iterated function systems with symmetry in the hyperbolic plane.
Comput. Graph., 2000


  Loading...