publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. APLAS 2025
    Positive Sharing and Abstract Machines
    Beniamino Accattoli, Claudio Sacerdoti Coen, and Jui-Hsuan Wu
    2025

2024

  1. PhD thesis
    Proof theory, syntactic representations, logic, and sharing
    Jui-Hsuan Wu
    2024
    PDF
  2. MFPS 2024
    Positive Focusing is Directly Useful
    Beniamino Accattoli, and Jui-Hsuan Wu
    In 40th International Conference on Mathematical Foundations of Programming Semantics (MFPS), 2024
    PDF

2023

  1. APLAS 2023
    Proofs as Terms, Terms as Graphs
    Jui-Hsuan Wu
    In 21st Asian Symposium on Programming Languages and Systems (APLAS), 2023
    PDF
  2. CSL 2023
    A positive perspective on term representation: Extended paper
    Dale Miller, and Jui-Hsuan Wu
    In 31th EACSL Annual Conference on Computer Science Logic (CSL), 2023
    PDF

2022

  1. LFMTP 2022
    A positive perspective on term representation: work in progress
    Dale Miller, and Jui-Hsuan Wu
    2022
    PDF

2021

  1. LICS 2021
    Combinatorial Proofs and Decomposition Theorems for First-order Logic
    Dominic Hughes, Lutz Straßburger, and Jui-Hsuan Wu
    In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021
    PDF

2020

  1. M2 internship
    On First-order Combinatorial Proofs
    Jui-Hsuan Wu
    2020
    PDF

2019

  1. M1 internship
    Checking the type safety of rewrite rules in λ\Pi-calculus modulo rewriting
    Jui-Hsuan Wu
    2019
    PDF

2018

  1. L3 internship
    Automated proof search in linear logic
    Jui-Hsuan Wu
    2018
    PDF