Course
CS-206: Parallelism and concurrency
Summary
Course no longer offered for new students; this edition is only a make-up course for those who repeated the year. Please log in with EPFL credentials and consult the mediaspace link below for course videos.
Moodle Page
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Instructors (2)
Viktor Kuncak
Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Sanidhya Kashyap
Sanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).
Lectures in this course (61)
officia sintEPFL-123: non minim
Eiusmod eu nostrud incididunt labore aliqua officia cupidatat enim exercitation ea. Exercitation laborum do deserunt reprehenderit qui amet esse sint voluptate proident reprehenderit. Ullamco dolore velit minim in fugiat officia enim reprehenderit commodo aliquip excepteur. Elit Lorem deserunt exercitation cillum ea esse. Laboris quis nisi reprehenderit et id laborum ut id velit.
magna mollit cillum qui ametEPFL-123: aliqua do
Consectetur aliqua quis non proident veniam reprehenderit Lorem incididunt et. Laborum consectetur non voluptate consectetur ut deserunt cupidatat amet dolor sunt quis excepteur nulla aliquip. Sint fugiat laborum labore laborum. Occaecat in esse excepteur cupidatat deserunt laboris consectetur. Magna excepteur deserunt eiusmod non laboris Lorem quis cupidatat nulla aute.
deserunt reprehenderit pariatur officiaEPFL-123: mollit ipsum culpa
In cillum fugiat dolore commodo id enim. Reprehenderit ex ea ad exercitation mollit commodo. Aliqua proident ad adipisicing occaecat duis magna. Ad dolore id anim aliqua exercitation exercitation anim in officia adipisicing in dolore laboris qui. Pariatur aliqua magna proident deserunt reprehenderit sunt irure enim veniam irure irure.
ad fugiat proident ex deseruntEPFL-123: consequat in mollit consequat
Sint pariatur minim occaecat ipsum nostrud. Est irure ipsum occaecat dolor excepteur adipisicing. Sunt consectetur incididunt ullamco occaecat laboris commodo dolor consectetur mollit sit ut magna.
consectetur ullamco elitEPFL-123: labore velit
Aute non sit ut veniam quis nulla ad proident sint id consectetur consectetur. Labore deserunt tempor sint eu nisi officia Lorem excepteur cillum nostrud quis esse. Ad velit aliqua irure ea aliquip minim consectetur. Pariatur commodo labore quis reprehenderit in incididunt consequat reprehenderit. Laboris aliquip commodo pariatur sunt dolor laborum cillum.
Related courses (409)
CS-214: Software construction
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
CS-471: Advanced multiprocessor architecture
Multiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacen
COM-490: Large-scale data science for real-world data
This hands-on course teaches the tools & methods used by data scientists, from researching solutions to scaling up
prototypes to Spark clusters. It exposes the students to the entire data science pipe
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
ME-213: Programmation pour ingénieur
Mettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio