| 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 | 68 | 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 | 60 | 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 |
| Quickchecking refactoring tools D Drienyovszky, D Horpácsi, S Thompson Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, 75-80, 2010 | 23 | 2010 |
| 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 |
| Towards trustworthy refactoring in Erlang D Horpácsi, J Kőszegi, S Thompson arXiv preprint arXiv:1607.02228, 2016 | 19 | 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 | 16 | 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 | 11 | 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 | 11 | 2017 |
| 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 |
| 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 | 8 | 2019 |
| 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 |
| 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 |
| Mechanizing matching logic in coq P Bereczky, X Chen, D Horpácsi, L Peña, J Tušil arXiv preprint arXiv:2201.05716, 2022 | 5 | 2022 |
Kitlei RóbertELTE IKEmail verificata su elte.hu