Tejfel Máté
Title
Cited by
Cited by
Year
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
Proceedings of the 12th Symposium on Programming Languages and Software …, 2011
432011
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
332016
Extending the sparkle core language with object abstraction
M Tejfel, Z Horváth, T Kozsik
Acta Cybernetica 17 (2), 419-445, 2005
232005
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, ...
ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, 455-481, 2010
202010
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
172010
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
172010
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
172010
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, 372-390, 2009
142009
Proving Invariants of Functional Programs.
Z Horváth, T Kozsik, M Tejfel
SPLST, 115-126, 2003
132003
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
112018
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
72004
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, 2016
52016
Temporal properties of clean programs proven in sparkle-t
M Tejfel, Z Horváth, T Kozsik
Central European Functional Programming School, 168-190, 2005
52005
Kozsik T.-Tejfel M.: Verifying invariants of abstract functional objects-a case study
Z Horváth
6th International Conference on Applied Informatics, 27-31, 2004
52004
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
42010
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
42006
A Data Intensive Application on a Cluster-Parallel Elementwise Processing
Z Horváth, Z Hernyák, T Kozsik, M Tejfel, A Ulbert
Distributed and Parallel System-Cluster and Grid Computing, Proc. of 4th …, 0
3
The EDSL’s struggle for their sources
G Dévai, D Leskó, M Tejfel
Central European Functional Programming School, 300-335, 2013
22013
Improving quality of software analyser and transformer tools using specification based testing
M Tejfel, M Tóth, I Bozó, D Horpácsi, Z Horváth
Zoltán Csörnyei (Ed.), 98, 2012
22012
Using impact analysis based knowledge for validating refactoring steps
I Bozó, M Tóth, M Tejfel, D Horpácsi, R Kitlei, J KOSZEGI, Z Horváth
UNIVERSITATIS BABEŞ-BOLYAI INFORMATICA, 57, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20