João Paulo Pizani Flor

According to our database, João Paulo Pizani Flor authored at least 4 papers between 2011 and 2022.

Collaborative distances:

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

2022

Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation.

João Paulo Pizani Flor, Wouter Swierstra

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2018

Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.

João Paulo Pizani Flor, Wouter Swierstra

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2015

Pi-Ware: Hardware Description and Verification in Agda.

João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

2011

High-level design and synthesis of a resource scheduler.

João Paulo Pizani Flor, Tiago Rogério Mück, Antônio Augusto Fröhlich

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011