DOI,IST REx ID,Research Group,Title of publication
null,15011,DaAl,"How to prune your language model: Recovering accuracy on the ""Sparsity May Cry"" benchmark"
10.1007/s00446-022-00441-x,12330,DaAl,The splay-list: A distribution-adaptive concurrent skip-list
10.1016/j.tcs.2023.113733,12566,DaAl,Wait-free approximate agreement on graphs
10.1145/3572848.3577481,12735,DaAl,Fast and scalable channels in Kotlin Coroutines
10.1145/3572848.3577512,12736,"DaAl,GradSch",Unexpected scaling in path copying trees
null,13053,"GradSch,DaAl,ChLa",CrAM: A Compression-Aware Minimizer
10.15479/at:ista:13074,13074,"GradSch,DaAl,ChLa",Efficiency and generalization of sparse neural networks
10.1145/3591230,13179,DaAl,CQS: A formally-verified framework for fair and abortable synchronization
10.1145/3558481.3591082,13262,"DaAl,GradSch",Provably-efficient and internally-deterministic parallel Union-Find
null,14815,DaAl,On biased compression for distributed learning
10.5281/ZENODO.7877757,14995,DaAl,Lincheck: A practical framework for testing concurrent data structures on JVM
10.1007/978-3-031-37706-8_8,14260,"DaAl,GradSch","Lincheck: A practical framework for testing concurrent data structures on JVM"
10.1137/20M1375851,14364,DaAl,Why extension-based proofs fail
null,14458,DaAl,SparseGPT: Massive language models can be accurately pruned in one-shot
null,14459,"MaMo,DaAl","Fundamental limits of two-layer autoencoders, and achieving them with gradient methods"
null,14460,DaAl,SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge
null,14461,DaAl,Quantized distributed training of large models with convergence guarantees
10.1109/cvpr52729.2023.02334,14771,"DaAl,ChLa",Bias in pruned vision models: In-depth analysis and countermeasures
10.4230/LIPIcs.DISC.2022.52,12182,DaAl,Brief announcement: Temporal locality in online algorithms
10.1109/cvpr52688.2022.01195,12299,"DaAl,ChLa",How well do sparse ImageNet models transfer?