x86 is an instruction set architecture from Intel.
Notes related to x86 architecture
Capstone disassembler, Instruction set architecture, Intel, 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]
- Specification of Intel IA-32 Using an Architecture Description Language [bastian:adl:2005]
- 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]
- Zsim: A Fast Architectural Simulator for ISA Design-Space Exploration [lifshitz:wish:2011]
- 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]
- ZSim: Fast and Accurate Microarchitectural Simulation of Thousand-Core Systems [sanchez:isca:2013]
- The semantics of x86-CC multiprocessor machine code [sarkar:popl:2009]
- Raising binaries to LLVM IR with MCTOLL (WIP paper) [yadavalli:lctes:2019]