Skip to content

Software

The reviewed software papers are classified into the following groups:

Algorithms and Theory

Focuses on the foundations of computation and problem-solving. Includes:

  • Algorithm design and analysis (including ML/DL algorithms)
  • Data structures
  • Computational complexity
  • Computability theory

Programming Languages and Compilers

Concerns the design, implementation, and analysis of programming languages. Includes:

  • Language design and semantics
  • Compiler construction and optimization
  • Program analysis

Operating Systems

Focuses on managing computer hardware and providing system services. Includes:

  • Kernel design and implementation
  • Process and thread management
  • Memory management
  • File systems and storage
  • Virtualization
  • Synchronization

Distributed Systems and Networking

Covers systems of multiple interacting components and communication. Includes:

  • Distributed algorithms (e.g., consensus, replication)
  • Cloud computing platforms and architectures
  • Microservices

High-Performance Computing (HPC)

  • Parallel programming models (e.g., MPI, OpenMP, CUDA)
  • Scientific computing applications and libraries
  • Parallel algorithms

Performance Analysis

  • Profilers (sampling, instrumentation)
  • Simulators and emulators (for software/system analysis)
  • Benchmarking methodologies and suites
  • Workload characterization