Yang Chen

Welcome to my homepage! I am a fourth year Ph.D student in The School of Computing at The University of Utah. My advisor is Prof. John Regehr. I am broadly interested in compiler techniques, programming languages, and operating systems, with emphasis on the methodologies for hunting compiler bugs and improving system reliability.

I am a regular attendee of Compiler Reading Group, and sometimes show up at Computer System Seminar.

Research Interest

• Compilers
• Operating Systems
• Programming Languages

Projects

I am involved in a couple of projects:


• A Microbenchmark for C: our framework is composed of a code size microbenchmark and performance-oriented one.


• Csmith: a random generator of C programs targeting compiler bugs.

Past projects:

• Neutron: an extension of the TinyOS operating system that efficiently recovers from memory safety bugs.


• Safe TinyOS: a modified compilation toolchain, released as part of TinyOS 2.1, that uses the Deputy compiler to enforce type and memory safety at run time on motes.

Publications

• Xuejun Yang, Yang Chen, Eric Eide, and John Regehr, Finding and Understanding Bugs in C Compilers ,
  To appear in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), San Jose, CA, USA, June 2011.


• Yang Chen, Omprakash Gnawali, Maria Kazandjieva, Philip Levis, and John Regehr, Surviving Sensor Network Software Faults ,
  To appear in Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP 2009), Big Sky, MT, USA, October 2009.
  [pdf]


• The TinyOS Alliance, TinyOS 2.1: Adding Threads and Memory Protection to TinyOS ,
  Poster in Proceedings of The 6th ACM Conference on Embedded Networked Sensor Systems (SenSys '08). Raleigh, NC, November 2008.
  [pdf]

Hobby