CLIP Group Publications by Topic

This is Technical Report CLIP-PubsBytopic/2024.2579
A PDF version of this report suitable for printing is available here.

Note: This document provides a unified list of publications by the CLIP group members, classified by research topic (as well as by type of publication - journal, book, invited, workshop, etc.). A list of publications classified by year of publication is also available. Please note that this document is generated automatically and periodically from the group database and may contain repetitions, omissions, and other errors. We ask for understanding with these errors and at the same time will very much appreciate any pointers to them.

Acknowledgments: The work presented in these papers has been carried out in collaboration with numerous other researchers (co-authors of the papers) and institutions, and has been funded in part by a number of public and private agencies. Please refer the CLIP group list of funded research projects for a list of such institutitons.

• Publications in Verification, Specification, Testing, Debugging
• Publications in Program Analysis
• Publications in Program Specialization
• Publications in Resource Consumption Analysis and Optimization
• Publications in Analysis of Smart Contracts, Blockchain
• Publications in Automatic Parallelization
• Publications in Task Granularity Analysis and Control
• Publications in Parallel Execution Models and Task Scheduling
• Publications in Distributed/Internet Execution, Agents, and WWW
• Publications in (Parallel) Computer Architecture
• Publications in Program Execution Visualization
• Publications in Programming Language Design
• Publications in Concurrency, Dynamic Scheduling, and Concurrent Languages
• Publications in Constraint Programming
• Publications in Programming Language Implementation
• Publications in Environments and Tools for Software Development
• Publications in Component-Based Software Development
• Publications in Open Source Software
• Publications in Simulation of Parallel Systems
• Publications in Teaching
• Publications in Quality of Service
• Publications in Services
• Publications in Service Aggregation and Composition
• Publications in Graphical Communication
• Publications in Diagrammatic Reasoning
• Publications in Research Policy
• Publications in Other Topics and General Publications