x86 is an instruction set architecture.
Notes related to x86 architecture
Capstone disassembler, Instruction set architecture, Remill binary lifting library, reopt binary lifter, SecondWrite binary lifter, XED x86 encoding/decoding library
Papers related to x86 architecture
- A compiler-level intermediate representation based binary analysis and rewriting system [anand:eurosys:2013]
- A complete formal semantics of x86-64 user-level instruction set architecture [dasgupta:pldi:2019]
- Formal specification of the x86 instruction set architecture [degenbaev:phd:2012]
- Abstract stobjs and their application to ISA modeling [goel:acl2:2013]
- Simulation and formal verification of x86 machine-code programs that make system calls [goel:fmcad:2014]
- Engineering a formal, executable x86 ISA simulator for software verification [goel:pcs:2017]
- Formal verification of application and system programs based on a validated x86 ISA model [goel:phd:2016]
- Using x86isa for microcode verification [goel:spisa:2019]
- GeST: An automatic framework for generating CPU stress-tests [hadjilambrou:ispass:2019]
- Stratified synthesis: Automatically learning the x86-64 instruction set [heule:pldi:2016]
- High-level separation logic for low-level code [jensen:popl:2013]
- Towards a formal model of the x86 ISA [kaufmann:utaustin:2012]
- Symbolic trajectory evaluation: The primary validation vehicle for next generation Intel processor graphics FPU [kirankumar:fmcad:2012]
- Path-exploration lifting: Hi-fi tests for lo-fi emulators [martignoni:asplos:2012]
- Vx86: x86 assembler simulated in C powered by automated theorem proving [maus:amast:2008]
- RockSalt: Better, faster, stronger SFI for the x86 [morrisett:pldi:2012]
- TALx86: A realistic typed assembly language [morrisett:wcsss:1999]
- Verified LISP Implementations on ARM, x86 and PowerPC [myreen:tphols:2009]
- MMX technology extension to the Intel architecture [peleg:micro:1996]
- Formally verified big step semantics out of x86-64 binaries [roessle:cpp:2019]
- The semantics of x86-CC multiprocessor machine code [sarkar:popl:2009]
- Raising binaries to LLVM IR with MCTOLL (WIP paper) [yadavalli:lctes:2019]