Publications

  1. Two Induction-Free Constructions For Finite Automata Determinization
    Matheus do Ó, Hugo Musso Gualandi
    Brazilian Symposium on Programming Languages, 2026 📄
  2. Correct by Construction Gram-Schmidt Process
    João Victor Lopez Pereira, Daniel Kiyoshi Hashimoto, Hugo Musso Gualandi, João Paixão
    Brazilian Symposium on Programming Languages, 2026 📄
  3. A Large-Scale Analysis of C++ Lambdas and Their Capture Lists in Opensource Repositories
    Luiz Romário Santana Rios, Hugo Musso Gualandi
    Brazilian Symposium on Programming Languages, 2026 📄
  4. A Graphical and Equational Fixed Point Calculus
    Gustavo de Mendonça Freire, Hugo Musso Gualandi, Hugo Nobrega, João Paixão
    International Conference on Functional Programming, 2026 📄 🔗
  5. Indentation-Sensitive Parsers for Free-Form Languages
    Sérgio Queiroz de Medeiros, Hugo Musso Gualandi
    Brazilian Symposium on Programming Languages, 2025 📄 🔗
  6. Converting Combinatory Logic to and from Concatenative Calculus
    Daniel Kiyoshi Hashimoto, Hugo Musso Gualandi
    Brazilian Symposium on Programming Languages, 2024 📄 🔗
  7. Reusing Just-in-Time Compiled Code
    Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek
    OOPSLA, 2023 📄 🔗
  8. A Surprisingly Simple Lua Compiler (extended version)
    Hugo Musso Gualandi, Roberto Ierusalimschy
    Science of Computer Programming, 2022 📄 🔗
  9. A Surprisingly Simple Lua Compiler
    Hugo Musso Gualandi, Roberto Ierusalimschy
    Brazilian Symposium on Programming Languages, 2021 📄 🔗
  10. Pallene: A companion language for Lua (extended version)
    Hugo Musso Gualandi, Roberto Ierusalimschy
    Science of Computer Programming, 2020 📄 🔗
  11. Pallene: a statically typed companion language for Lua
    Hugo Musso Gualandi, Roberto Ierusalimschy
    Brazilian Symposium on Programming Languages, 2018 📄 🔗