Skip to content

Jingshu Chen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

10

Active years

2006–2023

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2023CNSMBridging Resource Prediction and System Management: A Case Study in Cloud Systems.Justin Kur, Ji Xue, Jingshu Chen, Jun Huang
2022UCCResolution Matters: Revisiting Prediction-Based Job Co-location in Public Clouds.Justin Kur, Jingshu Chen, Ji Xue, Jun Huang
2015OPODISEnsuring Average Recovery with Adversarial Scheduler.Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni
2015SSSRefinement of Probabilistic Stabilizing Programs Using Genetic Algorithms.Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni
2014CHITwitch crowdsourcing: crowd contributions in short bursts of time.Rajan Vaish, Keith Wyngarden, Jingshu Chen, Brandon Cheung, Michael S. Bernstein
2013ICDCNSMT-Based Model Checking for Stabilizing ProgramsJingshu Chen, Sandeep S. Kulkarni
2013UISTVisimu: a game for music color label collection.Borui Wang, Jingshu Chen
2012APCCA parallel digital hardware generator of White Gaussian noise stressing on crest factor.Ziya Xu, Jingshu Chen, Lu Xu, Wanyu Wang
2012ICDCNApplication of Automated Revision for UML Models: A Case Study.Jingshu Chen, Sandeep S. Kulkarni
2012SSSBrief Announcement: Verification of Stabilizing Programs with SMT Solvers.Jingshu Chen, Sandeep S. Kulkarni
2010ICDCSComplexity Analysis of Weak Multitolerance.Jingshu Chen, Sandeep S. Kulkarni
2010OPODISEffect of Fairness in Model Checking of Self-stabilizing Programs.Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni
2006APSCCA New Architecture of Data Access Middleware under Grid Environment.Qingyang Wang, Jingshu Chen, Xibin Gao, Wei Zhou, Baoping Yan