Hugo Pacheco

According to our database1, Hugo Pacheco authored at least 24 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
ROSY: An elegant language to teach the pure reactive nature of robot programming.
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

2018
Teaching how to program using automated assessment and functional glossy games (experience report).
Proc. ACM Program. Lang., 2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.
IACR Cryptol. ePrint Arch., 2018

2017
Jasmin: High-Assurance and High-Speed Cryptography.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
A Tool-Chain for High-Assurance Cryptographic Software.
ERCIM News, 2016

2015
The essence of bidirectional programming.
Sci. China Inf. Sci., 2015

A Clear Picture of Lens Laws - Functional Pearl.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014
Bidirectional spreadsheet formulas.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

BiFluX: A Bidirectional Functional Update Language for XML.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Monadic combinators for "Putback" style bidirectional programming.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Writing bidirectional model transformations as intentional updates.
Proceedings of the 36th International Conference on Software Engineering, 2014

Validity Checking of Putback Transformations in Bidirectional Programming.
Proceedings of the FM 2014: Formal Methods, 2014

Towards a Framework for Multidirectional Model Transformations.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013
Composing Least-change Lenses.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.
CoRR, 2013

2012
Delta Lenses over Inductive Types.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas.
Proceedings of the Theory and Practice of Model Transformations, 2012

Bidirectional Transformation of Model-Driven Spreadsheets.
Proceedings of the Theory and Practice of Model Transformations, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Algebraic Specialization of Generic Functions for Recursive Types.
Electron. Notes Theor. Comput. Sci., 2011

Calculating with lenses: optimising bidirectional transformations.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010
Generic Point-free Lenses.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009
Mapping between Alloy Specifications and Database Implementations.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2007
Coupled Schema Transformation and Data Conversion for XML and SQL.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007


  Loading...