Zoltán Porkoláb

Orcid: 0000-0001-6819-0224

According to our database1, Zoltán Porkoláb authored at least 57 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Case Study on the Quality of Static Analysis Bug Reports.
Proceedings of the Tenth Workshop on Software Quality Analysis, 2023

Automatic Dependency Tracking in Microservice-based Systems Using Static Analysis in Helm Charts.
Proceedings of the International Conference on Software, 2023

2022
Flexible semi-automatic support for type migration of primitives for C/C++ programs.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Semi-Automatic Refactoring to C++20 Modules: A Semi-Success Story.
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.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer.
Acta Cybern., October, 2021

Improved Loop Execution Modeling in the Clang Static Analyzer.
Acta Cybern., October, 2021

Type Inference of Simple Recursive Functions in Scala.
Acta Cybern., October, 2021

Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++.
J. Syst. Softw., 2021

Traquest Model: A Novel Model for ACID Concurrent Computations.
Acta Cybern., 2021

Unambiguity of Python Language Elements for Static Analysis.
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Measuring Developers' Expertise Based on Version Control Data.
Proceedings of the 44th International Convention on Information, 2021

2020
The Role of Implicit Conversions in Erroneous Function Argument Swapping in C++.
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.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019
Survey on Static Analysis Tools of Python Programs.
Proceedings of the Eighth Workshop on Software Quality Analysis, 2019

Towards Better Tool Support for Code Comprehension.
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

Detecting C++ Lifetime Errors with Symbolic Execution.
Proceedings of the 9th Balkan Conference on Informatics, 2019

2018
Selective friends in C++.
Softw. Pract. Exp., 2018

Read-Copy-Update as a Possible Locking Strategy in Scala.
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

Utilize Syntax Tree Transformations as a C/C++ Test Seam.
Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

Codecompass: an open software comprehension framework for industrial usage.
Proceedings of the 26th Conference on Program Comprehension, 2018

The codecompass comprehension framework.
Proceedings of the 26th Conference on Program Comprehension, 2018

2017
Unit Testing in C++ with Compiler Instrumentation and Friends.
Acta Cybern., 2017

Measuring Mangled Name Ambiguity in Large C / C++ Projects.
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Energy Consumption Measurement of C/C++ Programs Using Clang Tooling.
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Two Dimensional Visualization of Software Metrics.
Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution.
Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

Welltype: Language elements for multiparadigm programming.
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.
Acta Cybern., 2015

Compile-time Unit Testing.
Proceedings of the 4th Workshop on Software Quality Analysis, 2015

Immutables in C++: Language Foundation for Functional Programming.
Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

Analyzing Scale-Free Properties in Erlang and Scala.
Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

Life without implicit casts: safe type system in C++.
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014
Attribute-based Checking of C++ Move Semantics.
Proceedings of the 3rd Workshop on Software Quality Analysis, 2014

2013
Implementing monads for C++ template metaprograms.
Sci. Comput. Program., 2013

DSL in C++ Template Metaprogram.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012
Rule-based assignment of comments to AST nodes in C++ programs.
Proceedings of the Balkan Conference in Informatics, 2012, 2012

2011
Type-preserving heap profiler for C++.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Extension of Iterator Traits in the C++ Standard Template Library.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010
Semantic User Interfaces.
Int. J. Enterp. Inf. Syst., 2010

Preface.
Proceedings of the Second Workshop on Generative Technologies, 2010

Visualization of C++ Template Metaprograms.
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.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
C++ Metastring Library and Its Applications.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Functional Programming with C++ Template Metaprograms.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008
Towards the Modularization of C++ Concept Maps.
Proceedings of the First Workshop on Generative Technologies, 2008

A New Concept of Effective Regression Test Generation in a C++ Specific Environment.
Acta Cybern., 2008

Quantitative Approaches in Object-Oriented Software Engineering.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions.
Proceedings of the Advances in Databases and Information Systems, 2008

2007
A Method for Calculating Acknowledged Project Effort Using a Quality Index.
Informatica (Slovenia), 2007

Implementation of a Finite State Machine with Active Libraries in C++.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006
Debugging C++ template metaprograms.
Proceedings of the Generative Programming and Component Engineering, 2006

LORD: Lay-Out Relationship and Domain Definition Language.
Proceedings of the ADBIS 2006, 2006

2005
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Autonomous Applications - Towards a Better Data Integration Model.
Proceedings of the ADBIS 2005, 2005

2004
Towards a General Template Introspection Library.
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.
Proceedings of the Generative Programming and Component Engineering, 2003


  Loading...