Judit Köszegi

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 4

Top Topics

Computationally Intensive

Parallel Hardware

Static Analysis

Formal Semantics

Top Venues

Trends in Functional Programming

Publications

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, Judit Köszegi, Soma Szeier, Simon Thompson
Validating Formal Semantics by Property-Based Cross-Testing. IFL (2020)
Dániel Horpácsi, Judit Köszegi, Zoltán Horváth
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study. VPT@ETAPS (2017)
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, Judit Köszegi
Static analysis of function calls in Erlang. e Informatica Softw. Eng. J. 7 (1) (2013)