Gianluca Amato

According to our database1, Gianluca Amato authored at least 35 papers between 1997 and 2020.

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



In proceedings 
PhD thesis 





On collecting semantics for program analysis.
Theor. Comput. Sci., 2020

Universal Algebra in UniMath.
CoRR, 2020

SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 Go.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version).
CoRR, 2019

SAI a Sensible Artificial Intelligence that plays Go.
Proceedings of the International Joint Conference on Neural Networks, 2019

Experimental Evaluation of Numerical Domains for Inferring Ranges.
Electron. Notes Theor. Comput. Sci., 2018

Descending chains and narrowing on template abstract domains.
Acta Informatica, 2018

A Taxonomy of Program Analyses.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Inferring linear invariants with parallelotopes.
Sci. Comput. Program., 2017

Efficiently intertwining widening and narrowing.
Sci. Comput. Program., 2016

Exploiting Linearity in Sharing Analysis of Object-oriented Programs.
Electron. Notes Theor. Comput. Sci., 2016

Sum of Abstract Domains.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Narrowing Operators on Template Abstract Domains.
Proceedings of the FM 2015: Formal Methods, 2015

Optimal multibinding unification for sharing and linearity analysis.
Theory Pract. Log. Program., 2014

Efficient Constraint/Generator Removal from Double Description of Polyhedra.
Electron. Notes Theor. Comput. Sci., 2014

Optimal multi-binding unification for sharing and linearity analysis.
CoRR, 2013

Localizing Widening and Narrowing.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Numerical static analysis with Soot.
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013

Discovering invariants via simple component analysis.
J. Symb. Comput., 2012

The Abstract Domain of Parallelotopes.
Electron. Notes Theor. Comput. Sci., 2012

Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.
Proceedings of the Motion in Games - 5th International Conference, 2012

Random: R-Based Analyzer for Numerical Domains.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Observational Completeness on Abstract Interpretation.
Fundam. Informaticae, 2011

On the interaction between sharing and linearity.
Theory Pract. Log. Program., 2010

Deriving Numerical Abstract Domains via Principal Component Analysis.
Proceedings of the Static Analysis - 17th International Symposium, 2010

A Tool Which Mines Partial Execution Traces to Improve Static Analysis.
Proceedings of the Runtime Verification - First International Conference, 2010

Optimality in goal-dependent analysis of Sharing.
Theory Pract. Log. Program., 2009

On the algebraic structure of declarative programming languages.
Theor. Comput. Sci., 2009

Modeling Web Applications by the Multiple Levels of Integrity Policy.
Electron. Notes Theor. Comput. Sci., 2006

A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Correct Answers for First Order Logic.
Proceedings of the Declarative Programming, 2001

Indexed Categories and Bottom-Up Semantics of Logic Programs.
Proceedings of the Logic for Programming, 2001

Abstract Compilation for Sharing Analysis.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

Abstract Interpretation Based Semantics of Sequent Calculi.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Properties of the Lattice of Observables in Logic Programming.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997