@inproceedings{MTMT:30746433,
	title = {Static analysis of functors’ mathematical properties in C++ source code},
	url = {https://m2.mtmt.hu/api/publication/30746433},
	author = {Babati, Bence and Pataki, Norbert},
	booktitle = {Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)},
	doi = {10.1063/1.5114355},
	unique-id = {30746433},
	year = {2019},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:30796615,
	title = {On the Validated Usage of the C++ Standard Template Library},
	url = {https://m2.mtmt.hu/api/publication/30796615},
	author = {Babati, Bence and Horváth, Gábor and Pataki, Norbert and Attila, Páter-Részeg},
	booktitle = {Proceedings of the 9th Balkan Conference on Informatics - BCI'19},
	doi = {10.1145/3351556.3351570},
	unique-id = {30796615},
	year = {2019},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:27079068,
	title = {Transparent functors for the C++ Standard Template Library},
	url = {https://m2.mtmt.hu/api/publication/27079068},
	author = {Horváth, Gábor and Pataki, Norbert},
	journal-iso = {CEUR WORKSHOP PROC},
	journal = {CEUR WORKSHOP PROCEEDINGS},
	volume = {2046},
	unique-id = {27079068},
	year = {2018},
	eissn = {1613-0073},
	pages = {96-101},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:3272050,
	title = {Analysis of Include Dependencies in C++ Source Code},
	url = {https://m2.mtmt.hu/api/publication/3272050},
	author = {Babati, Bence and Pataki, Norbert},
	doi = {10.15439/2017F358},
	journal-iso = {ACSIS ANNALS COMP SCI INFORMATION SYST},
	journal = {ACSIS-ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS},
	volume = {13},
	unique-id = {3272050},
	issn = {2300-5963},
	year = {2017},
	pages = {149-156},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:3170466,
	title = {Source language representation of function summaries in static analysis},
	url = {https://m2.mtmt.hu/api/publication/3170466},
	author = {Horváth, Gábor and Pataki, Norbert},
	booktitle = {Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems},
	doi = {10.1145/3012408.3012414},
	unique-id = {3170466},
	year = {2016},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:2906009,
	title = {Clang matchers for verified usage of the C++ Standard Template Library},
	url = {https://m2.mtmt.hu/api/publication/2906009},
	author = {Horváth, Gábor and Pataki, Norbert},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {44},
	unique-id = {2906009},
	issn = {1787-5021},
	keywords = {Static analysis; generic programming; C++ STL; ast; Code validation; Clang},
	year = {2015},
	eissn = {1787-6117},
	pages = {99-109},
	orcid-numbers = {Horváth, Gábor/0000-0002-0834-0996; Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:2362920,
	title = {Task-specific style verification},
	url = {https://m2.mtmt.hu/api/publication/2362920},
	author = {Pataki, Norbert and Cséri, Tamás and Szűgyi, Zalán},
	doi = {10.1063/1.4756173},
	journal-iso = {AIP CONF PROC},
	journal = {AIP CONFERENCE PROCEEDINGS},
	volume = {1479},
	unique-id = {2362920},
	issn = {0094-243X},
	keywords = {Program Verification; program compilers},
	year = {2012},
	eissn = {1551-7616},
	pages = {490-493},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@article{MTMT:1994014,
	title = {Advanced Functor Framework for C++ Standard Template Library},
	url = {https://m2.mtmt.hu/api/publication/1994014},
	author = {Pataki, Norbert},
	journal-iso = {STUD UNIV BABES-BOLYAI SER INFO},
	journal = {STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA},
	volume = {56},
	unique-id = {1994014},
	issn = {1224-869X},
	year = {2011},
	eissn = {2065-9601},
	pages = {99-113},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:1993993,
	title = {C++ Standard Template Library by Safe Functors},
	url = {https://m2.mtmt.hu/api/publication/1993993},
	author = {Pataki, Norbert},
	booktitle = {MaCS 2010},
	unique-id = {1993993},
	year = {2011},
	pages = {363-374},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}

@inproceedings{MTMT:1995782,
	title = {Extension of iterator traits in the C++ standard template library. 2011 Federated Conference on Computer Science and Information Systems, FedCSIS 2011},
	url = {https://m2.mtmt.hu/api/publication/1995782},
	author = {Pataki, Norbert and Porkoláb, Zoltán},
	booktitle = {2011 Federated Conference on Computer Science and Information Systems, FedCSIS 2011},
	unique-id = {1995782},
	abstract = {The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize classical C/C++ error, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. In this paper we present typical scenarios, that can cause runtime problems. We emit warnings while these constructs are used without any modification in the compiler. We argue for an extension of the STL's iterator traits in order to emit these warnings. We also present a general approach to emit "customized" warnings. We support the so-called believe-me marks to disable warnings. © 2011 Polish Info Processing Soc.},
	keywords = {Computer science; Information Systems; Computer systems programming; Runtimes; Iterators; General approach; Standard template library; generic programming; Bug-free},
	year = {2011},
	pages = {911-914},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367; Porkoláb, Zoltán/0000-0001-6819-0224}
}

@article{MTMT:1996312,
	title = {Measuring the overhead of C++ standard template library safe variants},
	url = {https://m2.mtmt.hu/api/publication/1996312},
	author = {Pataki, Norbert and Szűgyi, Zalán and Dévai, Gergely},
	doi = {10.1016/j.entcs.2011.06.005},
	journal-iso = {ELECTR NOTES COMPUT SCI},
	journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
	volume = {264},
	unique-id = {1996312},
	issn = {1571-0661},
	abstract = {The C++ Standard Template Library is a widely-used library that is based on the generic programming paradigm. The usage of this library does not warrant bug-free programs. Furthermore, many new errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. Most of the STL algorithms have preconditions which are checked neither at compilation time nor at runtime. Violation of such a precondition results in undefined behaviour. In this paper we propose solutions for a subset of these problems. The techniques we describe help programmers use generic algorithms on sorted intervals in a safer way. We present a new iterator adaptor type and tag as well as safe containers which keep track their iterators validness. We measure the runtime overhead of these extensions. © 2011 Elsevier B.V. All rights reserved.},
	keywords = {Algorithms; Behavioral research; COMPUTER PROGRAMMING; Runtimes; container; Iterators; Standard template library; generic programming; Bug-free; Runtime overheads; Generic algorithm; iterator adaptor; C++ STL},
	year = {2011},
	pages = {71-83},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367}
}