Hugo Pacheco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | HyperLasso: Bounded Model Checking of ∀ | Alcino Cunha, Hugo Pacheco, Nuno Macedo |
| 2025 | SP | Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. | Jos Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Lus Esquvel, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub |
| 2024 | CRYPTO | Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. | Jos Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Jean-Christophe Lchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub |
| 2021 | CCS | Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. | Jos Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira |
| 2017 | CCS | Jasmin: High-Assurance and High-Speed Cryptography. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub |
| 2015 | MPC | A Clear Picture of Lens Laws - Functional Pearl. | Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco |
| 2014 | EDBT | Towards a Framework for Multidirectional Model Transformations. | Nuno Macedo, Alcino Cunha, Hugo Pacheco |
| 2014 | FM | Validity Checking of Putback Transformations in Bidirectional Programming. | Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer |
| 2014 | ICSE | Writing bidirectional model transformations as intentional updates. | Tao Zan, Hugo Pacheco, Zhenjiang Hu |
| 2014 | PEPM | Monadic combinators for "Putback" style bidirectional programming. | Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer |
| 2014 | PPDP | BiFluX: A Bidirectional Functional Update Language for XML. | Hugo Pacheco, Tao Zan, Zhenjiang Hu |
| 2011 | CIARP | Classifying Execution Times in Parallel Computing Systems: A Classical Hypothesis Testing Approach. | Hugo Pacheco, Jonathan Pino, Julio Santana, Pablo Ulloa, Jorge E. Pezoa |
| 2011 | PEPM | Calculating with lenses: optimising bidirectional transformations. | Hugo Pacheco, Alcino Cunha |
| 2010 | MPC | Generic Point-free Lenses. | Hugo Pacheco, Alcino Cunha |
| 2009 | SEFM | Mapping between Alloy Specifications and Database Implementations. | Alcino Cunha, Hugo Pacheco |
| 2007 | PADL | Coupled Schema Transformation and Data Conversion for XML and SQL. | Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser |