FEED Validator

for Atom and RSS and KML

Congratulations!

This is a valid RSS feed.

Recommendations

This feed is valid, but interoperability with the widest range of feed readers could be improved by implementing the following recommendations.

line 53, column 0: content:encoded should not contain data-fn attribute (2 occurrences) [help]
line 93, column 0: content:encoded should not contain data-attachment-id attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-permalink attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-orig-file attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-orig-size attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-comments-opened attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-image-meta attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-image-title attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-image-description attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-image-caption attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-medium-file attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain data-large-file attribute (17 occurrences) [help]
line 93, column 0: content:encoded should not contain sizes attribute (6 occurrences) [help]
line 202, column 0: style attribute contains potentially dangerous content: max-height (2 occurrences) [help]

line 203, column 847: content:encoded should not contain relative URL references: #e746a6bc-eea9-4342-bb4c-5f22b9d0ee12 (4 occurrences) [help]

... ; max-height: 1em;" />︎</a></li></ol>]]></content:encoded>
                                             ^

line 507, column 0: content:encoded should not contain loading attribute (3 occurrences) [help]
line 515, column 0: content:encoded should not contain data-carousel-extra attribute [help]

line 516, column 0: content:encoded should not contain data-id attribute [help]

<figure data-carousel-extra='{"blog_id":59712121,"permalink":"https:\/\/rocl ...

line 799, column 0: content:encoded should not contain data-wp-interactive attribute (2 occurrences) [help]
line 799, column 0: content:encoded should not contain object tag (2 occurrences) [help]
line 799, column 0: content:encoded should not contain download attribute (2 occurrences) [help]
line 799, column 0: content:encoded should not contain aria-describedby attribute (2 occurrences) [help]

Source: http://roclocality.wordpress.com/feed

<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
xmlns:content="http://purl.org/rss/1.0/modules/content/"
xmlns:wfw="http://wellformedweb.org/CommentAPI/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:atom="http://www.w3.org/2005/Atom"
xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
>
<channel>
<title>Rochester Programming Systems Reseach</title>
<atom:link href="https://roclocality.org/feed/" rel="self" type="application/rss+xml" />
<link>https://roclocality.org</link>
<description></description>
<lastBuildDate>Mon, 15 Apr 2024 18:41:01 +0000</lastBuildDate>
<language>en</language>
<sy:updatePeriod>
hourly </sy:updatePeriod>
<sy:updateFrequency>
1 </sy:updateFrequency>
<generator>http://wordpress.com/</generator>
<image>
<url>https://roclocality.files.wordpress.com/2020/04/cropped-roclocicon.png?w=32</url>
<title>Rochester Programming Systems Reseach</title>
<link>https://roclocality.org</link>
<width>32</width>
<height>32</height>
</image>
<cloud domain='roclocality.org' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<atom:link rel="search" type="application/opensearchdescription+xml" href="https://roclocality.org/osd.xml" title="Rochester Programming Systems Reseach" />
<atom:link rel='hub' href='https://roclocality.org/?pushpress=hub'/>
<item>
<title>Parallel Matrix Multiplication in Rayon Rust</title>
<link>https://roclocality.org/2024/04/15/parallel-matrix-multiplication-in-rayon-rust/</link>
<comments>https://roclocality.org/2024/04/15/parallel-matrix-multiplication-in-rayon-rust/#respond</comments>
<dc:creator><![CDATA[ssun25]]></dc:creator>
<pubDate>Mon, 15 Apr 2024 18:19:14 +0000</pubDate>
<category><![CDATA[Uncategorized]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3364</guid>
<description><![CDATA[Shaotong Sun This post is written for an assignment for CSC 252 based on my tutorial given at ACM Chapter workshop titled “General Introduction of Parallel Programming Schemes in Different Languages.” Rust, like C or C++, is a system-level programming language, but unlike C and C++, it has more features on memory safety issues and […]]]></description>
<content:encoded><![CDATA[
<h2 class="wp-block-heading">Shaotong Sun</h2>
<p><em>This post is written for an assignment for CSC 252 based on my tutorial given at ACM Chapter workshop titled “General Introduction of Parallel Programming Schemes in Different Languages.”</em></p>
<p>Rust, like C or C++, is a system-level programming language, but unlike C and C++, it has more features on memory safety issues and useability. In other words, it “gives you the option to control low-level details (such as memory usage) without all the hassle traditionally associated with such control.”<sup data-fn="e746a6bc-eea9-4342-bb4c-5f22b9d0ee12" class="fn"><a href="#e746a6bc-eea9-4342-bb4c-5f22b9d0ee12" id="e746a6bc-eea9-4342-bb4c-5f22b9d0ee12-link">1</a></sup></p>
<p>For installation of the Rust, please refer to <a href="https://doc.rust-lang.org/book/ch01-01-installation.html">https://doc.rust-lang.org/book/ch01-01-installation.html</a>. </p>
<h2 class="wp-block-heading">Ownership in Rust</h2>
<p>As mentioned above, Rust language is designed to focus on memory safety issues. To this end, Rust uses something called Ownership. “Ownership is Rust’s most unique feature and has deep implications for the rest of the language. It enables Rust to make memory safety guarantees without needing a garbage collector.”<sup data-fn="42dbb7f4-62d7-4da0-ac83-a48288109d17" class="fn"><a href="#42dbb7f4-62d7-4da0-ac83-a48288109d17" id="42dbb7f4-62d7-4da0-ac83-a48288109d17-link">2</a></sup> On the highest level, ownership means that some variable owns some value, and the can only be one owner for a value at a time. Specifically, the Rust Book defines the ownership rules as: </p>
<blockquote class="wp-block-quote is-layout-flow wp-block-quote-is-layout-flow">
<h3 class="wp-block-heading" id="ownership-rules"><a href="https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html#ownership-rules">Ownership Rules</a></h3>
<ul>
<li>Each value in Rust has an <em>owner</em>.</li>
<li>There can only be one owner at a time.</li>
<li>When the owner goes out of scope, the value will be dropped.</li>
</ul>
<cite><a href="https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html">https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html</a> </cite></blockquote>
<p>This ownership concept not only solves the memory safety issues but also makes writing concurrent programs much more accessible than expected. Having ownership makes issues such as <a href="https://cloudxlab.com/blog/race-condition-and-deadlock/">data race</a> compile-time errors rather than runtime errors in many cases. </p>
<figure class="wp-block-image size-large"><a href="https://cloudxlab.com/blog/race-condition-and-deadlock/"><img width="740" height="392" data-attachment-id="3372" data-permalink="https://roclocality.org/2024/04/15/parallel-matrix-multiplication-in-rayon-rust/image/#main" data-orig-file="https://roclocality.files.wordpress.com/2024/04/image.png" data-orig-size="740,392" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="image" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2024/04/image.png?w=300" data-large-file="https://roclocality.files.wordpress.com/2024/04/image.png?w=682" src="https://roclocality.files.wordpress.com/2024/04/image.png?w=740" alt="" class="wp-image-3372" srcset="https://roclocality.files.wordpress.com/2024/04/image.png 740w, https://roclocality.files.wordpress.com/2024/04/image.png?w=150 150w, https://roclocality.files.wordpress.com/2024/04/image.png?w=300 300w" sizes="(max-width: 740px) 100vw, 740px" /></a></figure>
<h2 class="wp-block-heading">Rayon in Rust</h2>
<p>Like OpenMP and OpenCilk in C and C++, Rayon is a data-parallelism library in Rust that helps you write parallel code safely and quickly, which eases you from manual manipulation of threads. </p>
<blockquote class="wp-block-quote is-layout-flow wp-block-quote-is-layout-flow">
<p>There are two ways to use Rayon:</p>
<ul>
<li><strong>High-level parallel constructs</strong> are the simplest way to use Rayon and also typically the most efficient.
<ul>
<li><a href="https://docs.rs/rayon/latest/rayon/iter/index.html">Parallel iterators</a> make it easy to convert a sequential iterator to execute in parallel.
<ul>
<li>The <a href="https://docs.rs/rayon/latest/rayon/iter/trait.ParallelIterator.html"><code>ParallelIterator</code></a> trait defines general methods for all parallel iterators.</li>
<li>The <a href="https://docs.rs/rayon/latest/rayon/iter/trait.IndexedParallelIterator.html"><code>IndexedParallelIterator</code></a> trait adds methods for iterators that support random access.</li>
</ul>
</li>
<li>The <a href="https://docs.rs/rayon/latest/rayon/slice/trait.ParallelSliceMut.html#method.par_sort"><code>par_sort</code></a> method sorts <code>&mut [T]</code> slices (or vectors) in parallel.</li>
<li><a href="https://docs.rs/rayon/latest/rayon/iter/trait.ParallelExtend.html#tymethod.par_extend"><code>par_extend</code></a> can be used to efficiently grow collections with items produced by a parallel iterator.</li>
</ul>
</li>
<li><strong>Custom tasks</strong> let you divide your work into parallel tasks yourself.
<ul>
<li><a href="https://docs.rs/rayon/latest/rayon/fn.join.html"><code>join</code></a> is used to subdivide a task into two pieces.</li>
<li><a href="https://docs.rs/rayon/latest/rayon/fn.scope.html"><code>scope</code></a> creates a scope within which you can create any number of parallel tasks.</li>
<li><a href="https://docs.rs/rayon/latest/rayon/struct.ThreadPoolBuilder.html"><code>ThreadPoolBuilder</code></a> can be used to create your own thread pools or customize the global one.</li>
</ul>
</li>
</ul>
<cite><a href="https://docs.rs/rayon/latest/rayon/">https://docs.rs/rayon/latest/rayon/</a></cite></blockquote>
<p>This tutorial will only cover the most basic method of parallelizing matrix multiplication using Rayon, which is using parallel iterators (more can be found at: <a href="https://docs.rs/rayon/latest/rayon/">https://docs.rs/rayon/latest/rayon/</a>). </p>
<p>The most naive way of matrix multiplication in Rust is shown below: </p>
<pre class="wp-block-code"><code>fn seq_mm(a: &[f64], b: &[f64], c: &mut [f64], n: usize) {
for i in 0..n {
for j in 0..n {
for k in 0..n {
c[i * n + j] += a[i * n + k] * b[k * n + j];
}
}
}
}</code></pre>
<p>By using <code>par_chunks_mut</code>, we can divide the matrix c into <code>n</code> distinct, separate sections, with each section smaller than or equal to <code>n</code>. Rayon then automatically processes these sections in parallel for us.</p>
<pre class="wp-block-code"><code>fn par_mm(a: &[f64], b: &[f64], c: &mut [f64], n: usize) {
c.par_chunks_mut(n)
.enumerate()
.for_each(|(i, c_row)| {
for j in 0..n {
for k in 0..n {
c_row[j] += a[i * n + k] * b[k * n + j];
}
}
});
}</code></pre>
<p>With <code>n=1000</code> and no other optimizations (meaning <code>cargo run</code>), the sequence matrix multiplication takes around 7 seconds to finish, while the parallel matrix multiplication takes only around 2 seconds.</p>
<h2 class="wp-block-heading">Conclusion</h2>
<p>In conclusion, Rayon in Rust seems to be beginner-friendly and easy to use, producing a relatively good performance without much work. If you are interested in Rayon or Rust, be sure to check out the <a href="https://doc.rust-lang.org/book/">Rust Book</a>. </p>
<ol class="wp-block-footnotes"><li id="e746a6bc-eea9-4342-bb4c-5f22b9d0ee12"><a href="https://doc.rust-lang.org/book/ch00-00-introduction.html">https://doc.rust-lang.org/book/ch00-00-introduction.html</a> <a href="#e746a6bc-eea9-4342-bb4c-5f22b9d0ee12-link"><img src="https://s0.wp.com/wp-content/mu-plugins/wpcom-smileys/twemoji/2/72x72/21a9.png" alt="↩" class="wp-smiley" style="height: 1em; max-height: 1em;" />︎</a></li><li id="42dbb7f4-62d7-4da0-ac83-a48288109d17"><a href="https://doc.rust-lang.org/book/ch04-00-understanding-ownership.html">https://doc.rust-lang.org/book/ch04-00-understanding-ownership.html</a> <a href="#42dbb7f4-62d7-4da0-ac83-a48288109d17-link"><img src="https://s0.wp.com/wp-content/mu-plugins/wpcom-smileys/twemoji/2/72x72/21a9.png" alt="↩" class="wp-smiley" style="height: 1em; max-height: 1em;" />︎</a></li></ol>]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2024/04/15/parallel-matrix-multiplication-in-rayon-rust/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://0.gravatar.com/avatar/3a5ca8ae696110a18236e3414f16bacff211f147d999081f45dd3a09c75887bd?s=96&d=identicon&r=G" medium="image">
<media:title type="html">ssun25</media:title>
</media:content>
<media:content url="https://roclocality.files.wordpress.com/2024/04/image.png?w=740" medium="image" />
</item>
<item>
<title>CSC 252/452 Computer Organization (Spring 2024)</title>
<link>https://roclocality.org/2024/01/10/csc-252-452-computer-organization-spring-2024/</link>
<comments>https://roclocality.org/2024/01/10/csc-252-452-computer-organization-spring-2024/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Wed, 10 Jan 2024 00:47:11 +0000</pubDate>
<category><![CDATA[teaching]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3359</guid>
<description><![CDATA[Chen Ding, Professor of Computer ScienceWFs 3:25pm to 4:40 Gavett 206 CSC 252 teaches the fundamentals of modern computer organization, including software and hardware interfaces, assembly languages and C, memory hierarchy and program optimization, data parallelism and GPUs. It shows the underlying physical reality which the virtual world including AI is built and depends on. […]]]></description>
<content:encoded><![CDATA[
<p>Chen Ding, Professor of Computer Science<br>WFs 3:25pm to 4:40 Gavett 206</p>
<p>CSC 252 teaches the fundamentals of modern computer organization, including software and hardware interfaces, assembly languages and C, memory hierarchy and program optimization, data parallelism and GPUs. It shows the underlying physical reality which the virtual world including AI is built and depends on.</p>
<h2 class="wp-block-heading">Textbooks</h2>
<p><strong>Introduction to Programming with RISC-V</strong> by Borin, <a href="https://riscv-programming.org/book/riscv-book.html" rel="nofollow">https://riscv-programming.org/book/riscv-book.html</a>, <strong>required: §1 to §7</strong>.</p>
<p><strong>Computer Systems: A Programmer’s Perspective</strong> 3rd Edition by Bryant and O’Hallaron, <strong>required: §1, §4.1-4.4, §5 to §12.</strong></p>
<p>For all other information, see <a href="https://learn.rochester.edu/">Blackboard</a>.</p>
<p>Except for using RISC-V as the main assembly language (rather than x86), the course is similar to the <a href="https://cs.rochester.edu/courses/252/spring2023/index.html">Spring 2023 course taught by Professor Yuhao Zhu</a>. The previous year page also includes <a href="https://cs.rochester.edu/courses/252/spring2023/handouts.html">a set of past exams, problem sets, and their solutions</a>.</p>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2024/01/10/csc-252-452-computer-organization-spring-2024/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
</item>
<item>
<title>Two examples of “modular” math</title>
<link>https://roclocality.org/2024/01/02/two-examples-of-modular-math/</link>
<comments>https://roclocality.org/2024/01/02/two-examples-of-modular-math/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Tue, 02 Jan 2024 16:28:53 +0000</pubDate>
<category><![CDATA[cs253]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3348</guid>
<description><![CDATA[Tangential to CSC 253/453 on software design but fun to explain when there is enough time in a lecture are these two math problems which are general composite properties that can be proved easily using simple building blocks. Theorem: If a complex value is a root of a polynomial of real-valued coefficients, so is its […]]]></description>
<content:encoded><![CDATA[
<p>Tangential to CSC 253/453 on software design but fun to explain when there is enough time in a lecture are these two math problems which are general composite properties that can be proved easily using simple building blocks.</p>
<p>Theorem: If a complex value is a root of a polynomial of real-valued coefficients, so is its conjugate.</p>
<p>To prove this for ALL such polynomials, we need just two properties of complex number arithmetic: (1) the conjugate of the sum is the sum of the conjugates, and (2) the conjugate of the product is the product of the conjugates. These are binary operations and can be shown easily. Then for any real-valued polynomial f(x), we have f(~x) = ~f(x) = ~0 = 0, and the theorem is proved.</p>
<p>Theorem: In a triangle, a median is a line from an end point to the center of the opposite side. For any triangle, its three medians meet at one point which is 1/3 the way from the end point to the edge.</p>
<p>To prove this for ALL triangles, we use a property of a single line segment. Let P be a mid-point on the line segment P1P2. Let the (complex-plane) coordinates of P1, P2, P be x, y, z, and the ratio r = P1P / PP2, then we have z = (x + ry) / (1 + r). If we use this equation to compute the coordinate of the 1/3-way point of the three medians, we’ll see that they are identical: 1/3(x1+x2+x3), where xs are the coordinates of the three end-points of the triangle.</p>
<p>Source: An Imaginary Tale — The Story of i, by Paul J. Nahin, Princeton U Press, 1998.</p>
<figure class="wp-block-image size-large"><a href="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg"><img width="748" height="751" data-attachment-id="3357" data-permalink="https://roclocality.org/2024/01/02/two-examples-of-modular-math/kaave-dimension-reduction-2/#main" data-orig-file="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg" data-orig-size="748,751" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="kaave-dimension-reduction" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg?w=682" src="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg?w=748" alt="" class="wp-image-3357" srcset="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg 748w, https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg?w=150 150w, https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg?w=300 300w" sizes="(max-width: 748px) 100vw, 748px" /></a></figure>
<p>Photo credit: AI generated by Kaave Hosseini for CSC 484 for “dimension reduction”</p>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2024/01/02/two-examples-of-modular-math/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
<media:content url="https://roclocality.files.wordpress.com/2024/01/kaave-dimension-reduction.jpg?w=748" medium="image" />
</item>
<item>
<title>CSC 253/453 Collaborative Software Design (Syllabus, Fall 2023)</title>
<link>https://roclocality.org/2023/12/11/csc-253-453-collaborative-software-design-syllabus-fall-2023/</link>
<comments>https://roclocality.org/2023/12/11/csc-253-453-collaborative-software-design-syllabus-fall-2023/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Mon, 11 Dec 2023 07:54:10 +0000</pubDate>
<category><![CDATA[cs253]]></category>
<category><![CDATA[algorithmic-fairness]]></category>
<category><![CDATA[david-parnas]]></category>
<category><![CDATA[frederick-brooks]]></category>
<category><![CDATA[functional-programming]]></category>
<category><![CDATA[john-stuart-mill]]></category>
<category><![CDATA[rust]]></category>
<category><![CDATA[software-design]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3338</guid>
<description><![CDATA[Chen Ding, Professor of Computer ScienceMWs 3:25pm to 4:40 Hylan 202 Modern software is complex and more than a single person can fully comprehend. This course teaches collaborative programming which is multi-person construction of software where each person’s contribution is non-trivial and clearly defined and documented. The material to study includes design principles, safe and […]]]></description>
<content:encoded><![CDATA[
<p>Chen Ding, Professor of Computer Science<br>MWs 3:25pm to 4:40 Hylan 202</p>
<p>Modern software is complex and more than a single person can fully comprehend. This course teaches collaborative programming which is multi-person construction of software where each person’s contribution is non-trivial and clearly defined and documented. The material to study includes design principles, safe and modular programming in modern programming languages, software teams and development processes, design patterns, and productivity tools. The assignments include collaborative programming and software design and development in teams. The primary programming language taught and used in the assignments is Rust. Students in CSC 453 have additional reading and requirements.</p>
<h2 class="wp-block-heading"><strong>Principles</strong></h2>
<ul>
<li>Essential Difficulties: Complexity, Conformity, Changeability</li>
<li>Module Criteria</li>
<li>The Modular Structure of Complex Software</li>
<li>Design and Development of Program Families</li>
<li>Designing for Software Extension and Contraction</li>
</ul>
<h2 class="wp-block-heading"><strong>Rust</strong> </h2>
<ul>
<li>Programming without Loops and Branches: Iterators, Closures</li>
<li>Error Handling: Option, Result</li>
<li>Code Reuse: Generic Type, Trait, Trait Bound</li>
<li>Memory Safety: Ownership, Borrow, Lifetime, Smart Pointer</li>
</ul>
<h2 class="wp-block-heading"><strong>Software Design</strong></h2>
<ul>
<li>Distributed Version Control</li>
<li>Behavioral Design Patterns: Command, New Type, RAII Guards, Strategy</li>
<li>Creational Design Pattern: Builder</li>
<li>Trait Object and State Pattern</li>
<li>Meta Programming </li>
<li>Logging and Serialization</li>
</ul>
<h2 class="wp-block-heading"><strong>Software Engineering</strong></h2>
<ul>
<li>Team</li>
<li>Unified Software Development Process</li>
<li>Testing</li>
<li>Code Review</li>
</ul>
<h2 class="wp-block-heading"><strong>Human Value</strong>s</h2>
<ul>
<li>Apportionment</li>
<li>Algorithmic Fairness</li>
<li>Fallibility and Truth Seeking</li>
</ul>
<blockquote class="wp-block-quote is-layout-flow wp-block-quote-is-layout-flow">
<p><strong>Past Students’ Comments</strong></p>
<cite>“Separation of concern is perhaps my favorite topic in software development right now; I love making software as modular and reusable as possible. Taking CSC 253 also helped me to understand the MVC architecture in mobile app development class almost immediately.” (Fall 2022)<br><br>“A huge part of the course is graded on a complete group project. You’re assigned a random group, and you better pray to get group members who show up to class and do their parts.” (Feb. 2023)<br><br>“The lessons on iterators truly opened my eyes to a whole new world of thinking about programming, and thinking about modules helped me understand the concept of information hiding and team collaboration, and especially communication and just how important it is. I will be bringing my learnings from your class to Seattle this summer for sure!” (Fall 2022)<br><br>“The most meaningful part is doing the final project – DVCS in group with other 4 outstanding classmates. In this project, I learned how Git works, how to apply the design principles into practice, and how to collaborate well with others in programming. The reward didn’t show up immediately when and after the class, but afterward when I looked for an SDE job and prepared for the interviews, I was reminded of what I learned in the CSC453 course and found out how useful it is to my career.” (Fall 2021)</cite></blockquote>
<blockquote class="wp-block-quote is-layout-flow wp-block-quote-is-layout-flow">
<p><strong>On Rust</strong></p>
<cite>“Speaking of languages, it’s time to halt starting any new projects in C/C++ and use Rust for those scenarios where a non-GC language is required. For the sake of security and reliability. the industry should declare those languages as deprecated.” – Mark Russinovich, CTO of Microsoft Azure, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools, 9/19/2022</cite></blockquote>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2023/12/11/csc-253-453-collaborative-software-design-syllabus-fall-2023/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
</item>
<item>
<title>CSC 258/458 Parallel and Distributed Systems Spring 2023</title>
<link>https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/</link>
<comments>https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Wed, 14 Jun 2023 13:16:45 +0000</pubDate>
<category><![CDATA[cs258]]></category>
<category><![CDATA[teaching]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3322</guid>
<description><![CDATA[Instructor: Professor Chen Ding Teaching Assistant: Owen Wacha Course Schedule: Final Projects with Introduction by Woody Wu and Presentation Slides Course Evaluation Result]]></description>
<content:encoded><![CDATA[
<p><strong>Instructor: Professor Chen Ding</strong></p>
<figure class="wp-block-image size-large is-resized"><a href="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg"><img data-attachment-id="3323" data-permalink="https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/dingsc22/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg" data-orig-size="4032,3024" data-comments-opened="1" data-image-meta="{"aperture":"1.6","credit":"","camera":"iPhone 12 mini","caption":"","created_timestamp":"1668594903","copyright":"","focal_length":"4.2","iso":"80","shutter_speed":"0.014925373134328","title":"","orientation":"1","latitude":"32.772869444444","longitude":"-96.802544444444"}" data-image-title="dingsc22" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=682" src="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=1024" alt="" class="wp-image-3323" width="348" height="261" srcset="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=348 348w, https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=696 696w, https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=150 150w, https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=300 300w" sizes="(max-width: 348px) 100vw, 348px" /></a></figure>
<p><strong>Teaching Assistant: Owen Wacha</strong></p>
<figure class="wp-block-image size-large is-resized"><a href="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png"><img loading="lazy" data-attachment-id="3325" data-permalink="https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/owen-wacha-ta-picture/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png" data-orig-size="572,650" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="owen-wacha-ta-picture" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=264" data-large-file="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=572" src="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=572" alt="" class="wp-image-3325" width="218" height="247" srcset="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=218 218w, https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=436 436w, https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=132 132w, https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=264 264w" sizes="(max-width: 218px) 100vw, 218px" /></a></figure>
<p><strong>Course Schedule:</strong></p>
<figure data-carousel-extra='{"blog_id":59712121,"permalink":"https:\/\/roclocality.org\/2023\/06\/14\/csc-258-458-parallel-and-distributed-systems-spring-2023\/"}' class="wp-block-gallery has-nested-images columns-default is-cropped wp-block-gallery-7 is-layout-flex wp-block-gallery-is-layout-flex">
<figure class="wp-block-image size-large"><a href="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png"><img loading="lazy" width="808" height="1024" data-attachment-id="3332" data-permalink="https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/schedule-3-22-2/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png" data-orig-size="852,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="schedule-3-22-2" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=237" data-large-file="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=682" data-id="3332" src="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=808" alt="" class="wp-image-3332" srcset="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=808 808w, https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=118 118w, https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=237 237w, https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=768 768w, https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png 852w" sizes="(max-width: 808px) 100vw, 808px" /></a></figure>
</figure>
<p><strong><a href="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/">Final Projects with Introduction by Woody Wu</a> and <a href="https://github.com/dcompiler/258s23">Presentation Slides</a></strong></p>
<p><strong>Course Evaluation Result</strong></p>
<figure class="wp-block-image size-large"><a href="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png"><img loading="lazy" width="1024" height="275" data-attachment-id="3333" data-permalink="https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/course-eval-summary/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png" data-orig-size="1904,512" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="course-eval-summary" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=682" src="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=1024" alt="" class="wp-image-3333" srcset="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=1024 1024w, https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=150 150w, https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=300 300w, https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=768 768w, https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png 1904w" sizes="(max-width: 1024px) 100vw, 1024px" /></a></figure>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2023/06/14/csc-258-458-parallel-and-distributed-systems-spring-2023/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
<media:content url="https://roclocality.files.wordpress.com/2023/06/dingsc22.jpg?w=1024" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/owen-wacha-ta-picture.png?w=572" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/schedule-3-22-2.png?w=808" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/course-eval-summary.png?w=1024" medium="image" />
</item>
<item>
<title>Exploring Parallel and Distributed Programming: Student Presentations Showcase Projects</title>
<link>https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/</link>
<comments>https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/#comments</comments>
<dc:creator><![CDATA[woodywhimsy]]></dc:creator>
<pubDate>Mon, 05 Jun 2023 19:35:55 +0000</pubDate>
<category><![CDATA[Uncategorized]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3274</guid>
<description><![CDATA[In the Spring 2023 semester, a group of Parallel and Distributed Programming (CSC 248/448) students showcased their remarkable research and implementations in a series of presentations. Their projects span a wide range of fields, from optimization algorithms to parallel computing frameworks. Here is some brief Information about their presentations. The presentation slides can be found […]]]></description>
<content:encoded><![CDATA[
<p>In the Spring 2023 semester, a group of Parallel and Distributed Programming (CSC 248/448) students showcased their remarkable research and implementations in a series of presentations. Their projects span a wide range of fields, from optimization algorithms to parallel computing frameworks. Here is some brief Information about their presentations.</p>
<ol>
<li>Aayush Poudel: Ant Colony Optimization (ACO) for the Traveling Salesman Problem (TSP)
<ul>
<li>Aayush Poudel’s presentation revolved around the fascinating application of Ant Colony Optimization to solve the Traveling Salesman Problem.</li>
<li><img data-attachment-id="3282" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/aayush-poudel/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/aayush-poudel.jpg" data-orig-size="3000,1687" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="Aayush Poudel" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/aayush-poudel.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/aayush-poudel.jpg?w=682" class="wp-image-3282" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/aayush-poudel.jpg" alt=""></li>
</ul>
</li>
<li>Matt Nappo: GPU Implementation of ACO for TSP In his presentation
<ul>
<li>By harnessing the parallel processing capabilities of GPUs, Matt demonstrated an efficient implementation of ACO for the Traveling Salesman Problem.</li>
<li></li>
</ul>
</li>
<li>Yifan Zhu and Zeliang Zhang: Parallel ANN Framework in Rust
<ul>
<li>Yifan Zhu and Zeliang Zhang collaborated on a project that involved building a parallel Artificial Neural Network (ANN) framework using the Rust programming language. Their framework leveraged the inherent parallelism in neural networks, unlocking increased performance and scalability. </li>
<li><img data-attachment-id="3288" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/yifan-zhu-001/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/yifan-zhu.001.jpeg" data-orig-size="1920,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="Yifan Zhu.001" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/yifan-zhu.001.jpeg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/yifan-zhu.001.jpeg?w=682" class="wp-image-3288" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/yifan-zhu.001.jpeg" alt=""><img data-attachment-id="3290" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/zeliang-zhang/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/zeliang-zhang.jpg" data-orig-size="3000,1687" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="Zeliang Zhang" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/zeliang-zhang.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/zeliang-zhang.jpg?w=682" class="wp-image-3290" style="width: 400px" src="https://roclocality.files.wordpress.com/2023/06/zeliang-zhang.jpg" alt=""></li>
</ul>
</li>
<li>Jiakun Fan: Implementing Software Transactional Memory using Rust
<ul>
<li>Jiakun Fan delved into concurrency control by implementing Software Transactional Memory (STM) using the Rust programming language. STM provides an alternative approach to traditional lock-based synchronization, allowing for simplified concurrent programming. Jiakun’s project showcased the feasibility of utilizing Rust’s unique features to build concurrent systems.</li>
<li><img data-attachment-id="3283" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/jiakun-fan/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/jiakun-fan.jpg" data-orig-size="4000,2250" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="Jiakun Fan" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/jiakun-fan.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/jiakun-fan.jpg?w=682" class="wp-image-3283" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/jiakun-fan.jpg" alt=""></li>
</ul>
</li>
<li>Shaotong Sun and Jionghao Han: PLUSS Sampler Optimization
<ul>
<li>Shaotong Sun and Jionghao Han collaborated on a project to optimize the PLUSS sampler. Their work involved enhancing the performance and efficiency of the sampler through parallelization techniques.</li>
<li><img data-attachment-id="3284" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/shaotong-sun/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/shaotong-sun.jpg" data-orig-size="1920,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"1"}" data-image-title="Shaotong Sun" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/shaotong-sun.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/shaotong-sun.jpg?w=682" class="wp-image-3284" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/shaotong-sun.jpg" alt=""></li>
</ul>
</li>
<li>Yiming Leng: Survey Study of Parallel A*
<ul>
<li>Yiming Leng undertook a comprehensive survey study exploring the parallelization of the A* search algorithm. A* is widely used in pathfinding and optimization problems, and Yiming’s research focused on the potential benefits and challenges of parallelizing this popular algorithm.</li>
<li><img data-attachment-id="3289" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/yiming-leng-parallel-astar-slides/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/yiming-leng-parallel-astar-slides.jpg" data-orig-size="1511,1133" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="yiming leng parallel astar slides" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/yiming-leng-parallel-astar-slides.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/yiming-leng-parallel-astar-slides.jpg?w=682" class="wp-image-3289" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/yiming-leng-parallel-astar-slides.jpg" alt=""></li>
</ul>
</li>
<li>Ziqi Feng: Design and Evaluation of a Parallel SAT Solver
<ul>
<li>Ziqi Feng’s presentation concerned designing and evaluating a parallel SAT (Satisfiability) solver. SAT solvers play a crucial role in solving Boolean satisfiability problems, and Ziqi’s project aimed to enhance their performance by leveraging parallel computing techniques.</li>
<li><img data-attachment-id="3292" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/ziqi-feng/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/ziqi-feng.jpg" data-orig-size="4000,2250" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"0"}" data-image-title="Ziqi Feng" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/ziqi-feng.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/ziqi-feng.jpg?w=682" class="wp-image-3292" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/ziqi-feng.jpg" alt=""></li>
</ul>
</li>
<li>Suumil Roy: Parallel Video Compression using MPI
<ul>
<li>Suumil Roy’s project focused on leveraging the Message Passing Interface (MPI) for parallel video compression. Video compression is crucial in various domains, including streaming and storage. By leveraging the power of parallel computing, Suumil demonstrated how MPI enables the efficient distribution of computational tasks across multiple processing units.</li>
<li><img data-attachment-id="3286" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/suumil-roy/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/suumil-roy.jpg" data-orig-size="1920,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"1"}" data-image-title="Suumil Roy" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/suumil-roy.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/suumil-roy.jpg?w=682" class="wp-image-3286" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/suumil-roy.jpg" alt=""></li>
</ul>
</li>
<li>Muhammad Qasim: A RAFT-based Key-Value Store Implementation
<ul>
<li>Muhammad Qasim’s presentation focused on implementing a distributed key-value store using the RAFT consensus algorithm. Key-value stores are fundamental data structures in distributed systems, and the RAFT consensus algorithm ensures fault tolerance and consistency among distributed nodes.</li>
<li><img data-attachment-id="3291" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/zhong-qasim-raft/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/zhong-qasim-raft.jpg" data-orig-size="1920,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"1"}" data-image-title="zhong qasim raft" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/zhong-qasim-raft.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/zhong-qasim-raft.jpg?w=682" class="wp-image-3291" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/zhong-qasim-raft.jpg" alt=""></li>
</ul>
</li>
<li>Donovan Zhong: RAFT-based Key-Value Storage Implementation
<ul>
<li>Donovan Zhong’s project complemented Muhammad’s work by presenting another RAFT-based key-value storage implementation perspective. Donovan’s implementation provided insights into the challenges and intricacies of building fault-tolerant and distributed key-value storage systems. </li>
</ul>
</li>
<li>Luchuan Song: Highly Parallel Tensor Computation for Classical Simulation of Quantum Circuits Using GPUs
<ul>
<li>Luchuan Song’s presentation unveiled an approach to parallel tensor computation for the classical simulation of quantum circuits. Quantum computing has the potential to revolutionize various industries, but its simulation on classical computers remains a challenging task. Luchuan’s project harnessed the power of Graphics Processing Units (GPUs) to accelerate tensor operations, allowing for efficient and scalable simulation of quantum circuits. </li>
<li><img data-attachment-id="3285" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/song-tensor-qcsim/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/song-tensor-qcsim.jpg" data-orig-size="1920,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"1"}" data-image-title="song tensor qcsim" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/song-tensor-qcsim.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/song-tensor-qcsim.jpg?w=682" class="wp-image-3285" style="width: 350px" src="https://roclocality.files.wordpress.com/2023/06/song-tensor-qcsim.jpg" alt=""></li>
</ul>
</li>
<li>Woody Wu and Will Nguyen: Parallel N-Body Simulation in Rust Programming Language
<ul>
<li>Working together as a team, Woody Wu and Will Nguyen tackled the intricate task of simulating N-body systems. N-body simulations involve modeling the interactions and movements of particles or celestial bodies, making them essential in various scientific domains. In collaboration, they presented their project using various parallel programming frameworks such as Rust Rayon, MPI, and OpenMP. By leveraging these powerful tools, they explored the realm of high-performance computing to achieve efficient and scalable simulations.</li>
<li><img data-attachment-id="3287" data-permalink="https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/woody_presentation1/#main" data-orig-file="https://roclocality.files.wordpress.com/2023/06/woody_presentation1.jpg" data-orig-size="1920,1080" data-comments-opened="1" data-image-meta="{"aperture":"0","credit":"","camera":"","caption":"","created_timestamp":"0","copyright":"","focal_length":"0","iso":"0","shutter_speed":"0","title":"","orientation":"1"}" data-image-title="Woody_Presentation1" data-image-description="" data-image-caption="" data-medium-file="https://roclocality.files.wordpress.com/2023/06/woody_presentation1.jpg?w=300" data-large-file="https://roclocality.files.wordpress.com/2023/06/woody_presentation1.jpg?w=682" class="wp-image-3287" style="width: 600px" src="https://roclocality.files.wordpress.com/2023/06/woody_presentation1.jpg" alt=""></li>
</ul>
</li>
</ol>
<p>The presentation slides can be found at <a href="https://github.com/dcompiler/258s23" rel="nofollow">https://github.com/dcompiler/258s23</a></p>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2023/06/05/exploring-the-frontiers-of-parallel-and-distributed-programming-student-presentations-showcase-projects/feed/</wfw:commentRss>
<slash:comments>1</slash:comments>
<media:content url="https://0.gravatar.com/avatar/08f4fce036a0f5f4a601f0bd3ede0999f0bddf9d34d473994ae646f0ffb633ab?s=96&d=identicon&r=G" medium="image">
<media:title type="html">woodywhimsy</media:title>
</media:content>
<media:content url="https://roclocality.files.wordpress.com/2023/06/aayush-poudel.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/yifan-zhu.001.jpeg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/zeliang-zhang.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/jiakun-fan.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/shaotong-sun.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/yiming-leng-parallel-astar-slides.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/ziqi-feng.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/suumil-roy.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/zhong-qasim-raft.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/song-tensor-qcsim.jpg" medium="image" />
<media:content url="https://roclocality.files.wordpress.com/2023/06/woody_presentation1.jpg" medium="image" />
</item>
<item>
<title>CSC 579 Machine-Checked Proofs Using Coq</title>
<link>https://roclocality.org/2022/12/30/csc-579-machine-checked-proofs-using-coq/</link>
<comments>https://roclocality.org/2022/12/30/csc-579-machine-checked-proofs-using-coq/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Fri, 30 Dec 2022 15:01:52 +0000</pubDate>
<category><![CDATA[teaching]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3233</guid>
<description><![CDATA[CSC 579 Spring 2023(R 9:40am to 10:55 Lechase 103) Syllabus]]></description>
<content:encoded><![CDATA[
<h2 class="wp-block-heading has-text-align-center">CSC 579 Spring 2023<br>(R 9:40am to 10:55 Lechase 103)</h2>
<h3 class="wp-block-heading">Syllabus</h3>
<ul>
<li>The Need for Training Thought: The Values of Thought. Tendencies Needing Constant Regulation. Regulation Transforms Inference into Proof.</li>
<li>Type Systems. Operational Semantics. Progress. Type Preservation. Type Soundness.</li>
<li>Functional Programming in Coq: Data and Functions. Proof by Simplification, Rewriting and Case Analysis.</li>
<li>Proof by Induction. Proofs Within Proofs. Formal vs. Informal Proof.</li>
<li>Lists, Options, Partial Maps.</li>
<li>Basic Tactics: apply, apply with, injection, discriminate, unfold, destruct.</li>
<li>Logic in Coq. Logical Connectives: Conjunction, Disjunction, Falsehood and Negation, Truth, Logical Equivalence, Logical Equivalence, Existential Quantification. Programming with Propositions. Applying Theorems to Arguments. Coq vs. Set Theory: Functional Extensionality, Propositions vs. Booleans, Classical vs. Constructive Logic.</li>
<li>Inductively Defined Propositions. Induction Principles for Propositions. Induction Over an Inductively Defined Set and an Inductively Defined Proposition.</li>
<li>The Curry-Howard Correspondence. Natural Deduction. Typed Lambda Calculus. Proof Scripts. Quantifiers, Implications, Functions. Logical Connectives as Inductive Types.</li>
</ul>
<div data-wp-interactive="core/file" class="wp-block-file"><object data-wp-bind--hidden="!state.hasPdfPreview" class="wp-block-file__embed" data="https://roclocality.files.wordpress.com/2022/12/schedule-12-22.pdf" type="application/pdf" style="width:100%;height:600px" aria-label="Embed of schedule-12-22."></object><a id="wp-block-file--media-85364642-36aa-443c-9e53-f1293e7e1a9c" href="https://roclocality.files.wordpress.com/2022/12/schedule-12-22.pdf">schedule-12-22</a><a href="https://roclocality.files.wordpress.com/2022/12/schedule-12-22.pdf" class="wp-block-file__button wp-element-button" download aria-describedby="wp-block-file--media-85364642-36aa-443c-9e53-f1293e7e1a9c">Download</a></div>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2022/12/30/csc-579-machine-checked-proofs-using-coq/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
</item>
<item>
<title>Jonathan Waxman UG Honor Thesis: Leasing by Learning Access Modes and Architectures (LLAMA)</title>
<link>https://roclocality.org/2022/12/14/jonathan-waxman-ug-honor-thesis-leasing-by-learning-access-modes-and-architectures-llama/</link>
<comments>https://roclocality.org/2022/12/14/jonathan-waxman-ug-honor-thesis-leasing-by-learning-access-modes-and-architectures-llama/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Wed, 14 Dec 2022 20:15:26 +0000</pubDate>
<category><![CDATA[Uncategorized]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3228</guid>
<description><![CDATA[Leasing by Learning Access Modes and Architectures (LLAMA)Jonathan Waxman November 2022 Lease caching and similar technologies yield high performance in both theoretical and practical caching spaces. This thesis proposes a method of lease caching in fixed-size caches that is robust against thrashing, implemented and evaluated in Rust.]]></description>
<content:encoded><![CDATA[
<p>Leasing by Learning Access Modes and Architectures (LLAMA)<br>Jonathan Waxman </p>
<p>November 2022<br><br>Lease caching and similar technologies yield high performance in both theoretical and practical caching spaces. This thesis proposes a method of lease caching in fixed-size caches that is robust against thrashing, implemented and evaluated in Rust.</p>
<div data-wp-interactive="core/file" class="wp-block-file"><object data-wp-bind--hidden="!state.hasPdfPreview" class="wp-block-file__embed" data="https://roclocality.files.wordpress.com/2022/12/jonathan_waxman_ug_thesis_20022-llama.pdf" type="application/pdf" style="width:100%;height:600px" aria-label="Embed of jonathan_waxman_ug_thesis_20022-llama."></object><a id="wp-block-file--media-b1511baa-cd4d-4914-9e72-693c908d0f6d" href="https://roclocality.files.wordpress.com/2022/12/jonathan_waxman_ug_thesis_20022-llama.pdf">jonathan_waxman_ug_thesis_20022-llama</a><a href="https://roclocality.files.wordpress.com/2022/12/jonathan_waxman_ug_thesis_20022-llama.pdf" class="wp-block-file__button wp-element-button" download aria-describedby="wp-block-file--media-b1511baa-cd4d-4914-9e72-693c908d0f6d">Download</a></div>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2022/12/14/jonathan-waxman-ug-honor-thesis-leasing-by-learning-access-modes-and-architectures-llama/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
</item>
<item>
<title>CSC 253/453 Fall 2022</title>
<link>https://roclocality.org/2022/08/15/csc-253-453-fall-2022/</link>
<comments>https://roclocality.org/2022/08/15/csc-253-453-fall-2022/#respond</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Mon, 15 Aug 2022 14:11:28 +0000</pubDate>
<category><![CDATA[Uncategorized]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3214</guid>
<description><![CDATA[Collaborative Programming and Software Design Prerequisites: CSC 172 or equivalent for CSC 253.  CSC 172 and CSC 252 or equivalent for CSC 453 and TCS 453. Modern software is complex and more than a single person can fully comprehend. This course teaches collaborative programming which is multi-person construction of software where each person’s contribution is […]]]></description>
<content:encoded><![CDATA[
<h2 class="wp-block-heading"><strong>Collaborative Programming and Software Design</strong></h2>
<p><strong>Prerequisites</strong>: <em>CSC 172 or equivalent for CSC 253.  CSC 172 and CSC 252 or equivalent for CSC 453 and TCS 453.</em></p>
<p>Modern software is complex and more than a single person can fully comprehend. This course teaches collaborative programming which is multi-person construction of software where each person’s contribution is non-trivial and clearly defined and documented. The material to study includes design principles, safe and modular programming in modern programming languages including Rust, software teams and development processes, design patterns, and productivity tools. The assignments include collaborative programming and software design and development in teams. Students in CSC 453 and TCS 453 have additional reading and requirements.</p>
<h2 class="wp-block-heading">Syllabus</h2>
<ul><li>SOFTWARE DESIGN<ul><li>Essential Difficulties<ul><li>Complexity, conformity, changeability, invisibility. Their definitions, causes, and examples. Social and societal impacts of computing.</li></ul></li><li>Module Design Concepts<ul><li>Thinking like a computer and its problems. Four criteria for a module. Modularization by flowcharts vs information hiding. The module structure of a complex system. Module specification.</li></ul></li><li>Software Design Principles<ul><li>Multi-version software design, i.e. program families. Stepwise refinement vs. module specification. Design for prototyping and extension. USE relation.</li></ul></li><li>Software Engineering Practice<ul><li>Unified software development process, and its five workflows and four phases. CMM Maturity.</li></ul></li><li>Teamwork<ul><li>Types of teams: democratic, chief programmer, hybrids. Independence, diversity, and principles of liberty. Ethics and code of conducts.</li></ul></li></ul></li><li>PROGRAM DESIGN USING RUST<ul><li>Safe Programming<ul><li>Variant types and pattern matching. Slices. Mutability. Ownership, borrow, and lifetime annotations. Smart pointers.</li></ul></li><li>Abstraction and Code Reuse<ul><li>Iterators. Error processing. Generic types and traits. Writing tests. Modules, crates, and packages. Design patterns: iterators, builders, decorators, newtype, strategy, rail, state. Meta-programming.</li></ul></li><li>Meta-programming (453 Only)<ul><li>Declarative and procedural macros. Derived traits.</li></ul></li><li>Software Tools<ul><li>Distributed version control. Logging. Serialization.</li></ul></li></ul></li></ul>
<div class="wp-block-group"><div class="wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow"></div></div>
<p>The full course information and material are released through <a href="http://learn.rochester.edu">learn.rochester.edu.</a></p>
<p><a href="https://roclocality.org/2022/02/21/csc-253-collaborative-software-design-rate-my-professor-chen-ding/">A summary of the student evaluation for the 2021 course. </a></p>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2022/08/15/csc-253-453-fall-2022/feed/</wfw:commentRss>
<slash:comments>0</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
</item>
<item>
<title>CSC 253 Collaborative Software Design Rate My Professor Chen Ding</title>
<link>https://roclocality.org/2022/02/21/csc-253-collaborative-software-design-rate-my-professor-chen-ding/</link>
<comments>https://roclocality.org/2022/02/21/csc-253-collaborative-software-design-rate-my-professor-chen-ding/#comments</comments>
<dc:creator><![CDATA[dcompiler]]></dc:creator>
<pubDate>Mon, 21 Feb 2022 14:18:06 +0000</pubDate>
<category><![CDATA[cs253]]></category>
<category><![CDATA[teaching]]></category>
<guid isPermaLink="false">http://roclocality.org/?p=3182</guid>
<description><![CDATA[University of Rochester Computer Science CSC 253/453 and TCS 453 Collaborative Programming and Software Design Modern software is complex and more than a single person can fully comprehend. This course teaches collaborative programming which is multi-person construction of software where each person’s contribution is non-trivial and clearly defined and documented. The material to study includes design […]]]></description>
<content:encoded><![CDATA[
<p><strong>University of Rochester Computer Science</strong></p>
<p><strong>CSC 253/453 and TCS 453 Collaborative Programming and Software Design</strong></p>
<p>Modern software is complex and more than a single person can fully comprehend. This course teaches collaborative programming which is multi-person construction of software where each person’s contribution is non-trivial and clearly defined and documented. The material to study includes design principles, safe and modular programming in modern programming languages, software teams and development processes, design patterns, and productivity tools. The assignments include collaborative programming and software design and development in teams. The primary programming language taught and used in the assignments is Rust. Students in CSC 453 have additional reading and requirements.</p>
<p><em>Prerequisites: CSC 172 or equivalent for CSC 253 and TCS 453. CSC 172 and CSC 252 or equivalent for CSC 453. </em> </p>
<p><strong>Fall 2020 Student Evaluation </strong></p>
<p>Anonymous inputs were collected by the university before the final exam. 14 out of 33 students (44%) submitted the evaluation. </p>
<p>The overall Instructor Rating is 4.21 and Course Rating 4.00.</p>
<p>Among the individual questions, the highest are 4.79 (The instructor was willing to listen to student questions and/or opinions), 4.71 (The instructor demonstrated sincere respect for students), and two COVID related questions both are 4.54 (the instructor clearly articulated course expectations to students, and the instructor noticed when students did not understand course material and adjusted accordingly). The lowest are 3.71 (The exams/assignments were clearly worded) and 3.93 (The instructor used examples that helped with understanding the material).</p>
]]></content:encoded>
<wfw:commentRss>https://roclocality.org/2022/02/21/csc-253-collaborative-software-design-rate-my-professor-chen-ding/feed/</wfw:commentRss>
<slash:comments>1</slash:comments>
<media:content url="https://2.gravatar.com/avatar/bb1288802728ab165dbb621d90d7a89171da1a576aff99a753e919ee95b9f4ae?s=96&d=identicon&r=G" medium="image">
<media:title type="html">dcompiler</media:title>
</media:content>
</item>
</channel>
</rss>

If you would like to create a banner that links to this page (i.e. this validation result), do the following:

Download the "valid RSS" banner.
Upload the image to your own server. (This step is important. Please do not link directly to the image on this server.)
Add this HTML to your page (change the image src attribute if necessary):

<a href="http://www.feedvalidator.org/check.cgi?url=http%3A//roclocality.wordpress.com/feed"><img src="valid-rss-rogers.png" alt="[Valid RSS]" title="Validate my RSS feed" /></a>

If you would like to create a text link instead, here is the URL you can use:

http://www.feedvalidator.org/check.cgi?url=http%3A//roclocality.wordpress.com/feed

Home · About · News · Docs · Terms