T4p4s: A target-independent compiler for protocol-independent packet processors P Vörös, D Horpácsi, R Kitlei, D Leskó, M Tejfel, S Laki 2018 IEEE 19th International Conference on High Performance Switching and …, 2018 | 65 | 2018 |
Refactorerl-source code analysis and refactoring in erlang I Bozó, D Horpácsi, Z Horváth, R Kitlei, J Koszegi, M Tejfel, M Tóth Proceeding of the 12th Symposium on Programming Languages and Software Tools …, 2011 | 56 | 2011 |
High speed packet forwarding compiled from protocol independent data plane specifications S Laki, D Horpácsi, P Vörös, R Kitlei, D Leskó, M Tejfel Proceedings of the 2016 ACM SIGCOMM Conference, 629-630, 2016 | 46 | 2016 |
Discovering parallel pattern candidates in Erlang I Bozó, V Fordós, Z Horvath, M Tóth, D Horpácsi, T Kozsik, J Köszegi, ... Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 13-23, 2014 | 35 | 2014 |
Refactoring module structure L Lövei, C Hoch, H Köllö, T Nagy, A Nagyné Víg, D Horpácsi, R Kitlei, ... Proceedings of the 7th ACM SIGPLAN Workshop on Erlang, 83-89, 2008 | 23 | 2008 |
Quickchecking refactoring tools D Drienyovszky, D Horpácsi, S Thompson Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, 75-80, 2010 | 22 | 2010 |
Towards trustworthy refactoring in Erlang D Horpácsi, J Kőszegi, S Thompson arXiv preprint arXiv:1607.02228, 2016 | 17 | 2016 |
Refactorings to enable parallelization I Bozó, V Fördős, D Horpácsi, Z Horváth, T Kozsik, J Kőszegi, M Tóth Trends in Functional Programming: 15th International Symposium, TFP 2014 …, 2015 | 15 | 2015 |
Automated Syntax Manipulation in RefactorErl. 14th International Erlang/OTP User Conference R Kitlei, L Lövei, M Tóth, Z Horváth, T Kozsik, T Kozsik, R Király, I Bozó, ... Stockholm, November 13, 2008 | 14 | 2008 |
Machine-checked natural semantics for Core Erlang: exceptions and side effects P Bereczky, D Horpácsi, SJ Thompson Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 1-13, 2020 | 10 | 2020 |
A proof assistant based formalisation of a subset of sequential Core Erlang P Bereczky, D Horpácsi, S Thompson International Symposium on Trends in Functional Programming, 139-158, 2020 | 10 | 2020 |
Trustworthy refactoring via decomposition and schemes: A complex case study D Horpácsi, J Kőszegi, Z Horváth arXiv preprint arXiv:1708.07225, 2017 | 10 | 2017 |
High-speed forwarding: a P4 compiler with a hardware abstraction library for Intel DPDK S Laki, D Horpácsi, P Vörös, R Kitlei, D Leskó, M Tejfel P4 Workshop 152, 2016 | 8 | 2016 |
Validating formal semantics by property-based cross-testing P Bereczky, D Horpácsi, J Kőszegi, S Szeier, S Thompson Proceedings of the 32nd Symposium on Implementation and Application of …, 2020 | 7 | 2020 |
Asynchronous extern functions in programmable software data planes D Horpácsi, S Laki, P Vörös, M Tejfel, G Pongrácz, L Molnár 2019 ACM/IEEE Symposium on Architectures for Networking and Communications …, 2019 | 7 | 2019 |
Extending Erlang by Utilising RefactorErl D Horpácsi Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 63-72, 2013 | 7 | 2013 |
Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis D Horpácsi, J Koszegi e-Informatica Software Engineering Journal 7 (1), 2013 | 6 | 2013 |
Extended semantic queries on Erlang programs and comprehensive testing of RefactorErl Z Horváth, LLT Kozsik, R Király, M Tóth, R Kitlei, D Horpácsi, I Bozó Technical report, Tech. Report 2010. Ericsson Hungary, 2010 | 6 | 2010 |
Automated syntax manipulation in RefactorErl R Kitlei, L Lövei, M Tóth, Z Horváth, T Kozsik, R Király, I Bozó, C Hoch, ... 14th International Erlang/OTP User Conference, Stockholm, Sweden, 2008 | 6 | 2008 |
Workflow Description in Cyber-Physical Systems T Kozsik, A LORINCZ, D Juhász, L DOMOSZLAI, D HORPÁCSI, M TÓTH, ... STUD UNIV BABES-BOLYAI SER INFO 58 (2), 20ś30, 2013 | 5 | 2013 |