Distributed Stratified Locality Sensitive Hashing for Critical Event Prediction in the Cloud. - Alessandro De Palma; Erik Hemberg; Una-May O'Reilly (CoRR, 2017)

Communication-avoiding parallel minimum cuts and connected components. - Lukas Gianinazzi; Pavel Kalvoda; Alessandro De Palma; Maciej Besta; Torsten Hoefler (PPoPP, 2018)

Benchmarking and Optimization of Gradient Boosted Decision Tree Algorithms. - Andreea Anghel; Nikolaos Papandreou; Thomas P. Parnell; Alessandro De Palma; Haralampos Pozidis (CoRR, 2018)

Sampling Acquisition Functions for Batch Bayesian Optimization. - Alessandro De Palma; Celestine Mendler-Dünner; Thomas P. Parnell; Andreea Anghel; Haralampos Pozidis (CoRR, 2019)

Lagrangian Decomposition for Neural Network Verification. - Rudy Bunel; Alessandro De Palma; Alban Desmaison; Krishnamurthy Dvijotham; Pushmeet Kohli; Philip H. S. Torr; M. Pawan Kumar (UAI, 2020)

Scaling the Convex Barrier with Active Sets. - Alessandro De Palma; Harkirat S. Behl; Rudy Bunel; Philip H. S. Torr; M. Pawan Kumar (ICLR, 2021)

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition. - Alessandro De Palma; Rudy Bunel; Alban Desmaison; Krishnamurthy Dvijotham; Pushmeet Kohli; Philip H. S. Torr; M. Pawan Kumar (CoRR, 2021)

In Defense of the Unitary Scalarization for Deep Multi-Task Learning. - Vitaly Kurin; Alessandro De Palma; Ilya Kostrikov; Shimon Whiteson; Pawan Kumar Mudigonda (NeurIPS, 2022)

In Defense of the Unitary Scalarization for Deep Multi-Task Learning. - Vitaly Kurin; Alessandro De Palma; Ilya Kostrikov; Shimon Whiteson; M. Pawan Kumar (CoRR, 2022)

IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. - Alessandro De Palma; Rudy Bunel; Krishnamurthy Dvijotham; M. Pawan Kumar; Robert Stanforth (CoRR, 2022)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. - Ben Batten; Yang Zheng 001; Alessandro De Palma; Panagiotis Kouvaros; Alessio Lomuscio (ECAI, 2024)

Expressive Losses for Verified Robustness via Convex Combinations. - Alessandro De Palma; Rudy Bunel; Krishnamurthy (Dj) Dvijotham; M. Pawan Kumar; Robert Stanforth; Alessio Lomuscio (ICLR, 2024)

Verified Neural Compressed Sensing. - Rudy Bunel; Krishnamurthy Dvijotham; M. Pawan Kumar; Alessandro De Palma; Robert Stanforth (CoRR, 2024)

Scaling the Convex Barrier with Sparse Dual Algorithms. - Alessandro De Palma; Harkirat Singh Behl; Rudy Bunel; Philip H. S. Torr; M. Pawan Kumar (J. Mach. Learn. Res., 2024)

Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. - Harleen Hanspal; Alessandro De Palma; Alessio Lomuscio (WACV (Workshops), 2025)

On Using Certified Training towards Empirical Robustness. - Alessandro De Palma; Serge Durand; Zakaria Chihani; François Terrier; Caterina Urban (Trans. Mach. Learn. Res., 2025)