Dániel Horpácsi

According to our database, Dániel Horpácsi authored at least 28 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Program equivalence in an untyped, call-by-value functional language with uncurried functions.

Dániel Horpácsi, Péter Bereczky, Simon J. Thompson

J. Log. Algebraic Methods Program., April, 2023

A Formalisation of Core Erlang, a Concurrent Actor Language.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2023

A Frame Stack Semantics for Sequential Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2023

Interactive Matching Logic Proofs in Coq.

Jan Tusil, Péter Bereczky, Dániel Horpácsi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings.

Simon J. Thompson, Dániel Horpácsi

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Refactoring = Substitution + Rewriting.

Simon J. Thompson, Dániel Horpácsi

CoRR, 2022

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.

Dániel Horpácsi, Péter Bereczky, Simon J. Thompson

CoRR, 2022

Mechanizing Matching Logic in Coq.

Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2021

Adaptation of a Refactoring DSL for the Object-Oriented Paradigm.

Dávid János Németh, Dániel Horpácsi, Máté Tejfel

Acta Cybern., October, 2021

Towards a Generic Framework for Trustworthy Program Refactoring.

Dániel Horpácsi, Judit Köszegi, Dávid János Németh

Acta Cybern., October, 2021

2020

A Comparison of Big-step Semantics Definition Styles.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2020

A Proof Assistant Based Formalisation of Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2020

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Validating Formal Semantics by Property-Based Cross-Testing.

Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes.

Sándor Laki, Dániel Horpácsi, Péter Vörös, Máté Tejfel, Péter Hudoba, Gergely Pongrácz, László Molnár

Proceedings of the 23rd Conference on Innovation in Clouds, 2020

Machine-checked natural semantics for Core Erlang: exceptions and side effects.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019

Verification and Application of Program Transformations

Dániel Horpácsi

PhD thesis, 2019

Asynchronous Extern Functions in Programmable Software Data Planes.

Dániel Horpácsi, Sándor Laki, Péter Vörös, Máté Tejfel, Gergely Pongrácz, László Molnár

Proceedings of the 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2019

2018

T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors.

Péter Vörös, Dániel Horpácsi, Róbert Kitlei, Dániel Leskó, Máté Tejfel, Sándor Laki

Proceedings of the IEEE 19th International Conference on High Performance Switching and Routing, 2018

2017

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.

Dániel Horpácsi, Judit Köszegi, Zoltán Horváth

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

2016

Towards Trustworthy Refactoring in Erlang.

Dániel Horpácsi, Judit Köszegi, Simon J. Thompson

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

High speed packet forwarding compiled from protocol independent data plane specifications.

Sándor Laki, Dániel Horpácsi, Peter Vörös, Róbert Kitlei, Dániel Leskó, Máté Tejfel

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

2014

Refactorings to Enable Parallelization.

István Bozó, Viktoria Fordós, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Köszegi, Melinda Tóth

Proceedings of the Trends in Functional Programming, 2014

Discovering parallel pattern candidates in Erlang.

István Bozó, Viktoria Fordós, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam D. Barwell, Christopher Brown, Kevin Hammond

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Static analysis of function calls in Erlang.

Dániel Horpácsi, Judit Köszegi

e Informatica Softw. Eng. J., 2013

Extending Erlang by utilising RefactorErl.

Dániel Horpácsi

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2010

Quickchecking refactoring tools.

Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

2008

Refactoring module structure.

László Lövei, Csaba Hoch, Hanna Köllö, Tamás Nagy, Anikó Nagyné Víg, Dániel Horpácsi, Róbert Kitlei, Roland Király

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008