pith. sign in

Institut Polytechnique de Paris)

Identifiers

  • name variant Institut Polytechnique de Paris) 0.60 · backfill

Papers (2)

  1. OxyMake: A Formally-Specified, Content-Addressable Workflow Engine cs.SE · 2026 · author #4
  2. Impossibility Results for Strong Linearizability: The Difficulty of Consistent Refereeing cs.DC · 2025 · author #8

Mentions

  • 2606.20989 #4 · arxiv_oai · confidence 0.70 Institut Polytechnique de Paris)
  • 2506.18401 #8 · arxiv_oai · confidence 0.70 Institut Polytechnique de Paris)

Frequent Coauthors