| 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 | 66 | 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 | 54 | 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 |
| Extending the sparkle core language with object abstraction M Tejfel, Z Horváth, T Kozsik Acta Cybernetica 17 (2), 419-445, 2005 | 23 | 2005 |
| Efficient code generation from the high-level domain-specific language Feldspar for DSPs G Dévai, M Tejfel, Z Gera, G Páli, G Nagy, Z Horváth, E Axelsson, ... Proc. ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems …, 2010 | 21 | 2010 |
| 1st order flow analysis for Erlang M Tóth, I Bozó, Z Horváth, M Tejfel Proceedings of 8th Joint Conference on Mathematics and Computer Science, 403-416, 2010 | 19 | 2010 |
| Impact analysis of Erlang programs using behaviour dependency graphs M Tóth, I Bozó, Z Horváth, L Lövei, M Tejfel, T Kozsik Central European Functional Programming School: Third Summer School, CEFP …, 2010 | 19 | 2010 |
| Proving Invariants of Functional Programs. Z Horváth, T Kozsik, M Tejfel SPLST, 115-126, 2003 | 15 | 2003 |
| Verifying invariants of abstract functional objects—a case study Z Horváth, T Kozsik, M Tejfel 6th International Conference on Applied Informatics, Eger, Hungary, 2004 | 11 | 2004 |
| 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 |
| 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 | 7 | 2016 |
| Analysis of preprocessor constructs in erlang R Kitlei, I Bozó, T Kozsik, M Tejfel, M Tóth Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 45-56, 2010 | 6 | 2010 |
| Temporal properties of clean programs proven in sparkle-t M Tejfel, Z Horváth, T Kozsik Central European Functional Programming School, 168-190, 2005 | 5 | 2005 |
| Performance guarantees for P4 through cost analysis D Lukács, G Pongrácz, M Tejfel 2019 IEEE 15th International Scientific Conference on Informatics, 000305-000310, 2019 | 4 | 2019 |
| The EDSL’s struggle for their sources G Dévai, D Leskó, M Tejfel Central European Functional Programming School: 5th Summer School, CEFP 2013 …, 2015 | 4 | 2015 |
| Comparing Specification with Proved Properties of Clean Dynamics L Lovei, M Tejfel, M Mészáros, Z Horváth, T Kozsik Conference of PhD students in Computer Science, Volume of extended abstracts, 71, 2006 | 4 | 2006 |
| Control flow based cost analysis for P4 D Lukács, G Pongrácz, M Tejfel Open Computer Science 11 (1), 70-79, 2021 | 3 | 2021 |
| The price for asynchronous execution of extern functions in programmable software data planes S Laki, D Horpácsi, P Voros, M Tejfel, P Hudoba, G Pongracz, L Molnar 2020 23rd Conference on Innovation in Clouds, Internet and Networks and …, 2020 | 3 | 2020 |
| Are graph databases fast enough for static p4 code analysis? D Lukács, G Pongrácz, M Tejfel ICAI, 213-223, 2020 | 3 | 2020 |
| Keeping P4 switches fast and fault-free through automatic verification D Lukács, M Tejfel, G Pongrácz Acta Cybernetica 24 (1), 61-81, 2019 | 3 | 2019 |
