<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://lara.epfl.ch/w/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://lara.epfl.ch/w/feed.php">
        <title>LARA: Laboratory for Automated Reasoning and Analysis parcon16</title>
        <description></description>
        <link>https://lara.epfl.ch/w/</link>
        <image rdf:resource="https://lara.epfl.ch/w/lib/tpl/epflv2/images/favicon.ico" />
       <dc:date>2026-07-05T12:54:34+0200</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/a_sample_associativity_exercise_with_solution?rev=1461576892&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/assignment_6_-_lock-free_sorted_list?rev=1460565662&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/assignment_7_-_binary_trees_using_actors?rev=1461834155&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/assignment_8_-_stackoverflow?rev=1463666309&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/assignment_9_-_wikipedia?rev=1463571022&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/grading_infrastructure?rev=1461162504&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/problem_statement_and_handount?rev=1459944706&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/problem_statement_and_handout?rev=1460393306&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/setting_up_assignment_6?rev=1460632710&amp;do=diff"/>
                <rdf:li rdf:resource="https://lara.epfl.ch/w/parcon16/top?rev=1487845233&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://lara.epfl.ch/w/lib/tpl/epflv2/images/favicon.ico">
        <title>LARA: Laboratory for Automated Reasoning and Analysis</title>
        <link>https://lara.epfl.ch/w/</link>
        <url>https://lara.epfl.ch/w/lib/tpl/epflv2/images/favicon.ico</url>
    </image>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/a_sample_associativity_exercise_with_solution?rev=1461576892&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-25T11:34:52+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:a_sample_associativity_exercise_with_solution</title>
        <link>https://lara.epfl.ch/w/parcon16/a_sample_associativity_exercise_with_solution?rev=1461576892&amp;do=diff</link>
        <description>[Associativity exercise from previous year exam]</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/assignment_6_-_lock-free_sorted_list?rev=1460565662&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-13T18:41:02+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:assignment_6_-_lock-free_sorted_list</title>
        <link>https://lara.epfl.ch/w/parcon16/assignment_6_-_lock-free_sorted_list?rev=1460565662&amp;do=diff</link>
        <description>Lock-free Sorted List

See the page Setting up Assignment 6 for configuring your repository for this assignment.

[Assignment Handout] last updated: April 13, 17:35

The goal of this assignment is to implement a concurrent list that stores values of type Int in ascending order. Last week, we have seen how to use a monitor to make data structures operations behave correctly in a concurrent setting. This week, the data structure we will implement will not use a monitor or a lock of any kind. Inste…</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/assignment_7_-_binary_trees_using_actors?rev=1461834155&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-28T11:02:35+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:assignment_7_-_binary_trees_using_actors</title>
        <link>https://lara.epfl.ch/w/parcon16/assignment_7_-_binary_trees_using_actors?rev=1461834155&amp;do=diff</link>
        <description>Handout

 last updated: 28th April, 2016 10.40am

Assignment Setup Instructions

Copy your local repository directory of assignment 5 or 6 you to a new directory (say parcon-groupXX-assign7), and use the following commands to initialize the new directory.</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/assignment_8_-_stackoverflow?rev=1463666309&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-05-19T15:58:29+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:assignment_8_-_stackoverflow</title>
        <link>https://lara.epfl.ch/w/parcon16/assignment_8_-_stackoverflow?rev=1463666309&amp;do=diff</link>
        <description>Assignment Setup Instructions

Copy your local repository directory of any of the previous assignment to a new directory (say parcon-groupXX-assign8), and use the following commands to initialize the new directory.


git checkout --orphan stackoverflow
git rm -rf .</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/assignment_9_-_wikipedia?rev=1463571022&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-05-18T13:30:22+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:assignment_9_-_wikipedia</title>
        <link>https://lara.epfl.ch/w/parcon16/assignment_9_-_wikipedia?rev=1463571022&amp;do=diff</link>
        <description>Assignment Setup Instructions

Copy your local repository directory of any of the previous assignment to a new directory (say parcon-groupXX-assign8), and use the following commands to initialize the new directory.


git checkout --orphan wikipedia
git rm -rf .</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/grading_infrastructure?rev=1461162504&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-20T16:28:24+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:grading_infrastructure</title>
        <link>https://lara.epfl.ch/w/parcon16/grading_infrastructure?rev=1461162504&amp;do=diff</link>
        <description>Setup

The grading infrastructure for the assignments on concurrency will be hosted on larasrv03.epfl.ch. This website is only accessible on the EPFL network. If you ever need to access this website from outside EPFL, please use the VPN.

On this website, you will be asked to login using your GASPAR account. Once this is done, select</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/problem_statement_and_handount?rev=1459944706&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-06T14:11:46+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:problem_statement_and_handount</title>
        <link>https://lara.epfl.ch/w/parcon16/problem_statement_and_handount?rev=1459944706&amp;do=diff</link>
        <description>Concurrent Bounded Buffer

[ Assignment handout]: See the Grading Infrastructure page for setting up your repository.

The goal of this assignment is to implement a fixed size buffer that can be accessed concurrently by multiple threads running in parallel. This is a simple yet important data structure that is widely used in concurrent applications. In particular, we provide you an implementation of a Publish/Subscribe (PubSub) application that uses the bounded buffer you would be developing. We…</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/problem_statement_and_handout?rev=1460393306&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-11T18:48:26+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:problem_statement_and_handout</title>
        <link>https://lara.epfl.ch/w/parcon16/problem_statement_and_handout?rev=1460393306&amp;do=diff</link>
        <description>Concurrent Bounded Buffer

[ Assignment handout, updated 11:00am  April 7, 2016]: See the Grading Infrastructure page for setting up your repository.

The goal of this assignment is to implement a fixed size buffer that can be accessed concurrently by multiple threads running in parallel. This is a simple yet important data structure that is widely used in concurrent applications. In particular, we provide you an implementation of a Publish/Subscribe (PubSub) application that uses the bounded bu…</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/setting_up_assignment_6?rev=1460632710&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2016-04-14T13:18:30+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:setting_up_assignment_6</title>
        <link>https://lara.epfl.ch/w/parcon16/setting_up_assignment_6?rev=1460632710&amp;do=diff</link>
        <description>Setup Instructions for Assingment 6

For this assignment, you are supposed to work on a different branch of the same git repository you were using for the previous assignment. We suggest that you 
copy your local repository directory you to a new directory (e.g. parcon-groupXX-assign6), and use the following commands to initialize the new directory.</description>
    </item>
    <item rdf:about="https://lara.epfl.ch/w/parcon16/top?rev=1487845233&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2017-02-23T11:20:33+0200</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>parcon16:top</title>
        <link>https://lara.epfl.ch/w/parcon16/top?rev=1487845233&amp;do=diff</link>
        <description>Beware, this is the 2016 course. For the 2017 course,
 please follow this link.

_

_

_

_

_

_

Parallelism and Concurrency - EPFL Course, Spring 2016

CS 206 - Spring Semester, 2nd year undergraduate course

Course Book Description

Main reading material: Learning Concurrent Programming in Scala

IMPORTANT: Grading Interface for Concurrency Assignments</description>
    </item>
</rdf:RDF>
