Philip Weaver

According to our database, Philip Weaver authored at least 3 papers between 2007 and 2010.

Collaborative distances:

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

2010

Constructing language processors with algebra combinators.

Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander

Sci. Comput. Program., 2010

Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol.

Sally Browning, Philip Weaver

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2007

Modular and generic programming with interpreterlib.

Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007