TOSEM

Journal of ACM Transactions on Software Engineering and Methodology

Peer Reviewer

TACO

Journal of ACM Transactions on Architecture and Code Optimization

Peer Reviewer

ECSA

European Conference on Software Architecture

Committee Member

ISSTA

International Symposium on Software Testing and Analysis

Committee Member

CISOSE

IEEE International Conference on Service-Oriented System Engineering

Web Chair
Program Committee Chair
Committee Member

ESOCC

European Conference On Service-Oriented And Cloud Computing

Committee Member

Microservices

International Conference on Microservices

Committee Member

ISD

International Conference on Information Systems Development

Committee Member

PeerJ CS

Journal of PeerJ Computer Science

Peer Reviewer

SN Neural Computing and Applications

Springer Journal of Neural Computing and Applications

Peer Reviewer

SN Computing

Springer Journal of Computing

Peer Reviewer

Computer standards and interfaces

Journal of Computer standards and interfaces

Peer Reviewer

Cloud-native system analysis

Cloud-native System Analysis

We look into cloud-native system analysis meant to reconstruct software architecture. Since each microservices can reside in self-contained codebase, we analyze each and combine the intermediate results. Our tool Prophet does it for Java and Prophet 2 is more universal.

Current students: Amr ElSayed, Abdullah Maruf, Rofiqul Islam, Rokin Maharjan, Md Rahaman

Past students: Dipta Das, Vincent Bushong, Jan Svacina

Creating tools for cloud-native system analysis and reconstructing software architectures to enhance system aspects and quality.

Decentralized System Visualization

Decentralized system visualization

Many others follow conventional system visualization, like UML, or ArchiMate; we seek 3D representation for architectural views of the overall system, we experiemnted with augmented reality as showed here:

Students: Vincent Bushong, Amr ElSayed

Designing tools to illustrate decentralized microservice-based cloud systems, enabling system-centric reasoning and insights.

End-to-End Testing of Microservices-based Systems

End-to-end testing of cloud apps

With greatly decentralized system, tests see only assume what is flow exists under the lid. We perform analysis of flows and tests to pair them.

Current and formal students: Michal Trnka, Filip Rysavy, Vladyslav Gorbunov

Developing and analyzing microservice testing from diverse perspectives, introducing innovative metrics.

Featured

Code Analysis

System codebase contains a lot of information that can reveal broad details about it. We analyze systems to find errors, improve tests or security, we challenge current gaps like decentralization and language specificity

Current students: Micah Schiewe, Jacob Curtis, Amr ElSayed

Current Bachelor students: Andrew Walker, Ian Laird, Jan Svacina, Jonathan Simmons, Dipta Das, Denton Woods

Creating innovative solutions to address hidden issues impacting system architecture and performance. Imagine debugging for hours—advanced code analysis can pinpoint errors in seconds. We aim to push beyond current tool limitations, tackling challenges like decentralization and language specificity.

Large Language Models in Microservice Architecture

Natural-language processing in scientific documents / system policies

Extensive size of documents and material in natural language makes it difficult for individuals to assess compliance, knowledge and consistency

Students:Ernesto Caballero

Adapting and Leveraging LLMs to enhance reasoning about various aspects of decentralized system components. By embracing a holistic view, we aim to provide a comprehensive understanding of large systems and their interconnected components.

Secure Enterprise Application Design

Secure Decentralized Application Design

What is the right software design approach to build safe system; can we reduce vulnerabilities? Robust static and dynamic analysis can help

Current and formal students: Micah Schiewe, Jacob Curtis, Md Rahaman, Andrew Walker, Dipta Das, Michal Trnka, Filip Sedlinsky

Advancing cutting-edge scientific research to address security challenges in distributed systems. With enterprise systems facing numerous security concerns, static analysis offers powerful solutions.