Select language

English Magyar

Contact information

Name

Lukács, Dániel
Institute

ELTE Faculty of Informatics, Programming Languages and Compilers Department
Room

D2.616
E-mail

dlukacs (at) inf.elte.hu

Bio

I currently work as an assistant lecturer at Programming Languages and Compilers Department, and as a PhD student I am in the final stages of submitting my doctoral dissertation. Lately, I published mostly about source-code based performance prediction for P4 in cooperation with the P4ELTE project and Ericsson Hungary. Earlier I was publishing on static analysis of the Erlang programming language in the RefactorErl project at ELTE. My research interests are theory of programming languages, static analysis, formal verification, and applications of programming languages.

Teaching

  • Logic

  • Design of distributed systems

  • Functional programming (Haskell)

  • Distributed systems (JAVA)

  • Programming languages (JAVA)

For course information and materials, please see the Hungarian version of this page.

Selected publications

[1] Dániel Lukács, Gergely Pongrácz, and Máté Tejfel. Model Checking-Based Performance Prediction for P4. MDPI Electronics 2022, 11, 2117. doi: 10.3390/electronics11142117.

[2] Dániel Lukács, Gergely Pongrácz, and Máté Tejfel. Control flow based cost analysis for P4. Open Computer Science, 11:70–79, December 2020. ISSN 2299-1093. doi: 10.1515/comp-2020-0131.

[3] Dániel Lukács, Gergely Pongrácz, and Máté Tejfel. Performance guarantees for P4 through cost analysis. In 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20–22, pages pp. 305–310,. IEEE, 2019. doi: 10.1109/Informatics47936.2019.9119260.

[4] Dániel Lukács, Gergely Pongrácz, and Máté Tejfel. Keeping P4 Switches Fast and Fault-free through Automatic Verification. Acta Cybernetica, 24(1):61–81, May 2019. doi: 10.14232/actacyb.24.1.2019.6.

[5] Dániel Lukács and Melinda Tóth. Translating Erlang State Machines to UML Using Triple Graph Grammars. Studia Universitatis Babes-Bolyai Informatica, 63(1):33–50, 2018. ISSN 2065-9601. doi: 10.24193/subbi.2018.1.03.

[6] Dániel Lukács and Melinda Tóth. Structuring Erlang BEAM Control Flow. In Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Erlang 2017, page 31–42, New York, NY, USA, 2017. Association for Computing Machinery. ISBN 9781450351799. doi: 10.1145/3123569.3123572.