Dániel Horpácsi
TitleCited byYear
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
262014
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
262011
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
212016
Quickchecking refactoring tools
D Drienyovszky, D Horpácsi, S Thompson
Erlang 10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop, 182-196, 2010
152010
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
152008
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
142008
Refactorings to enable parallelization
I Bozó, V Fördős, D Horpácsi, Z Horváth, T Kozsik, J Kőszegi, M Tóth
International Symposium on Trends in Functional Programming, 104-121, 2014
102014
Programming errors in traversal programs over structured data
R Lämmel, S Thompson, M Kaiser
Science of Computer Programming 78 (10), 1770-1808, 2013
72013
Extending Erlang by Utilising RefactorErl
D Horpácsi
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 63-72, 2013
52013
Towards trustworthy refactoring in Erlang
D Horpácsi, J Kőszegi, S Thompson
arXiv preprint arXiv:1607.02228, 2016
42016
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
42013
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
42013
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
32008
„T4P4S: A Target-independent Compiler for Protocolindependent Packet Processors”
P Vörös, D Horpácsi, R Kitlei, D Leskó, M Tejfel, S Laki
IEEE HPSR, 17-20, 2018
12018
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
12012
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
12011
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
2017
TYPE INFERENCE FOR CORE ERLANG TO SUPPORT TEST DATA GENERATION.
G OLÁH, D HORPÁCSI, T KOZSIK, M TÓTH
Studia Universitatis Babes-Bolyai, Informatica 59, 2014
2014
Building trustworthy refactoring tools.
S Thompson, D Horpácsi, H Li, N Sultana
VPT@ CAV, 15, 2013
2013
Workflow Description in Cyber-Physical Systems
T Kozsik, A LORINCZ, D Juhász, L DOMOSZLAI, D HORPÁCSI, M TÓTH, ...
Studia Universitatis Babes-Bolyai, Informatica 58 (2), 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20