Shu-Chun Weng

1.1k total citations · 1 hit paper
13 papers, 683 citations indexed

About

Shu-Chun Weng is a scholar working on Artificial Intelligence, Computer Networks and Communications and Information Systems. According to data from OpenAlex, Shu-Chun Weng has authored 13 papers receiving a total of 683 indexed citations (citations by other indexed papers that have themselves been cited), including 9 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 5 papers in Information Systems. Recurrent topics in Shu-Chun Weng's work include Logic, programming, and type systems (7 papers), Distributed systems and fault tolerance (6 papers) and Security and Verification in Computing (4 papers). Shu-Chun Weng is often cited by papers focused on Logic, programming, and type systems (7 papers), Distributed systems and fault tolerance (6 papers) and Security and Verification in Computing (4 papers). Shu-Chun Weng collaborates with scholars based in United States, Taiwan and Singapore. Shu-Chun Weng's co-authors include Alexander Thomson, Kun Ren, Daniel J. Abadi, Bryan Ford, Amittai Aviram, Sen Hu, Zhong Shao, Jérémie Koenig, Jan Hoffmann and Tahina Ramananandro and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Database Systems and ACM SIGPLAN Notices.

In The Last Decade

Shu-Chun Weng

12 papers receiving 650 citations

Hit Papers

Calvin 2012 2026 2016 2021 2012 100 200 300
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Calvin
    2012 325 citations Alexander Thomson, Shu-Chun Weng et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Shu-Chun Weng United States 9 532 278 218 209 74 13 683
Manos Kapritsos United States 11 457 0.9× 202 0.7× 172 0.8× 99 0.5× 76 1.0× 17 557
Pierre-Évariste Dagand France 7 475 0.9× 283 1.0× 199 0.9× 427 2.0× 54 0.7× 11 637
Elliot K. Kolodner Israel 15 479 0.9× 164 0.6× 346 1.6× 444 2.1× 47 0.6× 51 711
Mingzhe Hao United States 11 632 1.2× 323 1.2× 77 0.4× 179 0.9× 47 0.6× 13 678
Doug Woos United States 8 336 0.6× 130 0.5× 147 0.7× 112 0.5× 78 1.1× 13 420
Mohsen Vakilian United States 8 411 0.8× 230 0.8× 177 0.8× 377 1.8× 30 0.4× 22 600
Kazuaki Ishizaki Japan 12 275 0.5× 176 0.6× 314 1.4× 436 2.1× 55 0.7× 29 583
Mario Wolczko United States 11 292 0.5× 145 0.5× 276 1.3× 390 1.9× 50 0.7× 20 574
Adam Leventhal United States 6 390 0.7× 163 0.6× 116 0.5× 165 0.8× 16 0.2× 6 460
Mark Mergen United States 10 618 1.2× 281 1.0× 293 1.3× 563 2.7× 28 0.4× 12 818

Countries citing papers authored by Shu-Chun Weng

Since Specialization
Citations

This map shows the geographic impact of Shu-Chun Weng's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Shu-Chun Weng with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Shu-Chun Weng more than expected).

Fields of papers citing papers by Shu-Chun Weng

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Shu-Chun Weng. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Shu-Chun Weng. The network helps show where Shu-Chun Weng may publish in the future.

Co-authorship network of co-authors of Shu-Chun Weng

This figure shows the co-authorship network connecting the top 25 collaborators of Shu-Chun Weng. A scholar is included among the top collaborators of Shu-Chun Weng based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Shu-Chun Weng. Shu-Chun Weng is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

13 of 13 papers shown
1.
Sjöberg, Vilhelm, et al.. (2019). DeepSEA: a language for certified system software. Proceedings of the ACM on Programming Languages. 3(OOPSLA). 1–27. 6 indexed citations
2.
Hoffmann, Jan, et al.. (2017). Towards automatic resource bound analysis for OCaml. ACM SIGPLAN Notices. 52(1). 359–373. 7 indexed citations
3.
Hoffmann, Jan, et al.. (2016). Towards automatic resource bound analysis for OCaml. 359–373. 45 indexed citations
4.
Ramananandro, Tahina, et al.. (2015). A Compositional Semantics for Verified Separate Compilation and Linking. 3–14. 12 indexed citations
5.
Gu, Ronghui, Jérémie Koenig, Tahina Ramananandro, et al.. (2015). Deep Specifications and Certified Abstraction Layers. ACM SIGPLAN Notices. 50(1). 595–608. 15 indexed citations
6.
Syta, Ewa, Henry Corrigan-Gibbs, Shu-Chun Weng, et al.. (2014). Security Analysis of Accountable Anonymity in Dissent. ACM Transactions on Information and System Security. 17(1). 1–35. 9 indexed citations
7.
Gu, Ronghui, Jérémie Koenig, Tahina Ramananandro, et al.. (2014). Deep Specifications and Certified Abstraction Layers. 595–608. 105 indexed citations
8.
Thomson, Alexander, et al.. (2014). Fast Distributed Transactions and Strongly Consistent Replication for OLTP Database Systems. ACM Transactions on Database Systems. 39(2). 1–39. 20 indexed citations
9.
Thomson, Alexander, et al.. (2012). Calvin. 1–12. 325 indexed citations breakdown →
10.
Aviram, Amittai, Shu-Chun Weng, Sen Hu, & Bryan Ford. (2012). Efficient system-enforced deterministic parallelism. Communications of the ACM. 55(5). 111–119. 28 indexed citations
11.
Chen, Kung, et al.. (2011). Side-effect localization for lazy, purely functional languages via aspects. LISP and Symbolic Computation. 24(1-2). 151–189. 1 indexed citations
12.
Aviram, Amittai, Shu-Chun Weng, Sen Hu, & Bryan Ford. (2010). Efficient system-enforced deterministic parallelism. Operating Systems Design and Implementation. 193–206. 109 indexed citations
13.
Chen, Kung, et al.. (2009). Designing aspects for side-effect localization. National University of Singapore. 189–198. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Manos Kapritsos Breakdown of academic impact, for papers by Pierre-Évariste Dagand Breakdown of academic impact, for papers by Elliot K. Kolodner Breakdown of academic impact, for papers by Mingzhe Hao Breakdown of academic impact, for papers by Doug Woos Breakdown of academic impact, for papers by Mohsen Vakilian Breakdown of academic impact, for papers by Kazuaki Ishizaki Breakdown of academic impact, for papers by Mario Wolczko Breakdown of academic impact, for papers by Adam Leventhal Breakdown of academic impact, for papers by Mark Mergen
Rankless by CCL
2026