Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Eli Tilevich, Yannis Smaragdakis	J-Orchestra: Automatic Java Application Partitioning.	ECOOP	2002	DBLP DOI BibTeX RDF
19	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
19	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
19	Charlie Daly, Jane Horgan, James F. Power, John Waldron	Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite.	Java Grande	2001	DBLP DOI BibTeX RDF	Java Grande, Java, Java Virtual Machine
19	José E. Moreira, Samuel P. Midkiff, Manish Gupta 0002	A comparison of three approaches to language, compiler, and library support for multidimensional arrays in Java.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
19	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa	A Formal Executable Semantics of the JavaCard Platform.	ESOP	2001	DBLP DOI BibTeX RDF
19	John Waldron, David Gregg	Identification and Quantification of Hotspots in Java Grande Programs.	HPCN	2001	DBLP DOI BibTeX RDF
19	Ting-Wei Hou, Fuh-Gwo Chen, J. L. Lee, Y. L. Cheng	Distributed and Parallel Execution of Java Programs on a DSM System.	CCGRID	2001	DBLP DOI BibTeX RDF	DSM system and byte-code, Java Virtual Machine
19	Ewen Denney, Thomas P. Jensen	Correctness of Java Card Method Lookup via Logical Relations.	ESOP	2000	DBLP DOI BibTeX RDF
19	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
19	Austin Kim, J. Morris Chang	An Advanced Instruction Folding Mechanism for a Stackless Java Processor.	ICCD	2000	DBLP DOI BibTeX RDF
19	Mladen Berekovic, Helge Kloos, Peter Pirsch	Hardware Realization of a Java Virtual Machine for High Performance Multimedia Applications.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
19	Hongwei Xi, Songtao Xia	Towards array bound check elimination in Java TM virtual machine language.	CASCON	1999	DBLP BibTeX RDF	Java
17	Hayataka Nakamura, Atsuya Sonoyama, Takeshi Kamiyama, Masato Oguchi, Saneyasu Yamaguchi	Performance Study of Kotlin and Java Programs with Bytecode Analysis.	J. Inf. Process.	2024	DBLP DOI BibTeX RDF
17	Monika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer	Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study.	Empir. Softw. Eng.	2024	DBLP DOI BibTeX RDF
17	Jason Ansel, Edward Z. Yang, Horace He, Natalia Gimelshein, Animesh Jain, Michael Voznesensky, Bin Bao, Peter Bell 0008, David Berard, Evgeni Burovski, Geeta Chauhan, Anjali Chourdia, Will Constable, Alban Desmaison, Zachary DeVito, Elias Ellison, Will Feng, Jiong Gong, Michael Gschwind, Brian Hirsh, Sherlock Huang, Kshiteej Kalambarkar, Laurent Kirsch, Michael Lazos, Mario Lezcano, Yanbo Liang, Jason Liang, Yinghai Lu, C. K. Luk, Bert Maher, Yunjie Pan, Christian Puhrsch, Matthias Reso, Mark Saroufim, Marcos Yukio Siraichi, Helen Suk, Shunting Zhang, Michael Suo, Phil Tillet, Xu Zhao, Eikan Wang, Keren Zhou 0001, Richard Zou, Xiaodong Wang, Ajit Mathews, William Wen, Gregory Chanan, Peng Wu 0001, Soumith Chintala	PyTorch 2: Faster Machine Learning Through Dynamic Python Bytecode Transformation and Graph Compilation.	ASPLOS (2)	2024	DBLP DOI BibTeX RDF
17	Octave Larose, Sophie Kaleba, Humphrey Burchell, Stefan Marr	AST vs. Bytecode: Interpreters in the Age of Meta-Compilation.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Yuxin Ding, Xiao Zhang, Jieke Hu, Wenting Xu	Android malware detection method based on bytecode image.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
17	Yuan Huang 0002, Jinbo Huang, Xiangping Chen, Kunning He, Xiaocong Zhou	BCGen: a comment generation method for bytecode.	Autom. Softw. Eng.	2023	DBLP DOI BibTeX RDF
17	Chukri Soueidi, Marius Monnier, Yliès Falcone	Efficient and expressive bytecode-level instrumentation for Java programs.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
17	Tiezhu Sun, Kevin Allix, Kisub Kim, Xin Zhou, Dongsun Kim 0001, David Lo 0001, Tegawendé F. Bissyandé, Jacques Klein	DexBERT: Effective, Task-Agnostic and Fine-Grained Representation Learning of Android Bytecode.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
17	Zhaoxuan Li, Siqi Lu, Rui Zhang 0016, Ziming Zhao 0008, Rujin Liang, Rui Xue 0001, Wenhao Li, Fan Zhang 0010, Sheng Gao 0002	VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
17	Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio	Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
17	Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel	JBMC: A Bounded Model Checking Tool for Java Bytecode.	CoRR	2023	DBLP DOI BibTeX RDF
17	Monika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer	Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang	Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode.	CoRR	2023	DBLP DOI BibTeX RDF
17	César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry	Coverage-Based Debloating for Java Bytecode.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
17	Chenke Luo, Jiang Ming 0002, Jianming Fu, Guojun Peng, Zhetao Li	Reverse Engineering of Obfuscated Lua Bytecode via Interpreter Semantics Testing.	IEEE Trans. Inf. Forensics Secur.	2023	DBLP DOI BibTeX RDF
17	Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato	Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
17	Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang	Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
17	Gokhan Ozogur, Mehmet Ali Ertürk, Gulsum Zeynep Gurkas Aydin, Muhammed Ali Aydin	Android Malware Detection in Bytecode Level Using TF-IDF and XGBoost.	Comput. J.	2023	DBLP DOI BibTeX RDF
17	Mohammad Ghasemisharif, Jason Polakis	Read Between the Lines: Detecting Tracking JavaScript with Bytecode Classification.	CCS	2023	DBLP DOI BibTeX RDF
17	Wanhong Huang 0001, Stefan Marr, Tomoharu Ugawa	Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm.	SAC	2023	DBLP DOI BibTeX RDF
17	Peng Qian, Zhenguang Liu, Yifang Yin, Qinming He	Cross-Modality Mutual Learning for Enhancing Smart Contract Vulnerability Detection on Bytecode.	WWW	2023	DBLP DOI BibTeX RDF
17	Marco Paganoni, Carlo A. Furia	Verifying Functional Correctness Properties at the Level of Java Bytecode.	FM	2023	DBLP DOI BibTeX RDF
17	Markus Lepper 0001, Baltasar Trancón y Widemann	Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation.	Eelco Visser Commemorative Symposium	2023	DBLP DOI BibTeX RDF
17	Weicheng Li, Hui Lu 0005, Yanbin Sun, Shen Su, Jing Qiu 0002, Zhihong Tian	Improving Precision of Detecting Deserialization Vulnerabilities with Bytecode Analysis.	IWQoS	2023	DBLP DOI BibTeX RDF
17	Kunsong Zhao, Zihao Li, Jianfeng Li, He Ye, Xiapu Luo, Ting Chen	DeepInfer: Deep Type Inference from Smart Contract Bytecode.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
17	Shubham Verma, Harpreet Kaur, Marius Pirvu, Kenneth B. Kent	Array Bytecode Support in MicroJIT.	VMIL@SPLASH	2023	DBLP DOI BibTeX RDF
17	Duncan Lowther, Dejice Jacob, Jeremy Singer	CHERI Performance Enhancement for a Bytecode Interpreter.	VMIL@SPLASH	2023	DBLP DOI BibTeX RDF
17	Marco Paganoni, Carlo A. Furia	Reasoning About Exceptional Behavior at the Level of Java Bytecode.	iFM	2023	DBLP DOI BibTeX RDF
17	Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang 0001	Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.	ISSTA	2023	DBLP DOI BibTeX RDF
17	Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio	Inferring Needless Write Memory Accesses on Ethereum Bytecode.	TACAS (1)	2023	DBLP DOI BibTeX RDF
17	Young Lee, Arlen P. McDonald, Jeong Yang	Identifying Code Tampering Using A Bytecode Comparison Analysis Tool.	SERA	2023	DBLP DOI BibTeX RDF
17	Christoph Bockisch, Gabriele Taentzer, Daniel Neufeld	MMT: Mutation Testing of Java Bytecode with Model Transformation.	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
17	Usman Tahir, Fiza Siyal, Michele Ianni, Antonella Guzzo, Giancarlo Fortino	Exploiting Bytecode Analysis for Reentrancy Vulnerability Detection in Ethereum Smart Contracts.	DASC/PiCom/CBDCom/CyberSciTech	2023	DBLP DOI BibTeX RDF
17	Alberto Miranda-García, Iker Pastor-López, Borja Sanz-Urquijo, José Gaviria de la Puerta, Pablo García Bringas	Bytecode-Based Android Malware Detection Applying Convolutional Neural Networks.	CISIS-ICEUTE	2023	DBLP DOI BibTeX RDF
17	André Schäfer, Thomas S. Heinze, Wolfram Amme	Finding Source Code Clones in Intermediate Representations of Java Bytecode.	IWSC	2023	DBLP DOI BibTeX RDF
17	Jiachi Chen, Xin Xia 0001, David Lo 0001, John Grundy 0001, Xiapu Luo, Ting Chen 0002	DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
17	Siwadol Sateanpattanakul, Duangpen Jetpipattanapong, Seksan Mathulaprangsan	Java Bytecode Control Flow Classification: Framework for Guiding Java Decompilation.	J. Mobile Multimedia	2022	DBLP DOI BibTeX RDF
17	Yuxin Qin, Dejice Jacob, Jeremy Singer	Characterizing WebAssembly Bytecode.	MPLR	2022	DBLP DOI BibTeX RDF
17	Nicolás Rainhart, Guillermo Polito, Pablo Tesone, Stéphane Ducasse	Analyzing the Cost of Safety for Vectorized Bytecode in Dynamically-Typed Languages.	MPLR	2022	DBLP DOI BibTeX RDF
17	Ardalan Foroughipour, Natalia Stakhanova, Farzaneh Abazari, Bahman Sistany	AndroClonium: Bytecode-Level Code Clone Detection for Obfuscated Android Apps.	SEC	2022	DBLP DOI BibTeX RDF
17	Zhenzhou Tian, Yaqian Huang, Jie Tian, Zhongmin Wang, Yanping Chen 0006, Lingwei Chen	Ethereum Smart Contract Representation Learning for Robust Bytecode-Level Similarity Detection.	SEKE	2022	DBLP DOI BibTeX RDF
17	Jean-Guy Schneider, Sung Une Lee	An Experimental Comparison of Clone Detection Techniques using Java Bytecode.	APSEC	2022	DBLP DOI BibTeX RDF
17	Qifan Yu, Pengcheng Zhang, Hai Dong, Yan Xiao 0002, Shunhui Ji	Bytecode Obfuscation for Smart Contracts.	APSEC	2022	DBLP DOI BibTeX RDF
17	Chaochen Shi, Yong Xiang 0001, Jiangshan Yu, Longxiang Gao, Keshav Sood, Robin Ram Mohan Doss	A Bytecode-based Approach for Smart Contract Classification.	SANER	2022	DBLP DOI BibTeX RDF
17	Christof Ferreira Torres, Hugo Jonker, Radu State	Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts.	RAID	2022	DBLP DOI BibTeX RDF
17	Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan	SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability.	ISSTA	2022	DBLP DOI BibTeX RDF
17	Yoon-Ho Choi, Jaechang Nam	On the Naturalness of Bytecode Instructions.	ASE	2022	DBLP DOI BibTeX RDF
17	Haoran Xu, Fredrik Kjolstad	Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
17	Geochang Jeon, Minseong Choi, Sunjun Lee, Jeong Hyun Yi, Haehyun Cho	Automated Multi-Layered Bytecode Generation for Preventing Sensitive Information Leaks From Android Applications.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Wenhui Zhang, Nurbol Luktarhan, Chao Ding, Bei Lu	Android Malware Detection Using TCN with Bytecode Image.	Symmetry	2021	DBLP DOI BibTeX RDF
17	Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda	EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode.	CoRR	2021	DBLP BibTeX RDF
17	Chukri Soueidi, Marius Monnier, Ali Kassem 0004, Yliès Falcone	Efficient and Expressive Bytecode-Level Instrumentation for Java Programs.	CoRR	2021	DBLP BibTeX RDF
17	Chaochen Shi, Yong Xiang 0001, Robin Ram Mohan Doss, Jiangshan Yu, Keshav Sood, Longxiang Gao	A Bytecode-based Approach for Smart Contract Classification.	CoRR	2021	DBLP BibTeX RDF
17	Nadia Daoudi, Jordan Samhi, Abdoul Kader Kaboré, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein	DexRay: A Simple, yet Effective Deep Learning Approach to Android Malware Detection based on Image Representation of Bytecode.	CoRR	2021	DBLP BibTeX RDF
17	Jianjun Huang 0001, Songming Han, Wei You, Wenchang Shi, Bin Liang 0002, Jingzheng Wu, Yanjun Wu	Hunting Vulnerable Smart Contracts via Graph Embedding Based Bytecode Matching.	IEEE Trans. Inf. Forensics Secur.	2021	DBLP DOI BibTeX RDF
17	Tomaz Dobravec	Selected tools for Java class and bytecode inspection in the educational environment.	Open Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang	When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid.	DSN	2021	DBLP DOI BibTeX RDF
17	Bo Jiang 0001, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan 0001	WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.	QRS	2021	DBLP DOI BibTeX RDF
17	Jisoo Kim, Eun-Sun Cho	Support for the safety of EVM bytecode via function-call interceptor.	QRS Companion	2021	DBLP DOI BibTeX RDF
17	Kazuki Hara, Takeshi Takahashi 0001, Motoya Ishimaki, Kazumasa Omote	Machine-learning Approach using Solidity Bytecode for Smart-contract Honeypot Detection in the Ethereum.	QRS Companion	2021	DBLP DOI BibTeX RDF
17	Alexander Schwarz, Christian Hochberger	Performance Gain of a Data Flow Oriented ISA as Replacement for Java Bytecode.	ARCS	2021	DBLP DOI BibTeX RDF
17	Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda	EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode.	ICPC	2021	DBLP DOI BibTeX RDF
17	Geoffrey Hecht, Alexandre Bergel	Quantifying the adoption of Kotlin on Android stores: Insight from the bytecode.	MOBILESoft@ICSE	2021	DBLP DOI BibTeX RDF
17	Christian Gram Kalhauge, Jens Palsberg	Logical bytecode reduction.	PLDI	2021	DBLP DOI BibTeX RDF
17	Atsuya Sonoyama, Takeshi Kamiyama, Masato Oguchi, Saneyasu Yamaguchi	Performance Study of Kotlin and Java Program Considering Bytecode Instructions and JVM JIT Compiler.	CANDAR (Workshops)	2021	DBLP DOI BibTeX RDF
17	Tiezhu Sun, Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé	Android Malware Detection: Looking beyond Dalvik Bytecode.	ASE Workshops	2021	DBLP DOI BibTeX RDF
17	André Schäfer, Wolfram Amme, Thomas S. Heinze	>Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection.	IWSC	2021	DBLP DOI BibTeX RDF
17	Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra	Java Bytecode Verification with OCL Why, How and Whenc.	J. Object Technol.	2020	DBLP DOI BibTeX RDF
17	Yong Fang 0002, Wenjie Zhang, Beibei Li 0002, Fan Jing, Lei Zhang 0101	Semi-Supervised Malware Clustering Based on the Weight of Bytecode and API.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus	Superoptimization of WebAssembly Bytecode.	CoRR	2020	DBLP BibTeX RDF
17	César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry	Trace-based Debloat for Java Bytecode.	CoRR	2020	DBLP BibTeX RDF
17	Philipp Körner, David Schneider 0001, Michael Leuschel	On the Performance of Bytecode Interpreters in Prolog.	CoRR	2020	DBLP BibTeX RDF
17	Jiachi Chen, Xin Xia 0001, David Lo 0001, John C. Grundy, Xiapu Luo, Ting Chen 0002	DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode.	CoRR	2020	DBLP BibTeX RDF
17	Chukri Soueidi, Ali Kassem 0004, Yliès Falcone	BISM: Bytecode-Level Instrumentation for Software Monitoring.	CoRR	2020	DBLP BibTeX RDF
17	Dong Wang, Bo Jiang 0001, W. K. Chan 0001	WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection.	CoRR	2020	DBLP BibTeX RDF
17	Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang	When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid.	CoRR	2020	DBLP BibTeX RDF
17	Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto	From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
17	Ryoichi Shibata, Atsuya Sonoyama, Masato Oguchi, Takeshi Kamiyama, Akira Fukuda, Saneyasu Yamaguchi	Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler.	ICCE-TW	2020	DBLP DOI BibTeX RDF
17	Andrey V. Krasov, Pavel I. Sharikov	A Technique for Analyzing Bytecode in a Java Project for the Purpose of an Automated Assessment of the Possibility and Effectiveness of the Hidden Investment of Information and its Volumes in a Java Project.	ICUMT	2020	DBLP DOI BibTeX RDF
17	Philipp Körner, David Schneider 0001, Michael Leuschel	On the Performance of Bytecode Interpreters in Prolog.	WFLP	2020	DBLP DOI BibTeX RDF
17	Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto	Does This Code Change Affect Program Behavior? Identifying Nonbehavioral Changes with Bytecode.	COMPSAC	2020	DBLP DOI BibTeX RDF
17	Chukri Soueidi, Ali Kassem 0004, Yliès Falcone	BISM: Bytecode-Level Instrumentation for Software Monitoring.	RV	2020	DBLP DOI BibTeX RDF
17	Wim Keirsgieter, Willem Visser	Graft: Static Analysis of Java Bytecode with Graph Databases.	SAICSIT	2020	DBLP DOI BibTeX RDF
17	Konner Macias, Mihir Mathur, Bobby R. Bruce, Tianyi Zhang 0001, Miryung Kim	WebJShrink: a web service for debloating Java bytecode.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
17	Juan Fumero, Athanasios Stratikopoulos, Christos Kotselidis	Running parallel bytecode interpreters on heterogeneous hardware.	Programming	2020	DBLP DOI BibTeX RDF
17	Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus	Superoptimization of WebAssembly bytecode.	Programming	2020	DBLP DOI BibTeX RDF
17	Srujana Bollina, Gregory Gay 0002	Bytecode-Based Multiple Condition Coverage: An Initial Investigation.	SSBSE	2020	DBLP DOI BibTeX RDF