Judit Köszegi

According to our database, Judit Köszegi authored at least 7 papers between 2013 and 2021.

Collaborative distances:

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

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

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

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

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