UNIPGCLogo GRCLogo
GPU Research Center - Università degli Studi di Perugia
Dipartimento di Matematica e Informatica

Selection of recent publications:

Computational logic

A GPU Implementation of the ASP Computation.
A.Dovier, A.Formisano, E.Pontelli, and F.Vella.
In Proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016). Lecture Notes in Computer Science, Volume 9585, Springer, 2016. (link)
Parallel Execution of the ASP Computation - an Investigation on GPUs.
A.Dovier, A.Formisano, E.Pontelli, and F.Vella.
In Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). CEUR Workshop Proceedings, Volume 1433, 2015. (draft.pdf)
CUD@SAT: SAT Solving on GPUs.
A.Dal Palù, A.Dovier, A.Formisano, and E.Pontelli.
Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 27(3):293-316 (2015). (draft.pdf)
Exploiting Unexploited Computing Resources for Computational Logics.
A.Dal Palù, A.Dovier, A.Formisano, and E.Pontelli.
In Proceedings of the 27th Italian Conference on Computational Logic, Rome, June 6-7, 2012. CEUR Vol. 857.
On multiple learning schemata in conflict driven solvers.
A.Formisano, F.Vella.
In Proceedings of the 15th Italian Conference on Theoretical Computer Science. 2014. CEUR vol 1231, pp.133-146.
CUD@ASP: Experimenting with GPGPUs in ASP solving.
F.Vella, A.Dal Palù, A.Dovier, A.Formisano, and E.Pontelli.
In CILC13. Catania, 25-27 Settembre 2013. CEUR vol 1068, pp.163-177.
Heterogeneous systems

GPU computing in EGI environment using a cloud approach.
F.Vella, R.M.Cefalà, A.Costantini, O.Gervasi, and C.Tanci.
In 2011 International Conference on Computational Science and its Applications, pp.150-155. IEEE.
A simulation framework for scheduling performance evaluation on CPU-GPU heterogeneous system.
F.Vella, I.Neri, O.Gervasi, and S.Tasso.
In B.Murgante, O.Gervasi, S.Misra, N.Nedjah, A.M.A.C.Rocha, D.Taniar, and B.O.Apduhan, eds., Computational Science and its Applications (ICCSA), 2012, Lecture Notes in Computer Science, vol. 7336 pp.457-469. Springer.
Effectively and efficiently supporting grid and cloud integration via a DBMS-based framework.
A.Cuzzocrea, O.Gervasi, M.Mariotti, F.Vella, A.Costantini.
25th Italian Symposium on Advanced Database Systems, SEBD 2017 pp. 291-299.
A DBMs-based system for integrating grids and clouds: Anatomy, models, functionalities
M.Mariotti, O.Gervasi, F.Vella, A.Costantini, A.Cuzzocrea.
ACM International Conference Proceeding Series 22-23-March-2016.
Scaling betweenness centrality using communication-efficient sparse matrix multiplication
E.Solomonik, M.Besta, F.Vella, T.Hoefler.
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017
Multilevel parallelism for the exploration of large-scale graphs
M.Bernaschi, M.Bisson, E.Mastrostefano, F.Vella.
IEEE Transactions on Multi-Scale Computing Systems. 2018
Games

Accelerating energy games solvers on modern architectures.
A.Formisano, R.Gentilini, F.Vella.
Proceedings of IA3 2017: 7th Workshop on Irregular Applications: Architectures and Algorithms, Held in conjunction with SC 2017: The International Conference for High Performance Computing, Networking, Storage and Analysis.
Accelerating energy games solvers on modern architectures.
A.Formisano, R.Gentilini, F.Vella.
CoRR abs/1710.03647 (2017) extended version in https://arxiv.org/abs/1710.03647
Computational chemistry

Quantum reactive scattering calculations on GPU.
L.Pacifici, D.Nalli, and A.Laganà.
In B.Murgante, O.Gervasi, S.Misra, N.Nedjah, A.M.A.C.Rocha, D.Taniar, and B.O.Apduhan, eds., Computational Science and its Applications (ICCSA), 2012, Lecture Notes in Computer Science, volume 7333, pp.292-303. Springer.
Quantum reactive scattering on innovative computing platforms.
L.Pacifici, D.Nalli, and A.Laganà.
Computer Physics Communications, 184(5):1372-1380, 2013.
Time dependent quantum reactive scattering on GPU.
L.Pacifici, D.Nalli, D.Skouteris, and A.Laganà.
In B.Murgante, O.Gervasi, A.Iglesias, D.Taniar, and B.O.Apduhan, eds.,Computational Science and Its Applications (ICCSA), 2011, Lecture Notes in Computer Science, volume 6784, pp.428-441. Springer.