Zoltán Porkoláb

74 papers A 4B 5C 7Misc 1Journal 20Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Multithreading Atomicity: Static Analysis Checkers. Acta Cybern. Patrik P. Süli, Judit Knoll, Zoltán Porkoláb
2025	A	`conf`	Overlord: A C++ Overloading Inspector. ICPC Botond István Horváth, Richárd Szalay, Zoltán Porkoláb
2025	J	`jnl`	Refactoring to Standard C++20 Modules. J. Softw. Evol. Process. Richárd Szalay, Zoltán Porkoláb
2025	—	`conf`	Towards Better Static Analysis Bug Reports in the Clang Static Analyzer. SEIP@ICSE Kristóf Umann, Zoltán Porkoláb
2024	J	`jnl`	Detecting lifetime errors of std::string_view objects in C++. CoRR Réka Kovács, Gábor Horváth, Zoltán Porkoláb
2024	J	`jnl`	Implementing and Executing Static Analysis Using LLVM and CodeChecker. CoRR Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb
2024	J	`jnl`	Scaling Symbolic Execution to Large Software Systems. CoRR Gábor Horváth, Réka Kovács, Zoltán Porkoláb
2024	J	`jnl`	Static Code Analysis with CodeChecker. CoRR Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb, Gergely Orbán, Dániel Krupp
2024	J	`jnl`	Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses. Acta Cybern. Kristóf Umann, Gábor Horváth, Zoltán Porkoláb
2024	J	`jnl`	Using Version Control Information to Visualize Developers' Knowledge. Acta Cybern. Anett Fekete, Zoltán Porkoláb
2023	—	`conf`	A Case Study on the Quality of Static Analysis Bug Reports. SQAMIA Kristóf Umann, Zoltán Porkoláb
2023	Misc	`conf`	Automatic Dependency Tracking in Microservice-based Systems Using Static Analysis in Helm Charts. SoftCOM Anett Fekete, Benedek Kovács, Zoltán Porkoláb
2023	—	`ed.`	Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers CEFP Zoltán Porkoláb, Viktória Zsók
2022	B	`conf`	An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. SEAA Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh
2022	A	`conf`	Flexible semi-automatic support for type migration of primitives for C/C++ programs. SANER Richárd Szalay, Zoltán Porkoláb
2022	C	`conf`	Semi-Automatic Refactoring to C++20 Modules: A Semi-Success Story. SCAM Richárd Szalay, Zoltán Porkoláb
2021	J	`jnl`	Detecting Uninitialized Variables in C++ with the Clang Static Analyzer. Acta Cybern. Kristóf Umann, Zoltán Porkoláb
2021	J	`jnl`	Improved Loop Execution Modeling in the Clang Static Analyzer. Acta Cybern. Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb
2021	—	`conf`	Measuring Developers' Expertise Based on Version Control Data. MIPRO Anett Fekete, Máté Cserép, Zoltán Porkoláb
2021	J	`jnl`	Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++. J. Syst. Softw. Richárd Szalay, Ábel Sinkovics, Zoltán Porkoláb
2021	J	`jnl`	Traquest Model: A Novel Model for ACID Concurrent Computations. Acta Cybern. Dániel Balázs Rátai, Zoltán Horváth, Zoltán Porkoláb, Melinda Tóth
2021	J	`jnl`	Type Inference of Simple Recursive Functions in Scala. Acta Cybern. Gergely Nagy, Gábor Oláh, Zoltán Porkoláb
2021	C	`conf`	Unambiguity of Python Language Elements for Static Analysis. SCAM Bence Nagy, Tibor Brunner, Zoltán Porkoláb
2020	—	`conf`	Fuzzing C++ class interfaces for generating and running tests with libFuzzer. ISSRE Workshops Zoltán Porkoláb
2020	C	`conf`	The Role of Implicit Conversions in Erroneous Function Argument Swapping in C++. SCAM Richárd Szalay, Ábel Sinkovics, Zoltán Porkoláb
2019	—	`ed.`	Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers CEFP Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth
2019	—	`conf`	Detecting C++ Lifetime Errors with Symbolic Execution. BCI Réka Kovács, Gábor Horváth, Zoltán Porkoláb
2019	—	`conf`	Survey on Static Analysis Tools of Python Programs. SQAMIA Hristina Gulabovska, Zoltán Porkoláb
2019	—	`conf`	Towards Better Tool Support for Code Comprehension. CEFP Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb
2018	A	`conf`	Codecompass: an open software comprehension framework for industrial usage. ICPC Zoltán Porkoláb, Tibor Brunner, Dániel Krupp, Márton Csordás
2018	—	`conf`	Read-Copy-Update as a Possible Locking Strategy in Scala. SQAMIA Gergely Nagy, Zoltán Porkoláb
2018	J	`jnl`	Selective friends in C++. Softw. Pract. Exp. Gábor Márton, Zoltán Porkoláb
2018	A	`conf`	The codecompass comprehension framework. ICPC Zoltán Porkoláb, Tibor Brunner
2018	—	`conf`	Utilize Syntax Tree Transformations as a C/C++ Test Seam. SQAMIA Gábor Márton, Zoltán Porkoláb
2017	—	`conf`	Energy Consumption Measurement of C/C++ Programs Using Clang Tooling. SQAMIA Mário Santos, João Saraiva, Zoltán Porkoláb, Dániel Krupp
2017	—	`conf`	Measuring Mangled Name Ambiguity in Large C / C++ Projects. SQAMIA Richárd Szalay, Zoltán Porkoláb, Dániel Krupp
2017	C	`conf`	Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution. SCAM Richárd Szalay, Zoltán Porkoláb, Dániel Krupp
2017	—	`conf`	Two Dimensional Visualization of Software Metrics. SQAMIA Tibor Brunner, Zoltán Porkoláb
2017	J	`jnl`	Unit Testing in C++ with Compiler Instrumentation and Friends. Acta Cybern. Gábor Márton, Zoltán Porkoláb
2017	—	`conf`	Welltype: Language elements for multiparadigm programming. FedCSIS (Position Papers) Áron Baráth, Zoltán Porkoláb
2015	—	`conf`	Analyzing Scale-Free Properties in Erlang and Scala. CEFP Gábor Oláh, Gergely Nagy, Zoltán Porkoláb
2015	J	`jnl`	Automatic Checking of the Usage of the C++11 Move Semantics. Acta Cybern. Áron Baráth, Zoltán Porkoláb
2015	—	`conf`	Compile-time Unit Testing. SQAMIA Áron Baráth, Zoltán Porkoláb
2015	—	`conf`	Immutables in C++: Language Foundation for Functional Programming. CEFP Zoltán Porkoláb
2015	—	`conf`	Life without implicit casts: safe type system in C++. BCI Áron Baráth, Zoltán Porkoláb
2014	—	`conf`	Attribute-based Checking of C++ Move Semantics. SQAMIA Áron Baráth, Zoltán Porkoláb
2013	—	`conf`	DSL in C++ Template Metaprogram. CEFP Zoltán Porkoláb, Ábel Sinkovics, István Siroki
2013	J	`jnl`	Implementing monads for C++ template metaprograms. Sci. Comput. Program. Ábel Sinkovics, Zoltán Porkoláb
2012	—	`conf`	Rule-based assignment of comments to AST nodes in C++ programs. BCI Tamás Cséri, Zalán Szügyi, Zoltán Porkoláb
2011	C	`conf`	Extension of Iterator Traits in the C++ Standard Template Library. FedCSIS Norbert Pataki, Zoltán Porkoláb
2011	—	`conf`	Preface. WGT Zoltán Porkoláb, Norbert Pataki
2011	—	`ed.`	Proceedings of the Second Workshop on Generative Technologies, WGT@ETAPS 2010, Paphos, Cyprus, March 27, 2010 WGT Zoltán Porkoláb, Norbert Pataki
2011	—	`ed.`	Proceedings of the Third Workshop on Generative Technologies, WGT@ETAPS 2011, Saarbrücken, Germany, March 27, 2011 WGT Zoltán Porkoláb, Norbert Pataki
2011	—	`conf`	Type-preserving heap profiler for C++. ICSM József Mihalicza, Zoltán Porkoláb, Abel Gabor
2010	B	`conf`	Domain-specific language integration with compile-time parser generator library. GPCE Zoltán Porkoláb, Ábel Sinkovics
2010	—	`conf`	Preface. WGT Zoltán Porkoláb, Norbert Pataki
2010	J	`jnl`	Semantic User Interfaces. Int. J. Enterp. Inf. Syst. Károly Tilly, Zoltán Porkoláb
2010	C	`conf`	Visualization of C++ Template Metaprograms. SCAM Zoltan Borok-Nagy, Viktor Majer, József Mihalicza, Norbert Pataki, Zoltán Porkoláb
2009	—	`conf`	C++ Metastring Library and Its Applications. GTTSE Zalán Szügyi, Ábel Sinkovics, Norbert Pataki, Zoltán Porkoláb
2009	—	`conf`	Functional Programming with C++ Template Metaprograms. CEFP Zoltán Porkoláb
2009	—	`ed.`	Proceedings of the First Workshop on Generative Technologies, WGT@ETAPS 2008, Budapest, Hungary, April 5, 2008 WGT Zoltán Porkoláb, Norbert Pataki
2008	J	`jnl`	A New Concept of Effective Regression Test Generation in a C++ Specific Environment. Acta Cybern. Mihály Biczó, Krisztián Pócza, István Forgács, Zoltán Porkoláb
2008	C	`conf`	HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions. ADBIS Péter Bauer, Zsolt Hernáth, Zoltán Horváth, Gyula Mayer, Zsolt Parragi, Zoltán Porkoláb, Zsolt Sztupák
2008	—	`conf`	Preface. WGT Zoltán Porkoláb, Norbert Pataki
2008	—	`conf`	Quantitative Approaches in Object-Oriented Software Engineering. ECOOP Workshops Giovanni Falcone, Yann-Gaël Guéhéneuc, Christian F. J. Lange, Zoltán Porkoláb, Houari A. Sahraoui
2008	—	`conf`	Towards the Modularization of C++ Concept Maps. WGT Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb
2007	J	`jnl`	A Method for Calculating Acknowledged Project Effort Using a Quality Index. Informatica (Slovenia) Marjan Hericko, Ales Zivkovic, Zoltán Porkoláb
2007	—	`conf`	Implementation of a Finite State Machine with Active Libraries in C++. GTTSE Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb
2006	B	`conf`	Debugging C++ template metaprograms. GPCE Zoltán Porkoláb, József Mihalicza, Ádám Sipos
2006	—	`conf`	LORD: Lay-Out Relationship and Domain Definition Language. ADBIS Research Communications András A. Benczúr, Zsolt Hernáth, Zoltán Porkoláb
2005	—	`conf`	A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming. GTTSE Zoltán Porkoláb, István Zólyomi
2005	—	`conf`	Autonomous Applications - Towards a Better Data Integration Model. ADBIS Research Communications András A. Benczúr, Zsolt Hernáth, Zoltán Porkoláb
2004	B	`conf`	Towards a General Template Introspection Library. GPCE István Zólyomi, Zoltán Porkoláb
2003	B	`conf`	An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. GPCE István Zólyomi, Zoltán Porkoláb, Tamás Kozsik