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 - JOUR AU - Fülöp, Endre AU - Pataki, Norbert TI - A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution JF - OPEN COMPUTER SCIENCE J2 - OPEN COMPUTER SCIENCE VL - 11 PY - 2020 IS - 1 SP - 107 EP - 115 PG - 9 SN - 2299-1093 DO - 10.1515/comp-2020-0120 UR - https://m2.mtmt.hu/api/publication/31787944 ID - 31787944 N1 - 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP Innovatív Informatikai és Infokommunikációs Megoldásokat Megalapozó Tematikus Kutatási Együttműködések LA - English DB - MTMT ER - TY - CONF AU - Fülöp, Endre AU - Pataki, Norbert AU - Rotter, Csaba ED - Horváth, Zoltán ED - Adrian, Petruşel TI - Modeling Resource Allocations in Cloud Deployment with P Colonies T2 - Collection of Abstracts PB - Babes-Bolyai Tudományegyetem C1 - Budapest PY - 2020 SP - 70 EP - 71 PG - 2 UR - https://m2.mtmt.hu/api/publication/31660490 ID - 31660490 LA - English DB - MTMT ER - TY - CONF AU - Fülöp, Endre AU - Pataki, Norbert ED - Horváth, Zoltán ED - Adrian, Petruşel TI - A Pragmatic Static Analysis Method with An Applied Model of Formalized Concurrency T2 - Collection of Abstracts PB - Babes-Bolyai Tudományegyetem C1 - Budapest PY - 2020 SP - 69 EP - 69 PG - 1 UR - https://m2.mtmt.hu/api/publication/31660484 ID - 31660484 LA - English DB - MTMT ER - TY - CONF AU - Fülöp, Endre AU - Pataki, Norbert ED - Kovásznai, Gergely ED - Fazekas, István ED - Tómács, Tibor TI - Comprehensive Evaluation of Cross Translation Unit Symbolic Execution T2 - Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) PB - CEUR Workshop Proceedings C1 - Eger T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 2650. PY - 2020 SP - 105 EP - 113 PG - 9 UR - https://m2.mtmt.hu/api/publication/31398288 ID - 31398288 N1 - 3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP Innovatív Informatikai és Infokommunikációs Megoldásokat Megalapozó Tematikus Kutatási Együttműködések Scopus:hiba:85090854925 2022-10-12 11:37 típus nem egyezik LA - English DB - MTMT ER -