Dániel Horpácsi

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 24

Top Topics

Formal Semantics

Intelligent Assistant

Recursive Functions

Top Venues

Erlang Workshop

Publications

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