1![Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA](https://www.pdfsearch.io/img/249698d9b2fdfcfbef7979170afa5089.jpg) | Add to Reading ListSource URL: peek.uwplse.orgLanguage: English - Date: 2016-08-08 16:17:02
|
---|
2![¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI ¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI](https://www.pdfsearch.io/img/63a5bd83d21ff6216d36ce5e014ec9d9.jpg) | Add to Reading ListSource URL: www.ei.rub.deLanguage: English - Date: 2014-12-17 10:12:31
|
---|
3![The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1](https://www.pdfsearch.io/img/d7205cc2c986b949abe25808ac8f906c.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2012-09-10 07:41:01
|
---|
4![TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract](https://www.pdfsearch.io/img/24b94874c310cc5bd2626d8f263eb4f0.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
5![Chapter 3 Machine-Level Representation of Programs Computers execute machine code, sequences of bytes encoding the low-level operations that manipulate data, manage memory, read and write data on storage devices, and co Chapter 3 Machine-Level Representation of Programs Computers execute machine code, sequences of bytes encoding the low-level operations that manipulate data, manage memory, read and write data on storage devices, and co](https://www.pdfsearch.io/img/9ac72b43f867bf9a3bd539855c53fcd9.jpg) | Add to Reading ListSource URL: csapp.cs.cmu.eduLanguage: English - Date: 2010-02-14 14:17:20
|
---|
6![C--: a portable assembly language that supports garbage collection Simon Peyton Jones1 , Norman Ramsey2 , and Fermin Reig3 1 , Microsoft Research Ltd C--: a portable assembly language that supports garbage collection Simon Peyton Jones1 , Norman Ramsey2 , and Fermin Reig3 1 , Microsoft Research Ltd](https://www.pdfsearch.io/img/22e1152f6de4c7d942e20cc2483ec598.jpg) | Add to Reading ListSource URL: www.cs.tufts.eduLanguage: English - Date: 1999-07-12 12:58:12
|
---|
7![LNCSBAP: A Binary Analysis Platform LNCSBAP: A Binary Analysis Platform](https://www.pdfsearch.io/img/554b92ec6edf1a54f90a2713ad73ff1c.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
8![Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ † Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ †](https://www.pdfsearch.io/img/accd296a038a2a0523502c1b3e89d396.jpg) | Add to Reading ListSource URL: www.cacs.louisiana.eduLanguage: English - Date: 2009-11-13 12:16:34
|
---|
9![CS:APP2e Web Aside ASM:EASM: Combining Assembly Code with C Programs∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 CS:APP2e Web Aside ASM:EASM: Combining Assembly Code with C Programs∗ Randal E. Bryant David R. O’Hallaron June 5, 2012](https://www.pdfsearch.io/img/e3156aaaa383f3fc4193cb95aeb9d206.jpg) | Add to Reading ListSource URL: csapp.cs.cmu.eduLanguage: English - Date: 2012-06-05 05:37:19
|
---|
10![Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1](https://www.pdfsearch.io/img/3faffa68a31c895fba7e5ce3c045407b.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2012-09-10 07:41:00
|
---|