Main Page: Difference between revisions
No edit summary |
(Add publication) |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
< | == <code>whoami</code> == | ||
== | 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. | |||
* [https:// | == Technology Stack == | ||
* [https:// | 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. | |||
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
- Mad Scientist Carl’s Core, a RISC-V RV32I M-privilege softcore on Artix 7
- 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.