Bringing the web up to speed with WebAssembly A Haas, A Rossberg, DL Schuff, BL Titzer, M Holman, D Gohman, ... Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 735 | 2017 |
A scalable, correct time-stamped stack M Dodds, A Haas, CM Kirsch ACM SIGPLAN Notices 50 (1), 233-246, 2015 | 75 | 2015 |
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation A Haas, M Lippautz, TA Henzinger, H Payer, A Sokolova, CM Kirsch, ... Proceedings of the ACM International Conference on Computing Frontiers, 1-9, 2013 | 66 | 2013 |
{Information-Acquisition-as-a-Service} for {Cyber-Physical} Cloud Computing SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ... 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), 2010 | 59 | 2010 |
Bringing the web up to speed with webassembly A Rossberg, BL Titzer, A Haas, DL Schuff, D Gohman, L Wagner, A Zakai, ... Communications of the ACM 61 (12), 107-115, 2018 | 41 | 2018 |
Towards the automated operations of large distributed satellite systems. Part 1: Review and paradigm shifts MK Ben-Larbi, KF Pozo, T Haylok, M Choi, B Grzesik, A Haas, D Krupke, ... Advances in Space Research 67 (11), 3598-3619, 2021 | 40 | 2021 |
Local linearizability for concurrent container-type data structures A Haas, TA Henzinger, A Holzer, C Kirsch, M Lippautz, H Payer, A Sezgin, ... Leibniz International Proceedings in Informatics 59, 2016 | 23 | 2016 |
Towards the automated operations of large distributed satellite systems. Part 2: Classifications and tools MK Ben-Larbi, KF Pozo, M Choi, T Haylok, B Grzesik, A Haas, D Krupke, ... Advances in Space Research 67 (11), 3620-3637, 2021 | 17 | 2021 |
How FIFO is your concurrent FIFO queue? A Haas, CM Kirsch, M Lippautz, H Payer Proceedings of the 2012 ACM workshop on Relaxing synchronization for …, 2012 | 16 | 2012 |
Fast concurrent data structures through timestamping A Haas PhD thesis, University of Salzburg, 2015 | 14 | 2015 |
Scal: A benchmarking suite for concurrent data structures A Haas, T Hütter, CM Kirsch, M Lippautz, M Preishuber, A Sokolova Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015 | 11 | 2015 |
Computing Area-Optimal Simple Polygonizations SP Fekete, A Haas, P Keldenich, M Perk, A Schmidt ACM Journal of Experimental Algorithmics (JEA) 27, 1-23, 2022 | 10 | 2022 |
Effect of chemical grafting parameters on the manufacture of functionalized PVOH films having controlled water solubility A Haas, D Schlemmer, U Grupa, M Schmid Frontiers in chemistry 5, 38, 2017 | 10 | 2017 |
Local linearizability A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ... arXiv preprint arXiv:1502.07118, 2015 | 9 | 2015 |
Short-term memory for self-collecting mutators M Aigner, A Haas, CM Kirsch, M Lippautz, A Sokolova, S Stroka, ... ACM SIGPLAN Notices 46 (11), 99-108, 2011 | 8 | 2011 |
Short-term memory for self-collecting mutators-revised version M Aigner, A Haas, CM Kirsch, A Sokolova Tech. Rep. 2010-06, Department of Computer Sciences, University of Salzburg, 2010 | 6 | 2010 |
Automated data retrieval from large-scale distributed satellite systems D Krupke, V Schaus, A Haas, M Perk, J Dippel, B Grzesik, MKB Larbi, ... 2019 IEEE 15th international conference on automation science and …, 2019 | 5 | 2019 |
Fast Concurrent Data-Structures Through Explicit Timestamping M Dodds, A Haas, CM Kirsch order 100, 4, 2014 | 5 | 2014 |
On hard instances of the minimum-weight triangulation problem SP Fekete, A Haas, Y Lieder, E Niehs, M Perk, V Sack, C Scheffer 36th European Workshop on Computational Geometry (EuroCG 2020) 3, 2020 | 4 | 2020 |
Mixer device M Fischer, A Haas, S Sauer, D Sailer, B Burkhardt US Patent 10,508,579, 2019 | 3 | 2019 |