hugopacheco

Publications

Conference & journal papers

2018

• JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença, [video]">Teaching how to program using automated assessment and functional Glossy games (Experience Report), In Proceedings of the 23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018), to appear, pp. , 2018. [bib] [video]">[pdf]
• JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela, Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks, In Proceedings of the 31st IEEE Computer Security Foundations Symposium (CSF 2018), to appear, pp. , 2018. [tech report][slides] [bib] [pdf]

2017

• T. Zan, H. Pacheco, H. Ko, Z. Hu, BiFluX: A Bidirectional Functional Update Language for XML, In Information and Media Technologies, article, , vol. 12, no. , pp. 1-23, 2017. [bib] [pdf]
• JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, T Oliveira, H Pacheco, B Schmidt, Jasmin: High-Assurance and High-Speed Cryptography, In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS, to appear, pp. 1807–1823, 2017. [bib] [pdf]
• A. Alonso, R. Couto, H. Pacheco, R. Bessa, C. Gouveia, L. Seca, J. Moreira, P. Nunes, P. G. Matos, A. Oliveira, Towards new data management platforms for a DSO as market enabler -- UPGRID Portugal demo, In CIRED-Open Access Proceedings Journal, IET, vol. 2017, no. 1, pp. 2926-2930, 2017. [bib] [pdf]

2016

• J. Almeida, M. Barbosa, H. Pacheco, V. Pereira, A Tool-Chain for High-Assurance Cryptographic, In ERCIM News, article, , vol. 2016, no. 106, 2016. [bib] [pdf]

2015

• S. Fischer, Z. Hu, H. Pacheco, A clear picture of lens laws, In Proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015), to appear, 2015. [bib] [pdf]
• S. Fischer, Z. Hu, H. Pacheco, The essence of bidirectional programming, In Science China Information Sciences, Science China Press, vol. 58, no. 5, pp. 1-21, 2015. [tech report] [bib] [pdf]

2014

• N. Macedo, H. Pacheco, N. R. D'Souza, A. Cunha, Bidirectional Spreadsheet Formulas, In Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2014), IEEE, pp. 161-168, 2014. [bib] [pdf]
• Z. Hu, H. Pacheco, S. Fischer, Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper), In Proceedings of the 19th International Symposium on Formal Methods (FM 2014), Springer-Verlag, pp. 1-15, 2014. [bib] [pdf]
• H. Pacheco, Z. Hu, S. Fischer, Monadic Combinators for ``Putback'' Style Bidirectional Programming, In Proceedings of the 22th ACM SIGPLAN Workshop on Partial evaluation and Program Manipulation (PEPM 2014), ACM, pp. 39-50, 2014. [bib] [pdf]
• Hugo Pacheco, T. Zan, Z. Hu, BiFluX: A Bidirectional Functional Update Language for XML, In Accepted to the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), to appear, 2014. [tech report][slides] [bib] [pdf]
• T. Zan, H. Pacheco, Z. Hu, Writing Bidirectional Model Transformations as Intentional Updates (Nier track), In Companion Proceedings of the 36th International Conference on Software Engineering (ICSE Companion 2014), ACM, pp. 488-491, 2014. [bib] [pdf]
• N. Macedo, A. Cunha, H. Pacheco, Towards a Framework for Multidirectional Model Transformations, In CEUR Workshop Proceedings, CEUR-WS.org, vol. 1133, 2014. [bib] [pdf]

2013

• N. Macedo, H. Pacheco, A. Cunha, J. N. Oliveira, Composing least-change lenses, In Electronic Communications of the EASST, article, , vol. 57, 2013. [bib] [pdf]

2012

• H. Pacheco, A. Cunha, Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas, In Proceedings of the 5th International Conference on Model Transformation (ICMT 2012), Springer-Verlag, vol. 7307, pp. 89-104, 2012. [slides] [bib] [pdf]
• N. Macedo, H. Pacheco, A. Cunha, Relations as executable specifications: taming partiality and non-determinism using invariants, In Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Springer-Verlag, vol. 7560, pp. 146-161, 2012. [bib] [pdf]
• H. Pacheco, A. Cunha, Z. Hu, Delta Lenses over Inductive Types, In Electronic Communications of the EASST, article, , vol. 49, 2012. [slides] [tech report] [bib] [pdf]
• J. Cunha, J. P. Fernandes, J. Mendes., H. Pacheco, J. Saraiva, Bidirectional Transformation of Model-Driven Spreadsheets, In Proceedings of the 5th International Conference on Model Transformation (ICMT 2012), Springer-Verlag, vol. 7307, pp. 105-120, 2012. [bib] [pdf]

2011

• H. Pacheco, A. Cunha, Calculating with lenses: optimising bidirectional transformations, In Proceedings of the 20th ACM SIGPLAN Workshop on Partial evaluation and Program Manipulation (PEPM 2011), ACM, pp. 91-100, 2011. [slides] [bib] [pdf]
• A. Cunha, H. Pacheco, Algebraic Specialization of Generic Functions for Recursive Types, In Electronic Notes in Theoretical Computer Science, article, , vol. 229, no. 5, pp. 57-74, 2011. [bib] [pdf]

2010

• H. Pacheco, A. Cunha, Generic Point-free Lenses, In Proceedings of the 10th International Conference on Mathematics of Program Construction (MPC 2010), Springer-Verlag, vol. 6120, pp. 331-352, 2010. [slides] [bib] [pdf]

2009

• A. Cunha, H. Pacheco, Mapping between Alloy Specifications and Database Implementations, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), IEEE, pp. 285 -294, 2009. [bib] [pdf]

2007

• F. Ferreira, H. Pacheco, XPTO - An Xpath Preprocessor with Type-aware Optimization, In Proceedings of the Conference on Compilers, Related Technologies and Applications (CORTA 2007), University of Beira Interior, 2007. [tech report] [bib] [pdf]
• P. Berdaguer, A. Cunha, H. Pacheco, J. Visser, Coupled Schema Transformation and Data: Conversion for XML and SQL, In Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007), Springer-Verlag, vol. 4354, pp. 290-304, 2007. [bib] [pdf]

Theses

2012

• H. Pacheco, Bidirectional Data Transformation by Calculation, PhDThesis, , July, 2012. [repositoriUM][slides] [bib] [pdf]

Talks

2013

• H. Pacheco, "BiFluX: A Bidirectional Functional Update Language for XML", BIRS Workshop - BX Theory & Applications Across Disciplines, Banff, December, 2013. [slides] [video] [bib]
• H. Pacheco, "BiFluX: A Bidirectional Functional Update Language for XML", BiG Camp (2), Karuizawa, September, 2013. [slides] [bib]
• H. Pacheco, A Combinatorial Language for Put-based Bidirectional Programming, IPL Meeting, Tokyo, July, 2013. [slides] [bib]
• H. Pacheco, ``Point-free'' Put-based Bidirectional Programming, HasLab Seminar, Braga, April, 2013. [slides] [bib]
• H. Pacheco, ``Point-free'' Put-based Bidirectional Programming", BiG Camp, Karuizawa, February, 2013. [slides] [bib]

2012

• H. Pacheco, Bidirectional Data Transformation by Calculation, 55th ToPS Seminar, Tokyo, December, 2012. [slides] [bib]
• H. Pacheco, Functional Logic Semantic Bidirectionalization for Free!, Joint FATBIT/SSaaPP Workshop, Braga, September, 2012. [slides] [bib]

2010

• H. Pacheco, A point-free approach to Bidirectional Transformation, IPL Meeting, Tokyo, December, 2010. [slides] [bib]
• H. Pacheco, A point-free approach to Bidirectional Transformation, BiG Meeting, Chiba, October, 2010. [slides] [bib]
• H. Pacheco, Bidirectional Data Transformation by Calculation, III MAP-i Doctoral Symposium, Aveiro, Phd Pre-Thesis Progress Report, July, 2010. [slides] [bib]

2008

• H. Pacheco, Bidirectional Data Transformation by Calculation, I MAP-i Doctoral Symposium, Braga. Poster presented at the 2008 School of Engineering Week, Azurem, University of Minho, Phd Pre-Thesis Progress Report, July, 2008. [slides][poster] [bib] [pdf]

2007

• F. Ferreira, H. Pacheco, P. R. Henriques, J. V. Boas, PDAs no Levantamento de Informação Demográfica, VIII Congresso da ADEH, Menorca, June, 2007. [bib] [pdf]

Technical reports

2013

• H. Pacheco, N. Macedo, A. Cunha, J. Voigtländer, A Generic Scheme and Properties of Bidirectional Transformations, Technical Report, arXiv, no. arXiv:1306.4473, June, 2013. [bib] [pdf]

2007

• H. Pacheco, Exploring the 2LT Design Space, Internship Report, Department of Informatics, University of Minho, October, 2007. [bib] [pdf]