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
null,13053,"GradSch,DaAl,ChLa",CrAM: A Compression-Aware Minimizer
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
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,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.1109/cvpr52688.2022.01195,12299,"DaAl,ChLa",How well do sparse ImageNet models transfer?
10.1145/3528535.3565248,12780,DaAl,CGX: Adaptive system support for communication-efficient deep learning
10.5281/ZENODO.5733408,13076,DaAl,Multi-queues can be state-of-the-art priority schedulers
10.1145/3503221.3508432,11180,DaAl,Multi-queues can be state-of-the-art priority schedulers
10.1145/3503221.3508410,11181,DaAl,PathCAS: An efficient middle ground for concurrent search data structures
10.4230/LIPIcs.OPODIS.2021.14,11184,DaAl,Fast graphical population protocols