research
∙
03/08/2023
Advancing Direct Convolution using Convolution Slicing Optimization and ISA Extensions
Convolution is one of the most computationally intensive operations that...
share
research
∙
03/08/2023
Automatic verification of transparency protocols (extended version)
We introduce new features in ProVerif, an automatic tool for verifying s...
research
∙
07/28/2022
A general framework for multi-step ahead adaptive conformal heteroscedastic time series forecasting
The exponential growth of machine learning (ML) has prompted a great dea...
research
∙
07/06/2022
Improved conformalized quantile regression
Conformalized quantile regression is a procedure that inherits the advan...
research
∙
02/26/2020
Bandwidth-Optimized Parallel Algorithms for Sparse Matrix-Matrix Multiplication using Propagation Blocking
Sparse matrix-matrix multiplication (SpGEMM) is a widely used kernel in ...
research
∙
06/18/2016
