Search results for "x86"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Christopher W. Fraser, Todd A. Proebsting	Finite-Static Code Generation.	PLDI	1999	DBLP DOI BibTeX RDF
22	David Ung, Cristina Cifuentes	SRL 3/4-A Simple Retargetable Loader.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF
22	Pat Conway, Nathan Kalyanasundharam, Gregg Donley, Kevin Lepak, Bill Hughes	Cache Hierarchy and Memory Subsystem of the AMD Opteron Processor.	IEEE Micro	2010	DBLP DOI BibTeX RDF	x86-64, cache directory, probe filter, system interconnect, HyperTransport3 technology, power envelopes, cache, multiprocessor, memory hierarchy, processor, blade server
22	Jeffrey Wilhelm, Tzi-cker Chiueh	A Forced Sampled Execution Approach to Kernel Rootkit Identification.	RAID	2007	DBLP DOI BibTeX RDF	X86 ISA emulation, dynamic malware analysis, intrusion prevention, Bayes classifier, rootkit detection
18	Yuki Naganawa, Hirokazu Kamei, Yamato Kanetaka, Haruki Nogami, Yoshihiro Maeda, Norishige Fukushima	SIMD-Constrained Lookup Table for Accelerating Variable-Weighted Convolution on x86/64 CPUs.	IEEE Access	2024	DBLP DOI BibTeX RDF
18	Evann Regnault, Bérenger Bramas	SPC5: An efficient SpMV framework vectorized using ARM SVE and x86 AVX-512.	Comput. Sci. Inf. Syst.	2024	DBLP DOI BibTeX RDF
18	Sergio Calderón, Enzo Rucci, Franco Chichizola	Enhanced OpenMP Algorithm to Compute All-Pairs Shortest Path on x86 Architectures.	CoRR	2024	DBLP DOI BibTeX RDF
18	Ibrahim Farhat, Ibrahim Khadraoui, Wassim Hamidouche, Mohit K. Sharma	Energy Cost of Coding Omnidirectional Videos using ARM and x86 Platforms.	GMSys@MMSys	2024	DBLP DOI BibTeX RDF
18	Hongwei Chen, Yujia Zhai, Joshua J. Turner, Adrian E. Feiguin	A high-performance implementation of atomistic spin dynamics simulations on x86 CPUs.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
18	Animesh Kuity, Sateesh Kumar Peddoju	Investigating performance metrics for container-based HPC environments using x86 and OpenPOWER systems.	J. Cloud Comput.	2023	DBLP DOI BibTeX RDF
18	Yingchen Wang, Riccardo Paccagnella, Elizabeth Tang He, Hovav Shacham, Christopher W. Fletcher, David Kohlbrenner	Hertzbleed: Turning Power Side-Channel Attacks Into Remote Timing Attacks on x86.	IEEE Micro	2023	DBLP DOI BibTeX RDF
18	Guang Wang 0005, Ziyuan Zhu, Xu Cheng 0001, Dan Meng	A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
18	Yujia Zhai, Elisabeth Giem, Kai Zhao 0008, Jinyang Liu, Jiajun Huang, Bryan M. Wong, Christian R. Shelton, Zizhong Chen	FT-BLAS: A Fault Tolerant High Performance BLAS Implementation on x86 CPUs.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
18	Shixun Wu, Yujia Zhai, Jiajun Huang, Zizhe Jian, Zizhong Chen	FT-GEMM: A Fault Tolerant High Performance GEMM Implementation on x86 CPUs.	CoRR	2023	DBLP DOI BibTeX RDF
18	Evann Regnault, Bérenger Bramas	SPC5: an efficient SpMV framework vectorized using ARM SVE and x86 AVX-512.	CoRR	2023	DBLP DOI BibTeX RDF
18	Isha Chaudhary, Alex Renda, Charith Mendis, Gagandeep Singh	CoMEt: x86 Cost Model Explanation Framework.	CoRR	2023	DBLP DOI BibTeX RDF
18	Mark Ermolov, Dmitry Sklyarov, Maxim Goryachy	Undocumented x86 instructions to control the CPU at the microarchitecture level in modern Intel processors.	J. Comput. Virol. Hacking Tech.	2023	DBLP DOI BibTeX RDF
18	Yeming Gu, Hui Shu, Fei Kang	BinAIV: Semantic-enhanced vulnerability detection for Linux x86 binaries.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
18	Hojoon Lee 0001, Chihyun Song, Brent ByungHoon Kang	Harnessing the x86 Intermediate Rings for Intra-Process Isolation.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
18	Javier Jareño, Juan Carlos de la Torre, Bernabé Dorronsoro	Characterization and Categorization of Software Programs on X86 Architectures.	OLA	2023	DBLP DOI BibTeX RDF
18	Thomas Dangl, Stewart Sentanoe, Hans P. Reiser	Retrofitting AMD x86 Processors with Active Virtual Machine Introspection Capabilities.	ARCS	2023	DBLP DOI BibTeX RDF
18	Zhibo Liu, Yuanyuan Yuan, Shuai Wang 0011, Xiaofei Xie, Lei Ma 0003	Decompiling x86 Deep Neural Network Executables.	USENIX Security Symposium	2023	DBLP BibTeX RDF
18	Daniel Engel, Freek Verbeek, Binoy Ravindran	BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.	TAP	2023	DBLP DOI BibTeX RDF
18	Benjamin Munger, Kathy Wilcox, Jeshuah Sniderman, Chuck Tung, Brett Johnson, Russell Schreiber, Carson Henrion, Kevin Gillespie, Tom Burd, Harry R. Fair III, Dave Johnson 0002, Jonathan White, Scott McLelland, Steven Bakke, Javin Olson, Ryan McCracken, Matthew Pickett, Aaron Horiuchi, Hien Nguyen, Tim Jackson	"Zen 4": The AMD 5nm 5.7GHz x86-64 Microprocessor Core.	ISSCC	2023	DBLP DOI BibTeX RDF
18	Donatien Koulla Moulla, Abdel Aziz Kitikil, Ernest Mnkandla, Hassan Soubra, Alain Abran	Functional Size Measurement for X86 Assembly Programs.	IWSM-Mensura	2023	DBLP BibTeX RDF
18	Yuanding Zhou	Least Information Redundancy Algorithm of Printable Shellcode Encoding for X86.	ESORICS Workshops (2)	2023	DBLP DOI BibTeX RDF
18	Shixun Wu, Yujia Zhai, Jiajun Huang, Zizhe Jian, Zizhong Chen	FT-GEMM: A Fault Tolerant High Performance GEMM Implementation on x86 CPUs.	HPDC	2023	DBLP DOI BibTeX RDF
18	Xinghan Chen, Ling-Hong Hung, Robert Cordingly, Wes Lloyd	X86 vs. ARM64: An Investigation of Factors Influencing Serverless Performance.	WOSC@Middleware	2023	DBLP DOI BibTeX RDF
18	Vasilios I. Kelefouras, Georgios Keramidas	Design and Implementation of 2D Convolution on x86/x64 Processors.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
18	Changwei Zou, Yaoqing Gao, Jingling Xue	Practical Software-Based Shadow Stacks on x86-64.	ACM Trans. Archit. Code Optim.	2022	DBLP DOI BibTeX RDF
18	Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav 0001, Azalea Raad, John Wickerson	View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version).	CoRR	2022	DBLP BibTeX RDF
18	Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi	xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.	CoRR	2022	DBLP DOI BibTeX RDF
18	Md. Vasimuddin, Ramanarayan Mohanty, Sanchit Misra, Sasikanth Avancha	DistGNN-MB: Distributed Large-Scale Graph Neural Network Training on x86 via Minibatch Sampling.	CoRR	2022	DBLP DOI BibTeX RDF
18	Zhibo Liu, Yuanyuan Yuan, Shuai Wang 0011, Xiaofei Xie, Lei Ma 0003	Decompiling x86 Deep Neural Network Executables.	CoRR	2022	DBLP DOI BibTeX RDF
18	Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang 0001, Stephanie Forrest	Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation.	CoRR	2022	DBLP BibTeX RDF
18	Jyun-Kai Lai, Wuu Yang	Hyperchaining for LLVM-Based Binary Translators on the x86-64 Platform.	J. Signal Process. Syst.	2022	DBLP DOI BibTeX RDF
18	Hyunyoung Oh, Dongil Hwang, Maja Malenko, Myunghyun Cho, Hyungon Moon, Marcel Baunach, Yunheung Paek	XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System.	DATE	2022	DBLP DOI BibTeX RDF
18	Rohit Singh, K. P. Arun 0002, Debadatta Mishra	LDT: Lightweight Dirty Tracking of Memory Pages for x86 Systems.	HIPC	2022	DBLP DOI BibTeX RDF
18	Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav 0001, Azalea Raad, John Wickerson	View-Based Owicki-Gries Reasoning for Persistent x86-TSO.	ESOP	2022	DBLP DOI BibTeX RDF
18	Eric Schulte, Michael D. Brown, Vlad Folts	A Broad Comparative Evaluation of x86-64 Binary Rewriters.	CSET @ USENIX Security Symposium	2022	DBLP DOI BibTeX RDF
18	Yingchen Wang, Riccardo Paccagnella, Elizabeth Tang He, Hovav Shacham, Christopher W. Fletcher, David Kohlbrenner	Hertzbleed: Turning Power Side-Channel Attacks Into Remote Timing Attacks on x86.	USENIX Security Symposium	2022	DBLP BibTeX RDF
18	Justin Wang, Dennis Brylow, Debbie Perouli	Reversing Our Ways from x86 VM Configurations onto ARM-Based Raspberry Pis.	SIGCSE (2)	2022	DBLP DOI BibTeX RDF
18	Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi	xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.	EuroS&P	2022	DBLP DOI BibTeX RDF
18	Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran	Formally verified lifting of C-compiled x86-64 binaries.	PLDI	2022	DBLP DOI BibTeX RDF
18	John J. Wuu, Rahul Agarwal, Michael Ciraula, Carl Dietz, Brett Johnson, Dave Johnson 0002, Russell Schreiber, Raja Swaminathan, Will Walker, Samuel Naffziger	3D V-Cache: the Implementation of a Hybrid-Bonded 64MB Stacked Cache for a 7nm x86-64 CPU.	ISSCC	2022	DBLP DOI BibTeX RDF
18	Thomas Burd, Wilson Li, James Pistole, Srividhya Venkataraman, Michael McCabe, Timothy Johnson, James Vinh, Thomas Yiu, Mark Wasio, Hon-Hin Wong, Daryl Lieu, Jonathan White, Benjamin Munger, Joshua Lindner, Javin Olson, Steven Bakke, Jeshuah Sniderman, Carson Henrion, Russell Schreiber, Eric Busta, Brett Johnson, Tim Jackson, Aron Miller, Ryan Miller, Matthew Pickett, Aaron Horiuchi, Josef Dvorak, Sabeesh Balagangadharan, Sajeesh Ammikkallingal, Pankaj Kumar	Zen3: The AMD 2nd-Generation 7nm x86-64 Microprocessor Core.	ISSCC	2022	DBLP DOI BibTeX RDF
18	Chaorun Liu, Huayou Su, Yong Dou, Qinglin Wang	Optimize DGL Operations on x86-64 Multi-Core Processors.	HP3C	2022	DBLP DOI BibTeX RDF
18	Guang Wang 0005, Ziyuan Zhu, Xu Cheng 0001, Dan Meng	In-depth Testing of x86 Instruction Disassemblers with Feedback Controlled DFS Algorithm.	ICCD	2022	DBLP DOI BibTeX RDF
18	Danielle Lambion, Robert Schmitz, Robert Cordingly, Navid Heydari, Wes Lloyd	Characterizing X86 and ARM Serverless Performance Variation: A Natural Language Processing Case Study.	ICPE (Companion)	2022	DBLP DOI BibTeX RDF
18	S. Vignesh Bharadwaj, Chetan Kumar Vudadha	Evaluation of x86 and ARM architectures using compute-intensive workloads.	iSES	2022	DBLP DOI BibTeX RDF
18	Artem Khyzha, Ori Lahav 0001	Taming x86-TSO persistency.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
18	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan	Deciding reachability under persistent x86-TSO.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
18	Stijn Schildermans, Jianchen Shan, Kris Aerts, Jason Jackrel, Xiaoning Ding	Virtualization Overhead of Multithreading in X86 State-of-the-Art & Remaining Challenges.	IEEE Trans. Parallel Distributed Syst.	2021	DBLP DOI BibTeX RDF
18	Nikolaos Mavrogeorgis	Simplifying heterogeneous migration between x86 and ARM machines.	CoRR	2021	DBLP BibTeX RDF
18	Ruobing Han, Jaewon Lee, Jaewoong Sim, Hyesoon Kim	COX: CUDA on X86 by Exposing Warp-Level Functions to CPUs.	CoRR	2021	DBLP BibTeX RDF
18	Roland Mathá, Dragi Kimovski, Anatoliy Zabrovskiy, Christian Timmerer, Radu Prodan	Where to Encode: A Performance Analysis of x86 and Arm-based Amazon EC2 Instances.	CoRR	2021	DBLP BibTeX RDF
18	Jordi Armengol-Estapé, Michael F. P. O'Boyle	Learning C to x86 Translation: An Experiment in Neural Compilation.	CoRR	2021	DBLP BibTeX RDF
18	Guille D. Canas	Faster-Than-Native Alternatives for x86 VP2INTERSECT Instructions.	CoRR	2021	DBLP BibTeX RDF
18	Youngjoo Shin	DCUIP Poisoning Attack in Intel x86 Processors.	IEICE Trans. Inf. Syst.	2021	DBLP DOI BibTeX RDF
18	Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran	X86 instruction semantics and basic block symbolic execution.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
18	Roland Mathá, Dragi Kimovski, Anatoliy Zabrovskiy, Christian Timmerer, Radu Prodan	Where to Encode: A Performance Analysis of x86 and Arm-based Amazon EC2 Instances.	e-Science	2021	DBLP DOI BibTeX RDF
18	Joonsung Kim, Hamin Jang, Hunjun Lee, Seungho Lee, Jangwoo Kim	UC-Check: Characterizing Micro-operation Caches in x86 Processors and Implications in Security and Performance.	MICRO	2021	DBLP DOI BibTeX RDF
18	Venkat Sri Sai Ram, Ashish Panwar, Arkaprava Basu	Trident: Harnessing Architectural Resources for All Page Sizes in x86 Processors.	MICRO	2021	DBLP DOI BibTeX RDF
18	Dong Xie, Yang Hu, Li Qin	An Evaluation of Serverless Computing on X86 and ARM platforms: Performance and Design Implications.	CLOUD	2021	DBLP DOI BibTeX RDF
18	Blake W. Ford, Apan Qasem, Jelena Tesic, Ziliang Zong	Migrating Software from x86 to ARM Architecture: An Instruction Prediction Approach.	NAS	2021	DBLP DOI BibTeX RDF
18	Kyeongmin Cho, Sung-Hwan Lee 0001, Azalea Raad, Jeehoon Kang	Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.	PLDI	2021	DBLP DOI BibTeX RDF
18	Jyun-Kai Lai, Wuu Yang	Hyperchaining Optimizations for an LLVM-Based Binary Translator on x86-64 and RISC-V Platforms.	ICPP Workshops	2021	DBLP DOI BibTeX RDF
18	Charles Augustine, A. Afzal, U. Misgar, Abdullah A. Owahid, A. Raman, K. Subramanian, Feroze Merchant, James W. Tschanz, Muhammad M. Khellah	All-Digital Closed-Loop Unified Retention/Wake-Up Clamp in a 10nm 4-Core x86 IP.	VLSI Circuits	2021	DBLP DOI BibTeX RDF
18	Jiatong Wu, Baojiang Cui, Chen Chen 0061, Xiang Long	A High Efficiency and Accuracy Method for x86 Undocumented Instruction Detection and Classification.	IMIS	2021	DBLP DOI BibTeX RDF
18	Guang Wang 0005, Ziyuan Zhu, Shuan Li, Xu Cheng 0001, Dan Meng	Differential Testing of x86 Instruction Decoders with Instruction Operand Inferring Algorithm.	ICCD	2021	DBLP DOI BibTeX RDF
18	Sarp Özdemir, Rutvik Saptarshi, Aravind Prakash, Dmitry Ponomarev 0001	Track Conventions, Not Attack Signatures: Fortifying X86 ABI and System Call Interfaces to Mitigate Code Reuse Attacks.	SEED	2021	DBLP DOI BibTeX RDF
18	Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen, Georgios Portokalidis, Bing Mao, Jun Xu 0024	SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask.	SP	2021	DBLP DOI BibTeX RDF
18	William Woodruff, Niki Carroll, Sebastiaan Peters	Differential analysis of x86-64 instruction decoders.	SP (Workshops)	2021	DBLP DOI BibTeX RDF
18	Moritz Lipp, Andreas Kogler, David F. Oswald, Michael Schwarz 0001, Catherine Easdon, Claudio Canella, Daniel Gruss	PLATYPUS: Software-based Power Side-Channel Attacks on x86.	SP	2021	DBLP DOI BibTeX RDF
18	Sameer Pawanekar, Geetanjali Udgirkar	Performance of Reinforcement Learning Simulation: x86 v/s ARM.	ICACDS (1)	2021	DBLP DOI BibTeX RDF
18	Azalea Raad, Ori Lahav 0001, Viktor Vafeiadis	Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
18	Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis	Persistency semantics of the Intel-x86 architecture.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
18	Yuhei Otsubo, Akira Otsuka, Mamoru Mimura, Takeshi Sakaki	o-glasses: Visualizing X86 Code From Binary Using a 1D-CNN.	IEEE Access	2020	DBLP DOI BibTeX RDF
18	Zhihao Li, Haipeng Jia, Yunquan Zhang, Tun Chen, Liang Yuan, Richard W. Vuduc	Automatic Generation of High-Performance FFT Kernels on Arm and X86 CPUs.	IEEE Trans. Parallel Distributed Syst.	2020	DBLP DOI BibTeX RDF
18	Panos K. Koutsovasilis, Konstantinos Parasyris, Christos D. Antonopoulos, Nikolaos Bellas, Spyros Lalis	Dynamic Undervolting to Improve Energy Efficiency on Multicore X86 CPUs.	IEEE Trans. Parallel Distributed Syst.	2020	DBLP DOI BibTeX RDF
18	Conor Pirry, Hector Marco-Gisbert, Carolyn Begg	A Review of Memory Errors Exploitation in x86-64.	Comput.	2020	DBLP DOI BibTeX RDF
18	Artem Khyzha, Ori Lahav 0001	Taming x86-TSO Persistency (Extended Version).	CoRR	2020	DBLP BibTeX RDF
18	Sasikanth Avancha, Md. Vasimuddin, Sanchit Misra, Ramanarayan Mohanty	Deep Graph Library Optimizations for Intel(R) x86 Architecture.	CoRR	2020	DBLP BibTeX RDF
18	Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen, Georgios Portokalidis, Bing Mao, Jun Xu 0024	SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask.	CoRR	2020	DBLP BibTeX RDF
18	Juan M. Cebrian, Adrián Barredo, Helena Caminal, Miquel Moretó, Marc Casas, Mateo Valero	Semi-automatic validation of cycle-accurate simulation infrastructures: The case for gem5-x86.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
18	Bertrand Le Gal, Christophe Jégo	High-Throughput FFT-SPA Decoder Implementation for Non-Binary LDPC Codes on x86 Multicore Processors.	J. Signal Process. Syst.	2020	DBLP DOI BibTeX RDF
18	Jagadish B. Kotra, John Kalamatianos	Improving the Utilization of Micro-operation Caches in x86 Processors.	MICRO	2020	DBLP DOI BibTeX RDF
18	Georgios Georgis, Alexios Thanos, Marcin Filo, Konstantinos Nikitopoulos	A DSP Acceleration Framework For Software-Defined Radios On X86 64.	ICASSP	2020	DBLP DOI BibTeX RDF
18	Dhrumil Patel, Aditya Basu, Anish Mathuria	Automatic Generation of Compact Printable Shellcodes for x86.	WOOT @ USENIX Security Symposium	2020	DBLP BibTeX RDF
18	David Schrammel, Samuel Weiser, Stefan Steinegger, Martin Schwarzl, Michael Schwarz 0001, Stefan Mangard, Daniel Gruss	Donky: Domain Keys - Efficient In-Process Isolation for RISC-V and x86.	USENIX Security Symposium	2020	DBLP BibTeX RDF
18	Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi	V0LTpwn: Attacking x86 Processor Integrity from Software.	USENIX Security Symposium	2020	DBLP BibTeX RDF
18	Antara Ganguly, Shankar Balachandran, Anant V. Nori, Virendra Singh, Sreenivas Subramoney	Characterization of Data Generating Neural Network Applications on x86 CPU Architecture.	ISPASS	2020	DBLP DOI BibTeX RDF
18	Andreas Abel 0002, Jan Reineke 0001	nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems.	ISPASS	2020	DBLP DOI BibTeX RDF
18	Nikos Mouzakitis, Michele Paolino, Miltos D. Grammatikakis, Daniel Raho	x86 System Management Mode (SMM) Evaluation for Mixed Critical Systems.	ApplePies	2020	DBLP DOI BibTeX RDF
18	Teja Singh, Sundar Rangarajan, Deepesh John, Russell Schreiber, Spence Oliver, Rajit Seahra, Alex Schaefer	2.1 Zen 2: The AMD 7nm Energy-Efficient High-Performance x86-64 Microprocessor Core.	ISSCC	2020	DBLP DOI BibTeX RDF
18	Xuewei Feng, Dongxia Wang 0001, Zhechao Lin, Xiaohui Kuang, Gang Zhao	Enhancing Randomization Entropy of x86-64 Code while Preserving Semantic Consistency.	TrustCom	2020	DBLP DOI BibTeX RDF
18	Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu	RiverConc: An Open-source Concolic Execution Engine for x86 Binaries.	ICSOFT	2020	DBLP DOI BibTeX RDF
18	José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira 0004	Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.	INDOCRYPT	2020	DBLP DOI BibTeX RDF
18	Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords	Verifying x86 instruction implementations.	CPP	2020	DBLP DOI BibTeX RDF
18	G. Glenn Henry, Parviz Palangpour, Michael Thomson, J. Scott Gardner, Bryce Arden, Jim Donahue, Kimble Houck, Jonathan Johnson, Kyle O'Brien, Scott Petersen, Benjamin Seroussi, Tyler Walker	High-Performance Deep-Learning Coprocessor Integrated into x86 SoC with Server-Class CPUs Industrial Product.	ISCA	2020	DBLP DOI BibTeX RDF