DOI,IST REx ID,Research Group,Title of publication
null,18061,DaAl,QMoE: Sub-1-bit compression of trillion parameter models
10.15479/at:ista:17465,17465,"GradSch,DaAl,MaMo",High-dimensional limits in artificial neural networks
null,17469,"DaAl,MaMo",Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth
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.1145/3558481.3591082,13262,"DaAl,GradSch",Provably-efficient and internally-deterministic parallel Union-Find
10.1137/20M1375851,14364,DaAl,Why extension-based proofs fail
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
null,14815,DaAl,On biased compression for distributed learning
10.1145/3591230,13179,DaAl,CQS: A formally-verified framework for fair and abortable synchronization
10.1137/1.9781611977585.ch17,19983,DaAl,Sinkless Orientation Made Simple
null,15363,DaAl,Knowledge distillation performs partial variance reduction
10.1007/978-3-031-37706-8_8,14260,"DaAl,GradSch","Lincheck: A practical framework for testing concurrent data structures on JVM"
10.5281/ZENODO.7877757,14995,DaAl,Lincheck: A practical framework for testing concurrent data structures on JVM
10.1109/cvpr52729.2023.02334,14771,"DaAl,ChLa",Bias in pruned vision models: In-depth analysis and countermeasures
null,17378,DaAl,OPTQ: Accurate post-training quantization for generative pre-trained transformers