TY - CHAP AU - Gyén, Attila AU - Kolozsvári, Dániel AU - Pataki, Norbert TI - Code Comprehension for the Move Semantics in C++ T2 - Software Quality Analysis, Monitoring, Improvement, and Applications 2023 PB - CEUR Workshop Proceedings (CEUR-WS.org) CY - Bratislava T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 3588. PY - 2023 SP - 1 EP - 12 PG - 12 UR - https://m2.mtmt.hu/api/publication/34440472 ID - 34440472 LA - English DB - MTMT ER - TY - CONF AU - Fülöp, Endre AU - Gyén, Attila AU - Pataki, Norbert TI - Visualization of Read-Copy-Update synchronization contexts in C code T2 - 12th International Conference on Applied Informatics (ICAI 2023) PB - Eszterházy Károly Katolikus Egyetem C1 - Eger PY - 2023 UR - https://m2.mtmt.hu/api/publication/34129966 ID - 34129966 LA - English DB - MTMT ER - TY - JOUR AU - Fülöp, Endre AU - Gyén, Attila AU - Pataki, Norbert TI - Visualization of Read-Copy-Update synchronization contexts in C code JF - ANNALES MATHEMATICAE ET INFORMATICAE J2 - ANN MATH INFORM VL - 58 PY - 2023 SP - 30 EP - 40 PG - 11 SN - 1787-5021 DO - 10.33039/ami.2023.08.003 UR - https://m2.mtmt.hu/api/publication/34091961 ID - 34091961 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Fülöp, Endre AU - Gyén, Attila AU - Pataki, Norbert TI - Monaco Support for an Improved Exception Specification in C++ JF - TRANSACTIONS ON INTERNET RESEARCH- IPSI BGD J2 - TRANS INTERNET RES VL - 19 PY - 2023 IS - 1 SP - 24 EP - 31 PG - 8 SN - 1820-4503 DO - 10.58245/ipsi.tir.2301.05 UR - https://m2.mtmt.hu/api/publication/33694652 ID - 33694652 LA - English DB - MTMT ER - TY - CHAP AU - Fülöp, Endre AU - Gyén, Attila AU - Pataki, Norbert ED - Steingartner, William ED - Korečko, Štefan ED - Szakál, Anikó TI - C++ Source Code Rejuvenation for an Improved Exception Specification T2 - 2022 IEEE 16th International Scientific Conference on Informatics - Proceedings PB - Institute of Electrical and Electronics Engineers (IEEE) CY - Poprad CY - Piscataway (NJ) CY - Red Hook (NY) SN - 9798350310351 PY - 2022 SP - 94 EP - 99 PG - 6 DO - 10.1109/Informatics57926.2022.10083493 UR - https://m2.mtmt.hu/api/publication/33267351 ID - 33267351 AB - 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. LA - English DB - MTMT ER - TY - CONF AU - Fülöp, Endre AU - Gyén, Attila AU - Pataki, Norbert TI - A Framework for C++ Exception Handling Assistance T2 - Proceedings of the Ninth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications PY - 2022 PG - 13 UR - https://m2.mtmt.hu/api/publication/33133568 ID - 33133568 LA - English DB - MTMT ER - TY - CHAP AU - Fülöp, Endre AU - Gyén, Attila AU - Pataki, Norbert ED - Kubicek, Petr ED - Bourennane, Salah TI - Code Comprehension for Read-Copy-Update Synchronization Contexts in C Code T2 - Geoinformatics and Data Analysis PB - Springer Netherlands CY - Cham SN - 9783031080166 T3 - ; 143. PY - 2022 SP - 187 EP - 200 PG - 14 DO - 10.1007/978-3-031-08017-3_17 UR - https://m2.mtmt.hu/api/publication/32869475 ID - 32869475 LA - English DB - MTMT ER - TY - CHAP AU - Gyén, Attila AU - Pataki, Norbert TI - Comprehension of Thread Scheduling for the C++ Programming Language T2 - 2021 International Conference on Data and Software Engineering (ICoDSE) PB - IEEE CY - Danvers (MA) SN - 9781665494533 PY - 2021 SP - 1 EP - 6 PG - 6 DO - 10.1109/ICoDSE53690.2021.9648489 UR - https://m2.mtmt.hu/api/publication/32549549 ID - 32549549 LA - English DB - MTMT ER - TY - CONF AU - Gyén, Attila AU - Pataki, Norbert TI - An Approach for Formalizing the Memory Consumption of C++ Standard Template Library Containers T2 - 8th International Conference on Mathematics and Informatics PY - 2021 SP - 25 EP - 25 PG - 1 UR - https://m2.mtmt.hu/api/publication/32189145 ID - 32189145 LA - English DB - MTMT ER - TY - CHAP AU - Gyén, Attila AU - Pataki, Norbert ED - Iványi, Péter TI - Comprehension of thread scheduling for the C++ programming language T2 - Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM PB - Pollack Press CY - Pécs SN - 9789634295785 PY - 2020 PG - 1 UR - https://m2.mtmt.hu/api/publication/31654997 ID - 31654997 LA - English DB - MTMT ER -