Kamil Jezek

According to our database, Kamil Jezek authored at least 34 papers between 2010 and 2021.

Collaborative distances:

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

2021

Ethereum Data Structures.

Kamil Jezek

CoRR, 2021

An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts.

Yeonsoo Kim, Seongho Jeong, Kamil Jezek, Bernd Burgstaller, Bernhard Scholz

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

2020

Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool.

Premek Brada, Richard Lipka, Lukas Holy, Kamil Jezek

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2017

API Evolution and Compatibility: A Data Corpus and Tool Evaluation.

Kamil Jezek, Jens Dietrich

J. Object Technol., 2017

Contracts in the Wild: A Study of Java Programs (Artifact).

Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada

Dagstuhl Artifacts Ser., 2017

Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact).

Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin

Dagstuhl Artifacts Ser., 2017

Antipatterns causing memory bloat: A case study.

Kamil Jezek, Richard Lipka

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Contracts in the Wild: A Study of Java Programs.

Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Evil Pickles: DoS Attacks Based on Object-Graph Engineering.

Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

What Java developers know about compatibility, and why this matters.

Jens Dietrich, Kamil Jezek, Premek Brada

Empir. Softw. Eng., 2016

Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact).

Kamil Jezek, Jens Dietrich

Dagstuhl Artifacts Ser., 2016

Preventing Composition Problems in Modular Java Applications.

Kamil Jezek, Lukas Holy, Jakub Danek

Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016

Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic.

Kamil Jezek, Jens Dietrich

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Repository and meta-data design for efficient component consistency verification.

Premek Brada, Kamil Jezek

Sci. Comput. Program., 2015

How Java APIs break - An empirical study.

Kamil Jezek, Jens Dietrich, Premek Brada

Inf. Softw. Technol., 2015

Circular dependencies and change-proneness: An empirical study.

Tosin Daniel Oyetoyan, Jean-Rémy Falleri, Jens Dietrich, Kamil Jezek

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Detecting Incompatibilities Concealed in Duplicated Software Libraries.

Kamil Jezek, Jan Ambroz

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

On the Use of Static Analysis to Safeguard Recursive Dependency Resolution.

Kamil Jezek, Jens Dietrich

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades.

Jens Dietrich, Kamil Jezek, Premek Brada

Proceedings of the 2014 Software Evolution Week, 2014

2013

Static component compatibility visualisation for various component models.

Kamil Jezek, Lukas Holy, Premek Brada

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

A Visualization Tool for Reverse-Engineering of Complex Component Applications.

Lukas Holy, Jaroslav Snajberk, Premek Brada, Kamil Jezek

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Software Components Compatibility Verification Based on Static Byte-Code Analysis.

Kamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries.

Kamil Jezek, Lukas Holy, Premek Brada

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

An Advanced Interactive Visualization Approach with extra functional properties.

Jaroslav Snajberk, Kamil Jezek, Premek Brada

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Dependency injection refined by extra-functional properties.

Kamil Jezek, Lukas Holy, Premek Brada

Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties.

Kamil Jezek, Premek Brada, Lukas Holy

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Lowering Visual Clutter in Large Component Diagrams.

Lukas Holy, Kamil Jezek, Jaroslav Snajberk, Premek Brada

Proceedings of the 16th International Conference on Information Visualisation, 2012

Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach.

Premek Brada, Kamil Jezek

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011

Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study.

Kamil Jezek, Premek Brada

Proceedings of the KMIS 2011, 2011

Formalisation of a Generic Extra-Functional Properties Framework.

Kamil Jezek, Premek Brada

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2011

Correct Matching of Components with Extra-functional Properties - A Framework Applicable to a Variety of Component Models.

Kamil Jezek, Premek Brada

Proceedings of the ENASE 2011, 2011

2010

Towards Context Independent Extra-functional Properties Descriptor for Components.

Kamil Jezek, Premek Brada, Petr Stepan

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support.

Kamil Jezek, Premek Brada

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

Universal Extra-functional Properties Repository - Model Overview and Implementation.

Kamil Jezek

Proceedings of the KMIS 2010, 2010