Matthew Del Buono

According to our database, Matthew Del Buono authored at least 2 papers between 2009 and 2010.

Collaborative distances:

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

2010

Vectorizing Compilers and Manual Code Optimization for Application Domains.

Farahzad Behi, Matthew Del Buono

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

2009

Enhancing Property Specification Tools With Validation Techniques.

Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009