|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 948 occurrences of 418 keywords
|
|
|
Results
Found 950 publication records. Showing 950 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 950 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|