Welcome to Ding鈥檚 page!

<!DOCTYPE html> <html lang="en-US"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1">  <title>Welcome to Ding鈥檚 page! | Ding Ding</title> <meta name="generator" content="Jekyll v3.10.0" /> <meta property="og:title" content="Welcome to Ding鈥檚 page!" /> <meta property="og:locale" content="en_US" /> <link rel="canonical" href="https://derfischer.github.io/" /> <meta property="og:url" content="https://derfischer.github.io/" /> <meta property="og:site_name" content="Ding Ding" /> <meta property="og:type" content="website" /> <meta name="twitter:card" content="summary" /> <meta property="twitter:title" content="Welcome to Ding鈥檚 page!" /> <script type="application/ld+json"> {"@context":"https://schema.org","@type":"WebSite","headline":"Welcome to Ding鈥檚 page!","name":"Ding Ding","publisher":{"@type":"Organization","logo":{"@type":"ImageObject","url":"https://derfischer.github.io/DSCF0028.jpg"}},"url":"https://derfischer.github.io/"}</script>  <link rel="stylesheet" href="/assets/css/style.css?v=008b402aa298f63ae1dfd2403cc01463fc09cc1f">       </head> <body> <div class="wrapper"> <header> <h1><a href="https://derfischer.github.io/">Ding Ding</a></h1> <img src="https://derfischer.github.io/DSCF0028.jpg" alt="Logo" /> <p></p> <p class="view"><a href="https://github.com/derFischer">View My GitHub Profile</a></p> </header> <section> <h2 id="welcome-to-dings-page">Welcome to Ding鈥檚 page!</h2> <h3 id="ddingnyuedu">dding@nyu.edu</h3> <p>I am a 5th year Ph.D. student at <a href="https://cs.nyu.edu/home/index.html">New York Universty</a>. I am advised by <a href="http://www.news.cs.nyu.edu/~jinyang/">Prof. Jinyang Li</a> and <a href="https://cs.nyu.edu/~apanda/">Prof. Aurojit Panda</a>.</p> <p>Previously I was advised by <a href="https://ipads.se.sjtu.edu.cn/pub/members/zhaoguo_wang">Prof. Zhaoguo Wang</a> at Institute of Parallel and Distributed Systems (<a href="https://ipads.se.sjtu.edu.cn/start">IPADS</a>), Shanghai Jiao Tong University.</p> <p>I have done a research internship in <a href="https://orderlab.io/">Order Lab</a> at <a href="https://www.jhu.edu/">Johns Hopkins University</a> in 2019 summer, advised by <a href="https://www.cs.jhu.edu/~huang/">Prof. Ryan Peng Huang</a>, focusing on detecting gray failures in distributed systems.</p> <h2 id="education">Education</h2> <h3 id="new-york-university-sep-2020---present">New York University, Sep. 2020 - Present</h3> <p>5th year, Computer Science Ph.D. Program</p> <h3 id="shanghai-jiao-tong-university-sep-2015---jun-2020">Shanghai Jiao Tong University, Sep. 2015 - Jun. 2020</h3> <p>B.Eng in Software Engineering (first year major in Architecture)</p> <h2 id="publication">Publication</h2> <h3 id="runtime-protocol-refinement-checking-for-distributed-protocol-implementations">Runtime Protocol Refinement Checking for Distributed Protocol Implementations</h3> <p><strong>Ding Ding</strong>, Zhanghan Wang, Jinyang Li, Aurojit Panda <em>Networked Systems Design and Implementation (NSDI), 2025</em></p> <h3 id="wetune-automatic-discovery-and-verification-of-query-rewrite-rules">WeTune: Automatic discovery and verification of query rewrite rules</h3> <p>Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, <strong>Ding Ding</strong>, Chuzhe Tang, Haibo Chen, and Jinyang Li</p> <p><em>ACM SIGMOD International Conference on Management of Data (SIGMOD), 2022</em></p> <h3 id="polyjuice-high-performance-transactions-via-learned-concurrency-control-talk">Polyjuice: High-Performance Transactions via Learned Concurrency Control <a href="https://www.usenix.org/conference/osdi21/presentation/wang-jiachen">[talk]</a></h3> <p>Jiachen Wang*, <strong>Ding Ding*</strong> (* equal contribution), Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, and Jinyang Li</p> <p><em>Operating Systems Design and Implementation (OSDI), 2021</em></p> <h2 id="work-experience">Work Experience</h2> <ul> <li>Research Intern, VMware Research Group, Palo Alto, June 2022 - August 2022</li> <li>Software Dev Engineer Intern, Amazon Web Service, Shanghai, July 2020 - August 2020</li> </ul> </section> <footer> <p><small>Hosted on GitHub Pages — Theme by <a href="https://github.com/orderedlist">orderedlist</a></small></p> </footer> </div> <script src="/assets/js/scale.fix.js"></script> </body> </html>

CINXE.COM

Welcome to Ding鈥檚 page! | Ding Ding