Ikuti
Hugo Pacheco
Hugo Pacheco
HasLab, INESC TEC & DCC, FCUP, University of Porto
Email yang diverifikasi di inesctec.pt - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Jasmin: High-assurance and high-speed cryptography
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
2032017
Bidirectional transformation of model-driven spreadsheets
J Cunha, JP Fernandes, J Mendes, H Pacheco, J Saraiva
International Conference on Theory and Practice of Model Transformations …, 2012
712012
The essence of bidirectional programming
S Fischer, Z Hu, HP Pacheco
60*2015
Monadic Combinators for “Putback” Style Bidirectional Programming
H Pacheco, Z Hu, S Fischer
ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation …, 2014
492014
Generic point-free lenses
H Pacheco, A Cunha
International Conference on Mathematics of Program Construction, 331-352, 2010
432010
BiFluX: A bidirectional functional update language for XML
H Pacheco, T Zan, Z Hu
Proceedings of the 16th international symposium on principles and practice …, 2014
392014
Coupled schema transformation and data conversion for XML and SQL
P Berdaguer, A Cunha, H Pacheco, J Visser
Practical Aspects of Declarative Languages: 9th International Symposium …, 2007
392007
Towards a Framework for Multidirectional Model Transformations
N Macedo, A Cunha, H Pacheco
312014
A clear picture of lens laws
S Fischer, Z Hu, H Pacheco
Mathematics of Program Construction, 2015
29*2015
Delta lenses over inductive types
H Pacheco, A Cunha, Z Hu
Electronic Communications of the European Association of Software Science …, 2012
292012
Validity checking of putback transformations in bidirectional programming
Z Hu, H Pacheco, S Fischer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
262014
Formally verifying Kyber: Episode IV: Implementation correctness
JB Almeida, M Barbosa, G Barthe, B Grégoire, V Laporte, JC Léchenet, ...
IACR Transactions on Cryptographic Hardware and Embedded Systems 2023 (3 …, 2023
242023
Mapping between alloy specifications and database implementations
A Cunha, H Pacheco
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
192009
Teaching how to program using automated assessment and functional glossy games (experience report)
JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-17, 2018
182018
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018
162018
Composing Least-change Lenses
N Macedo, H Pacheco, A Cunha, JN Oliveira
Proc. BX 2, 18, 2013
162013
Machine-checked ZKP for NP relations: Formally verified security proofs and implementations of MPC-in-the-head
JB Almeida, M Barbosa, ML Correia, K Eldefrawy, S Graham-Lengrand, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
152021
Calculating with lenses: optimising bidirectional transformations
H Pacheco, A Cunha
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
152011
Writing bidirectional model transformations as intentional updates
T Zan, H Pacheco, Z Hu
Companion Proceedings of the 36th International Conference on Software …, 2014
142014
Bidirectional Data Transformation by Calculation
H Pacheco
Universidade do Minho, 2012
122012
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20