Skip to main content
Open Access Publications from the University of California


UCLA Electronic Theses and Dissertations bannerUCLA

Reporting Bugs in Metaprograms


As programs have gotten more sophisticated and integrated into our society, bugs have become a significant concern. To avoid this, we put a lot of trust in the metaprograms we use to analyze and compile them; however, these metaprograms might also contain bugs. The problem when reporting bugs in metaprograms is that they take programs as inputs: the bug might equally well be in the input program as in the metaprogram. In this dissertation, we show that modeling the input programs' validity improves our ability to verify and reduce bug reports that target metaprograms.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View