My current research focuses on (1) static and dynamic program analysis on locality for both sequential and parallel programs and (2) program synthesis for locality analysis. I have broad interests in system software (compilers and operating systems), parallel computing, memory management, and program synthesis.

ALL of my research is public and open-sourced.

Dong Chen (陈 东)


jameschennerd at gmail dot com

Projects

1. Program Synthesis for Locality Analysis
    Program synthesis moves programming to a higher level by coding intuitions instead of algorithm details. It also can be seen as extanding compiling with searching, which changes the way we design program optimization passes in compiler. This project is trying to synthesis for static locality analysis.
2. Compiler Assigned Reference Leasing [LCPC'19] [MEMSYS'19] [MEMSYS'20] [ISMM'21]
    Conventional compilers usually optimize cache performance by reducing the memory footprint, as it has limited or no control of the data replacements in cache. This project is trying to enable the fine-grained replacement control by program or compiler with lease cache. A hardware prototype of lease cache and a compiler pass to assign leases for references are designed.Source code
3. Static Sampling for Locality Analysis [PLDI'18] [PPoPP'20-poster]
Description
    This project builds a compiler tool that predicts the cache performance of compiler-time enumerable loop nests statically. The tool constructs a specialized version of the loops to sampling reuse intervals and it is implemented as a LLVM analysis pass. This technique can also be applied to parallelized loops, such as CUDA kernels and OpenMP. Source Code
4. Write Locality [MEMSYS'16]
Description
    This project proposes a locality model for writebacks. As persistent memory has limited write endurance, quantify writebacks from the cache can guide the optimizations for writes. It provides a linear-time algorithm to analyze writebacks for all all cache sizes and a dynamic programming algorithm to minimize the writebacks for co-run program based on sole-run profiling. Source Code
5. OpenCL Performance Portibility [HPCC'13][Euro-Par'14]
Description
    This project targets on different computing devices with different architectures (CPU, GPU, MIC), optimizations to improve performance of OpenCL programs are summarized. A performance concerned code transformation (from fine-grained program to coarse-grained program) is being studied.
Project 1 for now is independent research.
Projects 2,3,4 started before PhD graduation, supervided by (Prof. Chen Ding in University of Rochester).
Project 5 is master's work in NUDT and stopped before PhD.

Publications

Selected Publications, the full list can be found in Google Scholar
More...

Fun

Books 《The Burnout Society》Byung-Chul Han, 《倦怠社会》韩炳哲
《The Transparency Society》Byung-Chul Han, 《透明社会》韩炳哲
《The Agony of Eros》Byung-Chul Han, 《爱欲之死》韩炳哲
《Topology of Violence》Byung-Chul Han, 《暴力拓扑学》韩炳哲
《Good Entertainment: A Deconstruction of the Western Passion Narrative》Byung-Chul Han, 《娱乐何为》韩炳哲
《In the Swarm: Digital Prospects》Byung-Chul Han, 《在群中:数字媒体时代的大众心理学》韩炳哲
《All God's Children Can Dance》Haruki Murakami, 《神的孩子全跳舞》村上春树
《Men Without Women: Stories》Haruki Murakami, 《没有女人的男人们》村上春树
《What I Talk About When I Talk About Running: A Memoir》Haruki Murakami, 《当我跑步时,我在谈些什么》村上春树
《The Elephant Vanishes: Stories》Haruki Murakami, 《象场喜剧》村上春树
《My Profession is a Novelist》Haruki Murakami, 《我的职业是小说家》村上春树
《The Deal of a Lifetime: A Novella》Fredrik Backman, 《时间的礼物》弗雷德里克·巴克曼
《Kokoro》Natsume Soseki, 《心》夏目漱石
《Silent Majority》Xiaobo Wang, 《沉默的大多数》王小波
《The Man Who Mistook His Wife For A Hat: And Other Clinical Tales》Oliver Sacks, 《错把妻子当帽子》奥利弗·萨克斯
《Nonviolent Communication》Marshall B. Rosenberg, 《非暴力沟通》马歇尔·卢森堡
《The Stranger》Albert Camus, 《局外人》阿尔贝·加缪
《Essays In Love》Alain de Botton, 《爱情笔记》阿兰·德波顿
《The Consolations of Philosophy》Alain de Botton, 《哲学的慰藉》阿兰·德波顿
《Being logical》Dennis Q. Mcinerny, 《简单的逻辑学》D.Q.麦克伦尼
《The Wasp That Brainwashed the Caterpillar》Matt Simon, 《疯狂的进化》马特·西蒙
《Of Mice and Men》John Steinbeck, 《人鼠之间》约翰·斯坦贝克
《Anatomy of Love: A Natural History of Mating, Marriage, and Why We Stray》Helen Fisher, 《我们为何结婚,又为何不忠》海伦·费舍尔
《The Social Contract》Jean-Jacques Rousseau, 《社会契约论》让-雅克·卢梭
Flag Counter
Plain Academic