Main Page: Difference between revisions

From Rongcui Dong @ UR
Tag: Reverted
(Add publication)
 
(One intermediate revision by the same user not shown)
Line 14: Line 14:
* [https://github.com/Z3Prover/z3 Z3]
* [https://github.com/Z3Prover/z3 Z3]
* [https://coq.inria.fr/ Coq]
* [https://coq.inria.fr/ Coq]
Other languages I am eyeing on:
* [https://ziglang.org/ Zig], ''compile-time duck typing'' which can implement some dependent types in a language, surprise, which aims to replace C


== Research Projects ==
== Research Projects ==
Line 27: Line 23:


== Publications ==
== 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.

Latest revision as of 10:04, 17 November 2025

whoami

A PhD student at University of Rochester, CS Department. Currently working with Prof. Sreepathi Pai.

You can read some Blogs. There might also be some linked knowledge.

Technology Stack

I use Haskell, Rust, and Julia extensively. For systems scripting, I go for Ruby or Python. Should I need anything really low level, I use C. For hardware, I use Verilog.

Currently also interested in:

Research Projects

Other Projects

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.