<mediawiki xmlns="http://www.mediawiki.org/xml/export-0.11/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.mediawiki.org/xml/export-0.11/ http://www.mediawiki.org/xml/export-0.11.xsd" version="0.11" xml:lang="en">
  <siteinfo>
    <sitename>Rongcui Dong @ UR</sitename>
    <dbname>rdong3_wiki</dbname>
    <base>https://cs.rochester.edu/u/rdong3/Main_Page</base>
    <generator>MediaWiki 1.38.6</generator>
    <case>first-letter</case>
    <namespaces>
      <namespace key="-2" case="first-letter">Media</namespace>
      <namespace key="-1" case="first-letter">Special</namespace>
      <namespace key="0" case="first-letter" />
      <namespace key="1" case="first-letter">Talk</namespace>
      <namespace key="2" case="first-letter">User</namespace>
      <namespace key="3" case="first-letter">User talk</namespace>
      <namespace key="4" case="first-letter">Project</namespace>
      <namespace key="5" case="first-letter">Project talk</namespace>
      <namespace key="6" case="first-letter">File</namespace>
      <namespace key="7" case="first-letter">File talk</namespace>
      <namespace key="8" case="first-letter">MediaWiki</namespace>
      <namespace key="9" case="first-letter">MediaWiki talk</namespace>
      <namespace key="10" case="first-letter">Template</namespace>
      <namespace key="11" case="first-letter">Template talk</namespace>
      <namespace key="12" case="first-letter">Help</namespace>
      <namespace key="13" case="first-letter">Help talk</namespace>
      <namespace key="14" case="first-letter">Category</namespace>
      <namespace key="15" case="first-letter">Category talk</namespace>
      <namespace key="502" case="first-letter">User blog</namespace>
      <namespace key="503" case="first-letter">User blog talk</namespace>
      <namespace key="828" case="first-letter">Module</namespace>
      <namespace key="829" case="first-letter">Module talk</namespace>
      <namespace key="2300" case="first-letter">Gadget</namespace>
      <namespace key="2301" case="first-letter">Gadget talk</namespace>
      <namespace key="2302" case="case-sensitive">Gadget definition</namespace>
      <namespace key="2303" case="case-sensitive">Gadget definition talk</namespace>
    </namespaces>
  </siteinfo>
  <page>
    <title>Main Page</title>
    <ns>0</ns>
    <id>1</id>
    <revision>
      <id>18</id>
      <parentid>17</parentid>
      <timestamp>2025-11-17T15:04:26Z</timestamp>
      <contributor>
        <username>Rdong3</username>
        <id>1</id>
      </contributor>
      <comment>Add publication</comment>
      <origin>18</origin>
      <model>wikitext</model>
      <format>text/x-wiki</format>
      <text bytes="1332" sha1="938feeiuibz8u9khirfwjbf99c31l7z" xml:space="preserve">== &lt;code&gt;whoami&lt;/code&gt; ==


A PhD student at [https://cs.rochester.edu/ University of Rochester, CS Department]. Currently working with [https://cs.rochester.edu/~sree/ Prof. Sreepathi Pai].

You can read some [[Special:ArticlesHome|Blogs]]. There might also be some linked knowledge.

== Technology Stack ==
I use [https://www.haskell.org/ Haskell], [https://www.rust-lang.org/ Rust], and [https://julialang.org/ Julia] extensively. For systems scripting, I go for [https://www.ruby-lang.org/en/ Ruby] or [https://www.python.org/ Python]. Should I need anything really low level, I use C. For hardware, I use Verilog.

Currently also interested in:

* [https://lamport.azurewebsites.net/tla/tla.html TLA+]
* [https://github.com/Z3Prover/z3 Z3]
* [https://coq.inria.fr/ Coq]

== Research Projects ==

== Other Projects ==

* [https://github.com/rongcuid/MSCC Mad Scientist Carl’s Core], a RISC-V RV32I M-privilege softcore on Artix 7
* [https://github.com/rongcuid/gqlforum-rs gqlforum-rs], an experimental full-stack Rust forum (not to be used in production)

== Publications ==

* Dong, Rongcui, and Sreepathi Pai. “Modeling Utilization to Identify Shared-Memory Atomic Bottlenecks.” Proceedings of the 17th Workshop on General Purpose Processing Using GPU, ACM, March 2025, 14–20. https://doi.org/10.1145/3725798.3725801.</text>
      <sha1>938feeiuibz8u9khirfwjbf99c31l7z</sha1>
    </revision>
  </page>
</mediawiki>
