search

prosyslab-classroom / cs524-program-analysis

54 stars 13 forks source link

[Announcement] Lecture videos for week 12 #87

Closed KAIST-JongchanPark closed 3 months ago

KAIST-JongchanPark commented 1 year ago

Hi,

For those who attend FSE conference in person, we provide lecture videos for week 12.

Links are available in KLMS notice board.

Regards, Jongchan

greenmonn commented 1 year ago

Hi, I think I'm reporting this too late.... but I found that the links are not about last week lectures (Advanced Iteration Techniques / Sparse Analysis). In fact, they're about abstract interpretation part which corresponds to lecture 7.

Could you check the links again and provide new ones?

goodtaeeun commented 1 year ago

Hi, you are right about the video links. We updated the links to the correct ones.

Please check in the KLMS notice.

KihongHeo commented 1 year ago

Not too late. This error report means that you are the first.

greenmonn commented 1 year ago

Thank you very much!