@article{MTMT:3091360,
	title = {Towards Trustworthy Refactoring in Erlang},
	url = {https://m2.mtmt.hu/api/publication/3091360},
	author = {Horpácsi, Dániel and Horpácsiné Kőszegi, Judit and Thompson, Simon},
	doi = {10.4204/EPTCS.216.5},
	journal-iso = {ELECTRON PROC THEOR COMPUT SCI},
	journal = {ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
	volume = {216},
	unique-id = {3091360},
	year = {2016},
	eissn = {2075-2180},
	pages = {83-103},
	orcid-numbers = {Horpácsi, Dániel/0000-0003-0261-0091; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176; Thompson, Simon/0000-0002-2350-301X}
}

@article{MTMT:3146204,
	title = {Static Analysis for Divide-and-Conquer Pattern Discovery},
	url = {https://m2.mtmt.hu/api/publication/3146204},
	author = {Kozsik, Tamás and Tóth, Melinda and Bozó, István and Horváth, Zoltán},
	journal-iso = {COMPUT INFORM},
	journal = {COMPUTING AND INFORMATICS},
	volume = {35},
	unique-id = {3146204},
	issn = {1335-9150},
	keywords = {Parallel patterns; Divide-and-conquer algorithm},
	year = {2016},
	eissn = {2585-8807},
	pages = {764-791},
	orcid-numbers = {Kozsik, Tamás/0000-0003-4484-9172; Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688; Horváth, Zoltán/0000-0001-9213-2681}
}

@article{MTMT:2799192,
	title = {Refactorings to Enable Parallelization},
	url = {https://m2.mtmt.hu/api/publication/2799192},
	isbn = {9783319146744},
	author = {Bozó, István and Fördős, Viktória and Horpácsi, Dániel and Horváth, Zoltán and Kozsik, Tamás and Horpácsiné Kőszegi, Judit and Tóth, Melinda},
	doi = {10.1007/978-3-319-14675-1_7},
	journal-iso = {LECT NOTES COMPUT SC},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {8843},
	unique-id = {2799192},
	issn = {0302-9743},
	abstract = {We propose program analyses to identify parallelizable code fragments, and program transformations to change those fragments into applications of high-level parallel patterns. The methodology has been worked out, and is presented here, in the context of the Erlang programming language, but the approach is applicable in other languages as well.},
	keywords = {program analysis; Computational linguistics; Program transformations; Functional programming; Refactorings; Parallelizations; Application programs; Parallel patterns; Erlang programming language; Code fragments},
	year = {2015},
	eissn = {1611-3349},
	pages = {104-121},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Fördős, Viktória/0000-0001-6403-9797; Horpácsi, Dániel/0000-0003-0261-0091; Horváth, Zoltán/0000-0001-9213-2681; Kozsik, Tamás/0000-0003-4484-9172; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176; Tóth, Melinda/0000-0001-6300-7945}
}

@inproceedings{MTMT:2732787,
	title = {Discovering parallel pattern candidates in Erlang},
	url = {https://m2.mtmt.hu/api/publication/2732787},
	author = {Bozó, István and Fördős, Viktória and Horváth, Zoltán and Tóth, Melinda and Horpácsi, Dániel and Kozsik, Tamás and Horpácsiné Kőszegi, Judit and Adam, Barwell and Christopher, Brown and Kevin, Hammond},
	booktitle = {Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang},
	doi = {10.1145/2633448.2633453},
	unique-id = {2732787},
	abstract = {The ParaPhrase Refactoring Tool for Erlang (PaRTE) provides automatic, comprehensive and reliable pattern candidate discovery to locate parallelisable components in Erlang programs. It uses semi-automatic and semantics-preserving program transformations to reshape source code and to introduce high level parallel patterns that can be mapped adaptively to the available hardware resources. This paper describes the main PaRTE tools and demonstrates that significant parallel speedups can be obtained.},
	keywords = {PATTERNS; SKELETONS; Refactoring; Erlang; Concurrency; Parallelism},
	year = {2014},
	pages = {13-23},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Fördős, Viktória/0000-0001-6403-9797; Horváth, Zoltán/0000-0001-9213-2681; Tóth, Melinda/0000-0001-6300-7945; Horpácsi, Dániel/0000-0003-0261-0091; Kozsik, Tamás/0000-0003-4484-9172; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176}
}

@inproceedings{MTMT:1985696,
	title = {RefactorErl - Source Code Analysis and Refactoring in Erlang},
	url = {https://m2.mtmt.hu/api/publication/1985696},
	author = {Bozó, István and Horpácsi, Dániel and Horváth, Zoltán and Kitlei, Róbert and Horpácsiné Kőszegi, Judit and Tejfel, Máté and Tóth, Melinda},
	booktitle = {12th Symposium on Programming Languages and Software Tools, SPLST 2011},
	unique-id = {1985696},
	year = {2011},
	pages = {138-148},
	orcid-numbers = {Bozó, István/0000-0001-5145-9688; Horpácsi, Dániel/0000-0003-0261-0091; Horváth, Zoltán/0000-0001-9213-2681; Kitlei, Róbert/0000-0001-8534-8177; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176; Tejfel, Máté/0000-0001-8982-1398; Tóth, Melinda/0000-0001-6300-7945}
}

@article{MTMT:2073824,
	title = {Use Cases for Refactoring in Erlang},
	url = {https://m2.mtmt.hu/api/publication/2073824},
	author = {Kozsik, Tamás and Csörnyei, Zoltán and Horváth, Zoltán and Király, Roland and Kitlei, Róbert and Lövei, László and Nagy, T. and Tóth, Melinda and Vig, A.},
	doi = {10.1007/978-3-540-88059-2_7},
	journal-iso = {LECT NOTES COMPUT SC},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {5161},
	unique-id = {2073824},
	issn = {0302-9743},
	abstract = {Tool support for refactoring provides guarantees for the preservation of the program semantics during program transformation. This paper explains how RefactorErl, a refactoring tool for the Erlang language helps the programmer raise the quality of Erlang code or make the code suitable for further changes and improvements. Many examples illustrate the seven transformations currently implemented in RefactorErl. The paper also discusses the problems the refactor tool has to face.},
	keywords = {Tool support; Refactoring tools; Program transformations; Program semantics; Functional programming; Refactorings},
	year = {2008},
	eissn = {1611-3349},
	pages = {250-285},
	orcid-numbers = {Kozsik, Tamás/0000-0003-4484-9172; Horváth, Zoltán/0000-0001-9213-2681; Kitlei, Róbert/0000-0001-8534-8177; Tóth, Melinda/0000-0001-6300-7945}
}