Automatic generation of peephole optimizationsDavidson, Jack W.; Fraser, Christopher W. · ACM SIGPLAN Notices · 2004

Code selection through object code optimizationDavidson, Jack W.; Fraser, Christopher W. · ACM Transactions on Programming Languages and Systems · 1984

Corrigendum: ``The Design and Application of a Retargetable Peephole Optimizer''Davidson, Jack W.; Fraser, Christopher W. · ACM Transactions on Programming Languages and Systems · 1981

[ACM Press the 9th ACM SIGPLAN-SIGACT symposium - Albuquerque, Mexico (1982.01.25-1982.01.27)] Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 - Eliminating redundant object codeDavidson, Jack W.; Fraser, Christopher W. · 1982

The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982

The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994

Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012

LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011

Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999

The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994

Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012

METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007