Dániel Horpácsi

34 papers A* 1C 2Misc 1Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — conf
On a Dependently Typed Encoding of Matching Logic.
FROM
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
2024 J jnl
A Formalisation of Core Erlang, a Concurrent Actor Language.
Acta Cybern.
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2024 — conf
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects.
Erlang
Bendegúz Seres, Dániel Horpácsi, Simon J. Thompson
2024 J jnl
Program Equivalence in the Erlang Actor Model.
Comput.
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2024 — conf
Unification in Matching Logic - Revisited.
FROM
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
2023 J jnl
A Formalisation of Core Erlang, a Concurrent Actor Language.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023 J jnl
A Frame Stack Semantics for Sequential Core Erlang.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023 — conf
A frame stack semantics for sequential Core Erlang.
IFL
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023 C conf
Interactive Matching Logic Proofs in Coq.
ICTAC
Jan Tusil, Péter Bereczky, Dániel Horpácsi
2023 J jnl
Program equivalence in an untyped, call-by-value functional language with uncurried functions.
J. Log. Algebraic Methods Program.
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
2023 — conf
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings.
Eelco Visser Commemorative Symposium
Simon J. Thompson, Dániel Horpácsi
2022 — conf
Mechanizing Matching Logic in Coq.
FROM
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
2022 J jnl
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.
CoRR
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
2022 J jnl
Refactoring = Substitution + Rewriting.
CoRR
Simon J. Thompson, Dániel Horpácsi
2021 J jnl
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm.
Acta Cybern.
Dávid János Németh, Dániel Horpácsi, Máté Tejfel
2021 J jnl
Towards a Generic Framework for Trustworthy Program Refactoring.
Acta Cybern.
Dániel Horpácsi, Judit Köszegi, Dávid János Németh
2020 J jnl
A Comparison of Big-step Semantics Definition Styles.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 J jnl
A Proof Assistant Based Formalisation of Core Erlang.
CoRR
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 — conf
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.
TFP
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 — conf
Machine-checked natural semantics for Core Erlang: exceptions and side effects.
Erlang Workshop
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020 Misc conf
The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes.
ICIN
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
2020 — conf
Validating Formal Semantics by Property-Based Cross-Testing.
IFL
Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson
2019 — conf
Asynchronous Extern Functions in Programmable Software Data Planes.
ANCS
Dániel Horpácsi, Sándor Laki, Péter Vörös, Máté Tejfel, Gergely Pongrácz, László Molnár
2019 — —
Verification and Application of Program Transformations
Dániel Horpácsi
2018 C conf
T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors.
HPSR
Péter Vörös, Dániel Horpácsi, Róbert Kitlei, Dániel Leskó, Máté Tejfel, Sándor Laki
2017 — conf
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.
VPT@ETAPS
Dániel Horpácsi, Judit Köszegi, Zoltán Horváth
2016 A* conf
High speed packet forwarding compiled from protocol independent data plane specifications.
SIGCOMM
Sándor Laki, Dániel Horpácsi, Peter Vörös, Róbert Kitlei, Dániel Leskó, Máté Tejfel
2016 — conf
Towards Trustworthy Refactoring in Erlang.
VPT@ETAPS
Dániel Horpácsi, Judit Köszegi, Simon J. Thompson
2014 — conf
Discovering parallel pattern candidates in Erlang.
Erlang Workshop
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
2014 — conf
Refactorings to Enable Parallelization.
Trends in Functional Programming
István Bozó, Viktoria Fordós, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Köszegi, Melinda Tóth
2013 — conf
Extending Erlang by utilising RefactorErl.
Erlang Workshop
Dániel Horpácsi
2013 J jnl
Static analysis of function calls in Erlang.
e Informatica Softw. Eng. J.
Dániel Horpácsi, Judit Köszegi
2010 — conf
Quickchecking refactoring tools.
Erlang Workshop
Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson
2008 — conf
Refactoring module structure.
Erlang Workshop
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