Cited By
View all- Chen JHan JSun PZhang LHao DZhang LDumas MPfahl DApel SRusso A(2019)Compiler bug isolation via effective witness test program generationProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3338957(223-234)Online publication date: 12-Aug-2019
- Tate RChen JHawblitzel C(2010)Inferable object-oriented typed assembly languageACM SIGPLAN Notices10.1145/1809028.180664445:6(424-435)Online publication date: 5-Jun-2010
- Tate RChen JHawblitzel CZorn BAiken A(2010)Inferable object-oriented typed assembly languageProceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/1806596.1806644(424-435)Online publication date: 5-Jun-2010
- Show More Cited By