Course 2024-2025 a.y.

1. How computers work
   • Boolean logic & gates, integers (signed and unsigned), characters and text
   • Structure of computer hardware, instructions, memory
   • Compilation, operating systems, virtual memory
2. Software development
   • Compiler invocations, IDEs, shell scripts, build systems
   • Programming languages
   • Portability, dependencies and packaging
   • Regular expressions
   • Version control systems
   • Software licenses
   • Development methodologies
3. Correctness
   • Specifications
   • Undefined behavior
   • Floating-point arithmetic
   • Software engineering practices (documentation, tests, static analysis, fuzzing)
   • Debugging
4. Performance
   • Code optimization
     • Pipelined CPUs, memory caches
     • Benchmarking and static instrumentation
     • Stochastic instrumentation
   • Data structures in memory
     • arrays, linked lists, stacks, queues, tries, hash tables, spatial data structures
   • Parallel computation (SIMD, threads, distributed computing, hardware acceleration

• Understand the different aspects of software development
• Recognize the trade-offs at stake when making design decisions
• Know the tools at our disposal to ensure the correctness of our code
• Identify performance issues in large-scale projects and propose mitigations

• Establish the basic infrastructure and perform design decisions for a new project
• Apply the concepts seen in class to develop correct and highly performant software
• Contribute to an existing large-scale project
• Find and/or fix correctness issues in a software project
• Find bottlenecks and improve the performance of a software project

• Guest speaker's talks (in class or in distance)
• Practical Exercises
• Individual works / Assignments
• Collaborative Works / Assignments

Theoretical lectures will introduce the concepts, and will be accompanied by hands-on tutorials in which we will use the tools presented in class.

In addition, the students will have assignments (either individual or in groups of two) in which they will be tasked with applying the concepts seen in class on practical open-source projects.

If available, guest speakers working on large software projects will be invited to present their work.

Assessment will be based on a general theory exam, one or more assignments, and one large-scale open-ended project. The students will be allowed some freedom regarding the topic and scope of this project (subject to the lecturer's approval).

The exam will test the students' understanding of tools and concepts covered in the course, such has how to find and fix correctness or performance issues. The assignments and project will test their ability to write high-quality code and contribute to large-scale projects.

The weights for the final grade will be: 20% for the assignments, (at least) 20% for the project, and the remainder for the written exam. However, upon evaluation, projects that are outstanding in their scope can earn, accordingly, a larger overall weight.

Non attending students will complete their assignments individually.

Lecture slides will be published before each lecture. In addition, links will be provided whenever relevant material is available.