Darek Gajewski

According to our database, Darek Gajewski authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems.

Connor Wojtak, Darek Gajewski, Tomás Cerný

CoRR, September, 2025

2024

Is the 3D model the way to go when presenting microservice architecture?

Tomás Cerný, Amr S. Abdelfattah, Darek Gajewski, Patrick E. Harris, Mia E. Gortney

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024

Case Study: Applying Automated Optimization Tooling to Microservice Environments that Scale Safely at Ancestry.com and the Learnings.

Darek Gajewski, Muhammad Ashfakur Rahman Arju, Amr S. Abdelfattah, Tomás Cerný

Proceedings of the Software Architecture - 18th European Conference, 2024