Gianluca Amato
Identifiers
- name variant Gianluca Amato 0.60 · backfill
Papers (6)
- Experimental evaluation of optimal abstract operators for sharing and linearity analysis cs.LO · 2026 · author #2
- Primitive weird numbers having more than three distinct prime factors math.NT · 2018 · author #1
- Efficiently intertwining widening and narrowing cs.PL · 2015 · author #1
- Optimal multi-binding unification for sharing and linearity analysis cs.PL · 2013 · author #1
- On the interaction between sharing and linearity cs.PL · 2007 · author #1
- Optimality in Goal-Dependent Analysis of Sharing cs.PL · 2005 · author #1
Mentions
- 2606.10056 #2 · arxiv_oai · confidence 0.70 Gianluca Amato
- 1503.00883 #1 · backfill · confidence 0.70 Gianluca Amato
- 1306.2291 #1 · backfill · confidence 0.70 Gianluca Amato
- 0710.0528 #1 · backfill · confidence 0.70 Gianluca Amato
Frequent Coauthors
- Francesca Scozzari 5 shared papers
- Giuseppe Melfi 1 shared papers
- Helmut Seidl 1 shared papers
- Kalmer Apinis 1 shared papers
- Maurizio Parton 1 shared papers
- Maximilian F. Hasler 1 shared papers
- Vesal Vojdani 1 shared papers