Completed
Static semantics and rank polymorphism in array languages
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Scheduling Array Operations for GPU and Distributed Computing
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction, personal background and research goals
- 2 How an APL approach to data can help with GPU/multi-core programming
- 3 Related on-going research in academia and industry
- 4 Abstract interpretation of computer programs to help find software bugs
- 5 An abstract academic concept of types
- 6 The language trilemma of performance, productivity and generality
- 7 Static semantics and rank polymorphism in array languages
- 8 Using shape analysis to build constraints which help computers see things how the APLer does
