@inproceedings{MTMT:34440472, title = {Code Comprehension for the Move Semantics in C++}, url = {https://m2.mtmt.hu/api/publication/34440472}, author = {Gyén, Attila and Kolozsvári, Dániel and Pataki, Norbert}, booktitle = {Software Quality Analysis, Monitoring, Improvement, and Applications 2023}, unique-id = {34440472}, year = {2023}, pages = {1-12}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @CONFERENCE{MTMT:34129966, title = {Visualization of Read-Copy-Update synchronization contexts in C code}, url = {https://m2.mtmt.hu/api/publication/34129966}, author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert}, booktitle = {12th International Conference on Applied Informatics (ICAI 2023)}, unique-id = {34129966}, year = {2023}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @article{MTMT:34091961, title = {Visualization of Read-Copy-Update synchronization contexts in C code}, url = {https://m2.mtmt.hu/api/publication/34091961}, author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert}, doi = {10.33039/ami.2023.08.003}, journal-iso = {ANN MATH INFORM}, journal = {ANNALES MATHEMATICAE ET INFORMATICAE}, volume = {58}, unique-id = {34091961}, issn = {1787-5021}, abstract = {The Read-Copy-Update (RCU) mechanism is a way of synchronizing concurrent access to variables with the goal of prioritizing read performance over strict consistency guarantees. The main idea behind this mechanism is that RCU avoids the use of lock primitives while multiple threads try to read and update elements concurrently. In this case, elements are linked together through pointers in a shared data structure. RCU is used in the Linux kernel, but there are user-space libraries which implement the technique as well. One of the user-space solutions is liburcu that is a C language library. Earlier, we defined our code comprehension framework for easing the development of RCU solutions. In this paper, we present our visualization techniques for the Microsoft’s Monaco Editor.}, year = {2023}, eissn = {1787-6117}, pages = {30-40}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @article{MTMT:33694652, title = {Monaco Support for an Improved Exception Specification in C++}, url = {https://m2.mtmt.hu/api/publication/33694652}, author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert}, doi = {10.58245/ipsi.tir.2301.05}, journal-iso = {TRANS INTERNET RES}, journal = {TRANSACTIONS ON INTERNET RESEARCH- IPSI BGD}, volume = {19}, unique-id = {33694652}, issn = {1820-4503}, year = {2023}, eissn = {1820-4503}, pages = {24-31}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @inproceedings{MTMT:33267351, title = {C++ Source Code Rejuvenation for an Improved Exception Specification}, url = {https://m2.mtmt.hu/api/publication/33267351}, author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert}, booktitle = {2022 IEEE 16th International Scientific Conference on Informatics - Proceedings}, doi = {10.1109/Informatics57926.2022.10083493}, unique-id = {33267351}, abstract = {Exception handling is a beneficial language construct in modern programming languages. However, C++’s type system does not really conform to these elements. As a consequence, developers have to pay attention to avoid mistakes because of the missing compiler support. Moreover, C++11 provides an approach in which exceptions appear in the function’s signature in an inverse manner compared to the earlier standards. Static analysis is an approach in which we reason about a program based on the source with no execution of the analyzed code. It can be used for many purposes, for instance, finding bugs, refactoring the code or measure code complexity. In this paper, we analyze how the older style exception specifications can be rejuvenated for the modern idioms. Explicitly marking the functions as having a guaranteed exception-free execution is the primary way since C++11. We develop a static analyzer tool for providing hints for these specifications. We evaluate our method with the analysis of open sources projects.}, year = {2022}, pages = {94-99}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @CONFERENCE{MTMT:33133568, title = {A Framework for C++ Exception Handling Assistance}, url = {https://m2.mtmt.hu/api/publication/33133568}, author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert}, booktitle = {Proceedings of the Ninth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications}, unique-id = {33133568}, year = {2022}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @inproceedings{MTMT:32869475, title = {Code Comprehension for Read-Copy-Update Synchronization Contexts in C Code}, url = {https://m2.mtmt.hu/api/publication/32869475}, author = {Fülöp, Endre and Gyén, Attila and Pataki, Norbert}, booktitle = {Geoinformatics and Data Analysis}, doi = {10.1007/978-3-031-08017-3_17}, unique-id = {32869475}, year = {2022}, pages = {187-200}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @inproceedings{MTMT:32549549, title = {Comprehension of Thread Scheduling for the C++ Programming Language}, url = {https://m2.mtmt.hu/api/publication/32549549}, author = {Gyén, Attila and Pataki, Norbert}, booktitle = {2021 International Conference on Data and Software Engineering (ICoDSE)}, doi = {10.1109/ICoDSE53690.2021.9648489}, unique-id = {32549549}, year = {2021}, pages = {1-6}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @CONFERENCE{MTMT:32189145, title = {An Approach for Formalizing the Memory Consumption of C++ Standard Template Library Containers}, url = {https://m2.mtmt.hu/api/publication/32189145}, author = {Gyén, Attila and Pataki, Norbert}, booktitle = {8th International Conference on Mathematics and Informatics}, unique-id = {32189145}, year = {2021}, pages = {25-25}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} } @{MTMT:31654997, title = {Comprehension of thread scheduling for the C++ programming language}, url = {https://m2.mtmt.hu/api/publication/31654997}, author = {Gyén, Attila and Pataki, Norbert}, booktitle = {Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM}, unique-id = {31654997}, year = {2020}, orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367} }