Adam Bauserman

According to our database, Adam Bauserman authored at least 3 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Inferno: Streamlining Verification With Inferred Semantics.

Andrew DeOrio, Adam Bauserman, Valeria Bertacco, Beth Isaksen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

2008

Post-silicon verification for cache coherence.

Andrew DeOrio, Adam Bauserman, Valeria Bertacco

Proceedings of the 26th International Conference on Computer Design, 2008

2007

Chico: An On-chip Hardware Checker for Pipeline Control Logic.

Andrew DeOrio, Adam Bauserman, Valeria Bertacco

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007