Joseph C. Libby

According to our database, Joseph C. Libby authored at least 8 papers between 2007 and 2011.

Collaborative distances:

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

2011

A framework for verifying functional correctness in Odin II.

Joseph C. Libby, Ashley Furrow, Paddy O'Brien, Kenneth B. Kent

Proceedings of the 2011 International Conference on Field-Programmable Technology, 2011

2009

An embedded implementation of the Common Language Infrastructure.

Joseph C. Libby, Kenneth B. Kent

J. Syst. Archit., 2009

A Methodology for Rapid Optimization of HandelC Specifications.

Joseph C. Libby, Kenneth B. Kent

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

2008

A quantitative analysis of the .NET common language runtime.

Joshua R. Dick, Kenneth B. Kent, Joseph C. Libby

J. Syst. Archit., 2008

Application Specific Instruction Sets and their Impact on the Design Space Requirements of a Hardware Java Virtual Machine.

Ryan Wood, Joseph C. Libby, Kenneth B. Kent

Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

Automatic Identification of Parallelism in Handel-C.

Joseph C. Libby, Farnaz Gharibian, Kenneth B. Kent

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

2007

A Partitioning Analysis of the .NET Common Language Runtime.

Joshua R. Dick, Kenneth B. Kent, Joseph C. Libby

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

An Embedded Implementation of the Microsoft Common Language Infrastructure.

Joseph C. Libby, Kenneth B. Kent

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007