Software construction

CS-214

Lecture recordings

This page is part of the content downloaded from Lecture recordings on Wednesday, 25 December 2024, 17:24. Note that some content and any files larger than 50 MB are not downloaded.

56193

[CS214 W14 FP] Monads (2024-12-18)

19.12.2024, 20:44

CS-214 Software construction | Wednesday | Fall 24

19.12.2024, 20:44

[CS214 W13 FP] Contextual abstraction 2 (2024-12-11)

11.12.2024, 18:53

CS-214 Software construction | Wednesday | Fall 24

11.12.2024, 18:53

[CS214 W13 FP] Formal Verification (2024-12-09)

09.12.2024, 21:48

[CS214 W12 SE] Automated testing (2024-12-04)

04.12.2024, 17:06

CS-214 Software construction | Wednesday | Fall 24

04.12.2024, 17:06

[CS214 W12 FP] Async programming with Futures (2024-12-02)

03.12.2024, 10:51

CS-214 Software construction | Monday | Fall 24

03.12.2024, 10:51

[CS214 W11 FP] Human aspects of software development (2024-11-27)

27.11.2024, 16:44

CS-214 Software construction | Wednesday | Fall 24

27.11.2024, 16:44

[CS214 W11 FP] Safe uses of imperative programming (2024-11-25)

25.11.2024, 17:45

CS-214 Software construction | Monday | Fall 24

25.11.2024, 17:45

[CS214 W04 SE] Contextual Abstraction 1 (2024-11-20)

20.11.2024, 18:55

[CS214 W10 FP] Mutation (2024-11-18)

19.11.2024, 11:40

CS-214 Software construction | Monday | Fall 24

19.11.2024, 11:40

[CS214 W09 SE] Distributed version control (2024-11-13)

13.11.2024, 18:44

CS-214 Software construction | Wednesday | Fall 24

13.11.2024, 18:44

[CS214 W09 SE] Webapps (2024-11-11)

11.11.2024, 18:02

[CS214 W08 SE] Signal processing with lazy lists (2024-11-04)

04.11.2024, 19:35

[CS214 W07 FP] Purely functional data structures (2024-10-30)

30.10.2024, 17:54

[CS214 W07 FP] Laziness (2024-10-28)

29.10.2024, 14:36

CS-214 Software construction | Monday | Fall 24

29.10.2024, 14:36

[CS214 W06 FP] Wednesday.par (2024-10-16)

16.10.2024, 19:30

[CS214 W06 FP] Principles of Parallelism (2024-10-14)

14.10.2024, 22:19

CS-214 Software construction | Monday | Fall 24

14.10.2024, 22:19

[CS214 W04 SE] Specs (2024-10-09)

09.10.2024, 19:24

8. Putting the Pieces Together

04.10.2024, 21:12

7. Maps

04.10.2024, 21:12

6. Combinatorial Search Example

04.10.2024, 21:11

5. Combinatorial Search and For Expressions

04.10.2024, 17:03

4. Other Collections

04.10.2024, 17:00

3. Variance

04.10.2024, 16:56

2. Tuples and generic methods

04.10.2024, 16:55

1. Subtyping and Generics

03.10.2024, 22:57

[CS214 W04 SE] From tests to proofs 1 (2024-10-02)

02.10.2024, 19:02

[CS214 W04 FP] Polymorphism (2024-09-30)

30.09.2024, 14:43

[CS214 W03 SE] How to diagnose (almost) anything (2024-09-25)

25.09.2024, 19:01

[CS214 W03 FP] Class hierarchies (2024-09-23)

23.09.2024, 12:17

[CS214 W02 FP] Higher-order functions (2024-09-18)

18.09.2024, 16:14

CS-214 Software construction | Wednesday | Fall 24

18.09.2024, 16:35

[CS214 W01 FP] Intro to Functional Programming (2024-09-09)

13.09.2024, 07:28

CS-214 Software construction | Monday | Fall 24

13.09.2024, 07:28

[CS214 W01 SE] Software Engineering intro + Git basics (2024-09-11)

11.09.2024, 16:14

CS-214 Software construction | Wednesday | Fall 24

11.09.2024, 16:34

[CS214 W01 FP] Welcome and course administrivia (2024-09-09)

09.09.2024, 21:25

CS-214 Software construction | Monday | Fall 24

09.09.2024, 21:25

CS-214 Software construction | Monday | Fall 24

03.09.2024, 17:52

CS-214 Software construction | Wednesday | Fall 24

02.09.2024, 10:36

[CS214 W13 SE] Formal verification (2023-12-13)

18.12.2023, 20:22

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

18.12.2023, 20:22

Slides are on Moodle!

[CS214 W14 SE] How to get a job in CS (2023-12-18)

18.12.2023, 20:13

[CS214 W13 FP] Asynchronous Programming with Futures (2023-09-20)

11.12.2023, 22:14

[CS214 W12 SE] Automated software testing (2023-12-06)

11.12.2023, 16:25

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

11.12.2023, 16:25

Slides are on Moodle!

[CS214 W12 FP] Monads (2023-12-04)

06.12.2023, 18:13

[CS214 W11 SE] Human aspects of software construction (2023-11-29)

29.11.2023, 16:39

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

29.11.2023, 16:39

Slides are on Moodle!

[CS214 W10 FP] Functions and state, FRP (2023-11-22)

29.11.2023, 16:36

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

29.11.2023, 16:36

Slides are on Moodle!

[CS214 W11 FP] Contextual Abstraction (2023-11-27)

28.11.2023, 15:42

Second half starts at 46:39!

[CS214 W10 FP] Safe Mutation in practice (2023-11-24)

28.11.2023, 12:13

[CS214 W09 FP] Safe Mutation in Scala (2023-11-13)

27.11.2023, 12:14

Second hour starts at 46:25. 

[CS214 W09 SE] Le retour du Git (2023-11-15)

15.11.2023, 17:21

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

15.11.2023, 17:21

Slides are on Moodle!

[CS214 W08 SE] Additional material: Karplus-Strong algorithm (2023-11-08)

08.11.2023, 22:02

This is the overflow of the signal-processing lecture.  The final 2-3 minutes are cut; I'll go over them again in the debrief instead.

CS-214 mercredi 2023-2024 semestre 1

08.11.2023, 22:02

Slides are on Moodle!

[CS214 W08 SE] Practical engineering I: Signal processing (2023-11-08)

08.11.2023, 22:00

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

08.11.2023, 22:00

Slides are on Moodle!

[CS214 W08 FP 1/2] Laziness (2023-11-06)

06.11.2023, 12:31

[CS214 W08 FP 2/2] Laziness (2023-11-06)

06.11.2023, 12:29

[CS214 W07 FP] Functional Data Structures (30-10-23)

01.11.2023, 09:41

Screen recording for the course given by Victor Kuncak on Monday, 31-10-23. Slides are available on moodle!

[CS214 W06 SE] Wednesday.par (2023-10-25)

25.10.2023, 23:21

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

25.10.2023, 23:21

Slides are on Moodle!

[CS214 W06 FP] Principles of Parallelism (2023-10-23)

24.10.2023, 00:54

Lecture given by Professor Victor Kuncak on the basics concepts of parallelism and their implementation in the Scala programming language. Annotated slides are available on Ed and on Moodle!

[CS214 W05 FP 2/2] Variance, combinatorial search, for expressions (2023-10-16)

24.10.2023, 00:52

[CS214 W05 FP 1/2] Variance, combinatorial search, for expressions (2023-10-16)

24.10.2023, 00:29

[CS214 W04 FP] Polymorphism, Proofs, Variance (2023-10-09)

22.10.2023, 18:03

[CS214 W05 SE] From tests to proofs II / II (2023-10-18)

18.10.2023, 18:24

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

18.10.2023, 18:24

Slides are on Moodle!

[CS214 W04 SE] From tests to proofs I / II (2023-10-11)

11.10.2023, 21:07

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

11.10.2023, 21:07

CS-214 Software construction

[CS214 W03 SE] How to diagnose (almost) anything (2023-10-04)

04.10.2023, 18:27

The slides are available on moodle!

[CS214 W03 FP] Class Hierarchies, Pattern Matching (2023-10-02)

04.10.2023, 13:17

You can find the slides on moodle!

[CS214 W02 SE] Git Basics (2023-09-27)

02.10.2023, 13:28

Lecture given by Prof. Pit-Claudel on Wednesday 27.09.23, touching on the basics of git.

Terminal transcripts for the second half of the lecture can be found at this link!

[CS214 W02 FP] Elements of Functional Programming (25.09.23)

02.10.2023, 12:28

[[WARNING]] 
The first few minutes don't have any camera footage or microphone audio, sorry about that.

The slides are available on moodle.

[CS214 W01 FP] Introduction to Software Construction, Basics of Scala (2023-09-20)

27.09.2023, 13:26

  • Intro
  • Why Functional Programming?
  • Elements of Programming
  • Evaluation Strategies and Termination
  • Conditionals and Value Definitions
  • Example: Square roots with Newton’s method
  • Blocks and Lexical Scope

56193

[CS214 W14 FP] Monads (2024-12-18)

19.12.2024, 20:44

CS-214 Software construction | Wednesday | Fall 24

19.12.2024, 20:44

[CS214 W13 FP] Contextual abstraction 2 (2024-12-11)

11.12.2024, 18:53

CS-214 Software construction | Wednesday | Fall 24

11.12.2024, 18:53

[CS214 W13 FP] Formal Verification (2024-12-09)

09.12.2024, 21:48

[CS214 W12 SE] Automated testing (2024-12-04)

04.12.2024, 17:06

CS-214 Software construction | Wednesday | Fall 24

04.12.2024, 17:06

[CS214 W12 FP] Async programming with Futures (2024-12-02)

03.12.2024, 10:51

CS-214 Software construction | Monday | Fall 24

03.12.2024, 10:51

[CS214 W11 FP] Human aspects of software development (2024-11-27)

27.11.2024, 16:44

CS-214 Software construction | Wednesday | Fall 24

27.11.2024, 16:44

[CS214 W11 FP] Safe uses of imperative programming (2024-11-25)

25.11.2024, 17:45

CS-214 Software construction | Monday | Fall 24

25.11.2024, 17:45

[CS214 W04 SE] Contextual Abstraction 1 (2024-11-20)

20.11.2024, 18:55

[CS214 W10 FP] Mutation (2024-11-18)

19.11.2024, 11:40

CS-214 Software construction | Monday | Fall 24

19.11.2024, 11:40

[CS214 W09 SE] Distributed version control (2024-11-13)

13.11.2024, 18:44

CS-214 Software construction | Wednesday | Fall 24

13.11.2024, 18:44

[CS214 W09 SE] Webapps (2024-11-11)

11.11.2024, 18:02

[CS214 W08 SE] Signal processing with lazy lists (2024-11-04)

04.11.2024, 19:35

[CS214 W07 FP] Purely functional data structures (2024-10-30)

30.10.2024, 17:54

[CS214 W07 FP] Laziness (2024-10-28)

29.10.2024, 14:36

CS-214 Software construction | Monday | Fall 24

29.10.2024, 14:36

[CS214 W06 FP] Wednesday.par (2024-10-16)

16.10.2024, 19:30

[CS214 W06 FP] Principles of Parallelism (2024-10-14)

14.10.2024, 22:19

CS-214 Software construction | Monday | Fall 24

14.10.2024, 22:19

[CS214 W04 SE] Specs (2024-10-09)

09.10.2024, 19:24

8. Putting the Pieces Together

04.10.2024, 21:12

7. Maps

04.10.2024, 21:12

6. Combinatorial Search Example

04.10.2024, 21:11

5. Combinatorial Search and For Expressions

04.10.2024, 17:03

4. Other Collections

04.10.2024, 17:00

3. Variance

04.10.2024, 16:56

2. Tuples and generic methods

04.10.2024, 16:55

1. Subtyping and Generics

03.10.2024, 22:57

[CS214 W04 SE] From tests to proofs 1 (2024-10-02)

02.10.2024, 19:02

[CS214 W04 FP] Polymorphism (2024-09-30)

30.09.2024, 14:43

[CS214 W03 SE] How to diagnose (almost) anything (2024-09-25)

25.09.2024, 19:01

[CS214 W03 FP] Class hierarchies (2024-09-23)

23.09.2024, 12:17

[CS214 W02 FP] Higher-order functions (2024-09-18)

18.09.2024, 16:14

CS-214 Software construction | Wednesday | Fall 24

18.09.2024, 16:35

[CS214 W01 FP] Intro to Functional Programming (2024-09-09)

13.09.2024, 07:28

CS-214 Software construction | Monday | Fall 24

13.09.2024, 07:28

[CS214 W01 SE] Software Engineering intro + Git basics (2024-09-11)

11.09.2024, 16:14

CS-214 Software construction | Wednesday | Fall 24

11.09.2024, 16:34

[CS214 W01 FP] Welcome and course administrivia (2024-09-09)

09.09.2024, 21:25

CS-214 Software construction | Monday | Fall 24

09.09.2024, 21:25

CS-214 Software construction | Monday | Fall 24

03.09.2024, 17:52

CS-214 Software construction | Wednesday | Fall 24

02.09.2024, 10:36

[CS214 W13 SE] Formal verification (2023-12-13)

18.12.2023, 20:22

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

18.12.2023, 20:22

Slides are on Moodle!

[CS214 W14 SE] How to get a job in CS (2023-12-18)

18.12.2023, 20:13

[CS214 W13 FP] Asynchronous Programming with Futures (2023-09-20)

11.12.2023, 22:14

[CS214 W12 SE] Automated software testing (2023-12-06)

11.12.2023, 16:25

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

11.12.2023, 16:25

Slides are on Moodle!

[CS214 W12 FP] Monads (2023-12-04)

06.12.2023, 18:13

[CS214 W11 SE] Human aspects of software construction (2023-11-29)

29.11.2023, 16:39

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

29.11.2023, 16:39

Slides are on Moodle!

[CS214 W10 FP] Functions and state, FRP (2023-11-22)

29.11.2023, 16:36

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

29.11.2023, 16:36

Slides are on Moodle!

[CS214 W11 FP] Contextual Abstraction (2023-11-27)

28.11.2023, 15:42

Second half starts at 46:39!

[CS214 W10 FP] Safe Mutation in practice (2023-11-24)

28.11.2023, 12:13

[CS214 W09 FP] Safe Mutation in Scala (2023-11-13)

27.11.2023, 12:14

Second hour starts at 46:25. 

[CS214 W09 SE] Le retour du Git (2023-11-15)

15.11.2023, 17:21

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

15.11.2023, 17:21

Slides are on Moodle!

[CS214 W08 SE] Additional material: Karplus-Strong algorithm (2023-11-08)

08.11.2023, 22:02

This is the overflow of the signal-processing lecture.  The final 2-3 minutes are cut; I'll go over them again in the debrief instead.

CS-214 mercredi 2023-2024 semestre 1

08.11.2023, 22:02

Slides are on Moodle!

[CS214 W08 SE] Practical engineering I: Signal processing (2023-11-08)

08.11.2023, 22:00

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

08.11.2023, 22:00

Slides are on Moodle!

[CS214 W08 FP 1/2] Laziness (2023-11-06)

06.11.2023, 12:31

[CS214 W08 FP 2/2] Laziness (2023-11-06)

06.11.2023, 12:29

[CS214 W07 FP] Functional Data Structures (30-10-23)

01.11.2023, 09:41

Screen recording for the course given by Victor Kuncak on Monday, 31-10-23. Slides are available on moodle!

[CS214 W06 SE] Wednesday.par (2023-10-25)

25.10.2023, 23:21

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

25.10.2023, 23:21

Slides are on Moodle!

[CS214 W06 FP] Principles of Parallelism (2023-10-23)

24.10.2023, 00:54

Lecture given by Professor Victor Kuncak on the basics concepts of parallelism and their implementation in the Scala programming language. Annotated slides are available on Ed and on Moodle!

[CS214 W05 FP 2/2] Variance, combinatorial search, for expressions (2023-10-16)

24.10.2023, 00:52

[CS214 W05 FP 1/2] Variance, combinatorial search, for expressions (2023-10-16)

24.10.2023, 00:29

[CS214 W04 FP] Polymorphism, Proofs, Variance (2023-10-09)

22.10.2023, 18:03

[CS214 W05 SE] From tests to proofs II / II (2023-10-18)

18.10.2023, 18:24

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

18.10.2023, 18:24

Slides are on Moodle!

[CS214 W04 SE] From tests to proofs I / II (2023-10-11)

11.10.2023, 21:07

Slides are on Moodle!

CS-214 mercredi 2023-2024 semestre 1

11.10.2023, 21:07

CS-214 Software construction

[CS214 W03 SE] How to diagnose (almost) anything (2023-10-04)

04.10.2023, 18:27

The slides are available on moodle!

[CS214 W03 FP] Class Hierarchies, Pattern Matching (2023-10-02)

04.10.2023, 13:17

You can find the slides on moodle!

[CS214 W02 SE] Git Basics (2023-09-27)

02.10.2023, 13:28

Lecture given by Prof. Pit-Claudel on Wednesday 27.09.23, touching on the basics of git.

Terminal transcripts for the second half of the lecture can be found at this link!

[CS214 W02 FP] Elements of Functional Programming (25.09.23)

02.10.2023, 12:28

[[WARNING]] 
The first few minutes don't have any camera footage or microphone audio, sorry about that.

The slides are available on moodle.

[CS214 W01 FP] Introduction to Software Construction, Basics of Scala (2023-09-20)

27.09.2023, 13:26

  • Intro
  • Why Functional Programming?
  • Elements of Programming
  • Evaluation Strategies and Termination
  • Conditionals and Value Definitions
  • Example: Square roots with Newton’s method
  • Blocks and Lexical Scope