Zoltán Porkoláb

According to our database, Zoltán Porkoláb authored at least 63 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Detecting lifetime errors of std::string_view objects in C++.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

CoRR, 2024

Implementing and Executing Static Analysis Using LLVM and CodeChecker.

Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb

CoRR, 2024

Static Code Analysis with CodeChecker.

Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb, Gergely Orbán, Dániel Krupp

CoRR, 2024

Scaling Symbolic Execution to Large Software Systems.

Gábor Horváth, Réka Kovács, Zoltán Porkoláb

CoRR, 2024

Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses.

Kristóf Umann, Gábor Horváth, Zoltán Porkoláb

Acta Cybern., 2024

Using Version Control Information to Visualize Developers' Knowledge.

Anett Fekete, Zoltán Porkoláb

Acta Cybern., 2024

2023

A Case Study on the Quality of Static Analysis Bug Reports.

Kristóf Umann, Zoltán Porkoláb

Proceedings of the Tenth Workshop on Software Quality Analysis, 2023

Automatic Dependency Tracking in Microservice-based Systems Using Static Analysis in Helm Charts.

Anett Fekete, Benedek Kovács, Zoltán Porkoláb

Proceedings of the International Conference on Software, 2023

2022

Flexible semi-automatic support for type migration of primitives for C/C++ programs.

Richárd Szalay, Zoltán Porkoláb

Proceedings of the IEEE International Conference on Software Analysis, 2022

Semi-Automatic Refactoring to C++20 Modules: A Semi-Success Story.

Richárd Szalay, Zoltán Porkoláb

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code.

Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021

Detecting Uninitialized Variables in C++ with the Clang Static Analyzer.

Kristóf Umann, Zoltán Porkoláb

Acta Cybern., October, 2021

Improved Loop Execution Modeling in the Clang Static Analyzer.

Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb

Acta Cybern., October, 2021

Type Inference of Simple Recursive Functions in Scala.

Gergely Nagy, Gábor Oláh, Zoltán Porkoláb

Acta Cybern., October, 2021

Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++.

Richárd Szalay, Ábel Sinkovics, Zoltán Porkoláb

J. Syst. Softw., 2021

Traquest Model: A Novel Model for ACID Concurrent Computations.

Dániel Balázs Rátai, Zoltán Horváth, Zoltán Porkoláb, Melinda Tóth

Acta Cybern., 2021

Unambiguity of Python Language Elements for Static Analysis.

Bence Nagy, Tibor Brunner, Zoltán Porkoláb

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Measuring Developers' Expertise Based on Version Control Data.

Anett Fekete, Máté Cserép, Zoltán Porkoláb

Proceedings of the 44th International Convention on Information, 2021

2020

The Role of Implicit Conversions in Erroneous Function Argument Swapping in C++.

Richárd Szalay, Ábel Sinkovics, Zoltán Porkoláb

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Fuzzing C++ class interfaces for generating and running tests with libFuzzer.

Zoltán Porkoláb

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Survey on Static Analysis Tools of Python Programs.

Hristina Gulabovska, Zoltán Porkoláb

Proceedings of the Eighth Workshop on Software Quality Analysis, 2019

Towards Better Tool Support for Code Comprehension.

Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb

Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

Detecting C++ Lifetime Errors with Symbolic Execution.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

Proceedings of the 9th Balkan Conference on Informatics, 2019

2018

Selective friends in C++.

Gábor Márton, Zoltán Porkoláb

Softw. Pract. Exp., 2018

Read-Copy-Update as a Possible Locking Strategy in Scala.

Gergely Nagy, Zoltán Porkoláb

Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

Utilize Syntax Tree Transformations as a C/C++ Test Seam.

Gábor Márton, Zoltán Porkoláb

Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

Codecompass: an open software comprehension framework for industrial usage.

Zoltán Porkoláb, Tibor Brunner, Dániel Krupp, Márton Csordás

Proceedings of the 26th Conference on Program Comprehension, 2018

The codecompass comprehension framework.

Zoltán Porkoláb, Tibor Brunner

Proceedings of the 26th Conference on Program Comprehension, 2018

2017

Unit Testing in C++ with Compiler Instrumentation and Friends.

Gábor Márton, Zoltán Porkoláb

Acta Cybern., 2017

Measuring Mangled Name Ambiguity in Large C / C++ Projects.

Richárd Szalay, Zoltán Porkoláb, Dániel Krupp

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Energy Consumption Measurement of C/C++ Programs Using Clang Tooling.

Mário Santos, João Saraiva, Zoltán Porkoláb, Dániel Krupp

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Two Dimensional Visualization of Software Metrics.

Tibor Brunner, Zoltán Porkoláb

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution.

Richárd Szalay, Zoltán Porkoláb, Dániel Krupp

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

Welltype: Language elements for multiparadigm programming.

Áron Baráth, Zoltán Porkoláb

Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2015

Automatic Checking of the Usage of the C++11 Move Semantics.

Áron Baráth, Zoltán Porkoláb

Acta Cybern., 2015

Compile-time Unit Testing.

Áron Baráth, Zoltán Porkoláb

Proceedings of the 4th Workshop on Software Quality Analysis, 2015

Immutables in C++: Language Foundation for Functional Programming.

Zoltán Porkoláb

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

Analyzing Scale-Free Properties in Erlang and Scala.

Gábor Oláh, Gergely Nagy, Zoltán Porkoláb

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

Life without implicit casts: safe type system in C++.

Áron Baráth, Zoltán Porkoláb

Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014

Attribute-based Checking of C++ Move Semantics.

Áron Baráth, Zoltán Porkoláb

Proceedings of the 3rd Workshop on Software Quality Analysis, 2014

2013

Implementing monads for C++ template metaprograms.

Ábel Sinkovics, Zoltán Porkoláb

Sci. Comput. Program., 2013

DSL in C++ Template Metaprogram.

Zoltán Porkoláb, Ábel Sinkovics, István Siroki

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012

Rule-based assignment of comments to AST nodes in C++ programs.

Tamás Cséri, Zalán Szügyi, Zoltán Porkoláb

Proceedings of the Balkan Conference in Informatics, 2012, 2012

2011

Type-preserving heap profiler for C++.

József Mihalicza, Zoltán Porkoláb, Abel Gabor

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Extension of Iterator Traits in the C++ Standard Template Library.

Norbert Pataki, Zoltán Porkoláb

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

Semantic User Interfaces.

Károly Tilly, Zoltán Porkoláb

Int. J. Enterp. Inf. Syst., 2010

Visualization of C++ Template Metaprograms.

Zoltan Borok-Nagy, Viktor Majer, József Mihalicza, Norbert Pataki, Zoltán Porkoláb

Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

Domain-specific language integration with compile-time parser generator library.

Zoltán Porkoláb, Ábel Sinkovics

Proceedings of the Generative Programming And Component Engineering, 2010

2009

C++ Metastring Library and Its Applications.

Zalán Szügyi, Ábel Sinkovics, Norbert Pataki, Zoltán Porkoláb

Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Functional Programming with C++ Template Metaprograms.

Zoltán Porkoláb

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Towards the Modularization of C++ Concept Maps.

Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb

Proceedings of the First Workshop on Generative Technologies, 2008

Preface.

Zoltán Porkoláb, Norbert Pataki

Proceedings of the First Workshop on Generative Technologies, 2008

A New Concept of Effective Regression Test Generation in a C++ Specific Environment.

Mihály Biczó, Krisztián Pócza, István Forgács, Zoltán Porkoláb

Acta Cybern., 2008

Quantitative Approaches in Object-Oriented Software Engineering.

Giovanni Falcone, Yann-Gaël Guéhéneuc, Christian F. J. Lange, Zoltán Porkoláb, Houari A. Sahraoui

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions.

Péter Bauer, Zsolt Hernáth, Zoltán Horváth, Gyula Mayer, Zsolt Parragi, Zoltán Porkoláb, Zsolt Sztupák

Proceedings of the Advances in Databases and Information Systems, 2008

2007

A Method for Calculating Acknowledged Project Effort Using a Quality Index.

Marjan Hericko, Ales Zivkovic, Zoltán Porkoláb

Informatica (Slovenia), 2007

Implementation of a Finite State Machine with Active Libraries in C++.

Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006

Debugging C++ template metaprograms.

Zoltán Porkoláb, József Mihalicza, Ádám Sipos

Proceedings of the Generative Programming and Component Engineering, 2006

LORD: Lay-Out Relationship and Domain Definition Language.

András A. Benczúr, Zsolt Hernáth, Zoltán Porkoláb

Proceedings of the ADBIS 2006, 2006

2005

A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming.

Zoltán Porkoláb, István Zólyomi

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Autonomous Applications - Towards a Better Data Integration Model.

András A. Benczúr, Zsolt Hernáth, Zoltán Porkoláb

Proceedings of the ADBIS 2005, 2005

2004

Towards a General Template Introspection Library.

István Zólyomi, Zoltán Porkoláb

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming.

István Zólyomi, Zoltán Porkoláb, Tamás Kozsik

Proceedings of the Generative Programming and Component Engineering, 2003