Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Dishant Munjal, Jagannath Singh, Subhrakanta Panda, Durga Prasad Mohapatra	Automated Slicing of Aspect-Oriented Programs Using Bytecode Analysis.	COMPSAC	2015	DBLP DOI BibTeX RDF
17	Wenbo Yang, Yuanyuan Zhang 0002, Juanru Li, Junliang Shu, Bodong Li, Wenjun Hu, Dawu Gu	AppSpear: Bytecode Decrypting and DEX Reassembling for Packed Android Malware.	RAID	2015	DBLP DOI BibTeX RDF
17	Dario Weißer, Johannes Dahse, Thorsten Holz	Security Analysis of PHP Bytecode Protection Mechanisms.	RAID	2015	DBLP DOI BibTeX RDF
17	Wolfgang Puffitsch	Fernando: An Educational Ahead-of-Time Bytecode Compiler.	JTRES	2015	DBLP DOI BibTeX RDF
17	Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet	An Approach for Formal Verification of Updated Java Bytecode Programs.	VECoS	2015	DBLP BibTeX RDF
17	Santiago Vargas-Baldrich, Mario Linares Vásquez, Denys Poshyvanyk	Automated Tagging of Software Projects Using Bytecode and Dependencies (N).	ASE	2015	DBLP DOI BibTeX RDF
17	Maximilian Seitzer, Michael Gruhn, Tilo Müller	A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory.	ESORICS (2)	2015	DBLP DOI BibTeX RDF
17	Javier Escobar-Avila	Automatic Categorization of Software Libraries Using Bytecode.	ICSE (2)	2015	DBLP DOI BibTeX RDF
17	Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001	Information Flow Control in WebKit's JavaScript Bytecode.	CoRR	2014	DBLP BibTeX RDF
17	Étienne Payet, Fred Mesnard, Fausto Spoto	Non-Termination Analysis of Java Bytecode.	CoRR	2014	DBLP BibTeX RDF
17	Étienne Payet, Frédéric Mesnard	Non-termination of Dalvik bytecode via compilation to CLP.	CoRR	2014	DBLP BibTeX RDF
17	Teja Tamboli, Thomas H. Austin, Mark Stamp 0001	Metamorphic code generation from LLVM bytecode.	J. Comput. Virol. Hacking Tech.	2014	DBLP DOI BibTeX RDF
17	Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen	Formalisation and analysis of Dalvik bytecode.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Marieke Huisman	SCP special issue on Bytecode 2012 - Preface.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Pierre Caserta, Olivier Zendra	JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Iman Keivanloo, Chanchal Kumar Roy, Juergen Rilling	SeByte: Scalable clone and similarity search for bytecode.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Miguel Gómez-Zamalloa, Germán Puebla	Selected and extended papers from Bytecode 2013.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Jérôme Vouillon, Vincent Balat	From bytecode to JavaScript: the Js_of_ocaml compiler.	Softw. Pract. Exp.	2014	DBLP DOI BibTeX RDF
17	Manuel Geffken, Peter Thiemann 0001	Side effect monitoring for Java using bytecode rewriting.	PPPJ	2014	DBLP DOI BibTeX RDF
17	Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001	Information Flow Control in WebKit's JavaScript Bytecode.	POST	2014	DBLP DOI BibTeX RDF
17	Zhifei Chen, Lin Chen 0015, Baowen Xu	Hybrid Information Flow Analysis for Python Bytecode.	IEEE WISA	2014	DBLP DOI BibTeX RDF
17	Weifeng Xu, Tao Ding, Dianxiang Xu	Rule-Based Test Input Generation from Bytecode.	SERE	2014	DBLP DOI BibTeX RDF
17	Chisoon Jeong, Su Hang, Bernd Burgstaller	Improved Branch Prediction for Just-in-Time Decompression of Canonical Huffman Bytecode Streams.	FCC	2014	DBLP DOI BibTeX RDF
17	Parvez Faruki, Ammar Bharmal, Vijay Laxmi, Manoj Singh Gaur, Mauro Conti, Muttukrishnan Rajarajan	Evaluation of Android Anti-malware Techniques against Dalvik Bytecode Obfuscation.	TrustCom	2014	DBLP DOI BibTeX RDF
17	Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana	A Redundancy-Based Attack Detection Technique for Java Card Bytecode.	WETICE	2014	DBLP DOI BibTeX RDF
17	Surachai Thongkaew, Tsuyoshi Isshiki, Dongju Li, Hiroaki Kunieda	Dalvik bytecode acceleration using Fetch/Decode Hardware Extension with hybrid Execution.	APCCAS	2014	DBLP DOI BibTeX RDF
17	Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov	Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs.	FASE	2014	DBLP DOI BibTeX RDF
17	Gilles Barthe, David Pichardie, Tamara Rezk	A certified lightweight non-interference Java bytecode verifier.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
17	Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta	Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.	Autom. Softw. Eng.	2013	DBLP DOI BibTeX RDF
17	Mark C. Reynolds	Modeling the Java Bytecode Verifier.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
17	Sunghun Kim 0001, Thomas Zimmermann 0001, Rahul Premraj, Nicolas Bettenburg, Shivkumar Shivaji	Predicting method crashes with bytecode operations.	ISEC	2013	DBLP DOI BibTeX RDF
17	Hao Hao, Vicky Singh, Wenliang Du	On the effectiveness of API-level access control using bytecode rewriting in Android.	AsiaCCS	2013	DBLP DOI BibTeX RDF
17	Yudi Zheng, Lubomír Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder	Dynamic optimization of bytecode instrumentation.	VMIL@SPLASH	2013	DBLP DOI BibTeX RDF
17	Bandar Alshammari, Colin J. Fidge, Diane Corney	Security Metrics for Java Bytecode Programs (S).	SEKE	2013	DBLP BibTeX RDF
17	Cheng Wang 0013, Youfeng Wu, Marcelo Cintra	Acceldroid: Co-designed acceleration of Android bytecode.	CGO	2013	DBLP DOI BibTeX RDF
17	Byeongho Kang, Boojoong Kang, Jungtae Kim, Eul Gyu Im	Android malware classification method: Dalvik bytecode frequency analysis.	RACS	2013	DBLP DOI BibTeX RDF
17	Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu	Mining Test Oracles for Test Inputs Generated from Java Bytecode.	COMPSAC	2013	DBLP DOI BibTeX RDF
17	Nan Li 0008, Xin Meng, Jeff Offutt, Lin Deng 0001	Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report).	ISSRE	2013	DBLP DOI BibTeX RDF
17	Marco T. Morazán	Bytecode and Memoized Closure Performance.	Trends in Functional Programming	2013	DBLP DOI BibTeX RDF
17	Aymerick Savary, Marc Frappier, Jean-Louis Lanet	Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing.	IFM	2013	DBLP DOI BibTeX RDF
17	Mohamed A. Sharaf, Jie Huang, Chin-Tser Huang	Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications.	ICDCS Workshops	2013	DBLP DOI BibTeX RDF
17	Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini	Cost analysis of object-oriented bytecode programs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix, Yves Le Traon	Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation	CoRR	2012	DBLP BibTeX RDF
17	Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon	Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot	CoRR	2012	DBLP BibTeX RDF
17	Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet	Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.	SCSS	2012	DBLP DOI BibTeX RDF
17	Georg Moser, Michael Schaper	A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems	CoRR	2012	DBLP BibTeX RDF
17	Songzhu Mei, Zhiying Wang 0003, Yong Cheng, Jiangchun Ren, Jiangjiang Wu, Jie Zhou	Trusted Bytecode Virtual Machine Module: A Novel Method for Dynamic Remote Attestation in Cloud Computing.	Int. J. Comput. Intell. Syst.	2012	DBLP DOI BibTeX RDF
17	Durica Nikolic, Fausto Spoto	Definite Expression Aliasing Analysis for Java Bytecode.	ICTAC	2012	DBLP DOI BibTeX RDF
17	Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma 0001, Zhengwei Qi	Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis.	APLAS	2012	DBLP DOI BibTeX RDF
17	Shuai Hao, Ding Li 0001, William G. J. Halfond, Ramesh Govindan	Estimating Android applications' CPU energy usage via bytecode profiling.	GREENS	2012	DBLP DOI BibTeX RDF
17	Kerry A. Seitz, Mark C. Lewis	Virtual Machine and Bytecode for Optimization on Heterogeneous Systems.	ITNG	2012	DBLP DOI BibTeX RDF
17	Damien Octeau, Somesh Jha, Patrick D. McDaniel	Retargeting Android applications to Java bytecode.	SIGSOFT FSE	2012	DBLP DOI BibTeX RDF
17	Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus	Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot.	SOAP@PLDI	2012	DBLP DOI BibTeX RDF
17	Martin Zabel, Thomas B. Preußer, Rainer G. Spallek	Increasing the efficiency of an embedded multi-core bytecode processor using an object cache.	JTRES	2012	DBLP DOI BibTeX RDF
17	Flavius Gruian, Mehmet Ali Arslan	Java bytecode to hardware made easy with bluespec system verilog.	JTRES	2012	DBLP DOI BibTeX RDF
17	Lukás Marek, Alex Villazón, Yudi Zheng, Danilo Ansaloni, Walter Binder, Zhengwei Qi	DiSL: a domain-specific language for bytecode instrumentation.	AOSD	2012	DBLP DOI BibTeX RDF
17	Yudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma 0001, Zhengwei Qi, Mira Mezini	Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation.	TOOLS (50)	2012	DBLP DOI BibTeX RDF
17	Andrea Zambon	Aucsmith-Like Obfuscation of Java Bytecode.	SCAM	2012	DBLP DOI BibTeX RDF
17	Wojciech Zaremba, Yuan Lin, Vinod Grover	JaBEE: framework for object-oriented Java bytecode compilation and execution on graphics processor units.	GPGPU@ASPLOS	2012	DBLP DOI BibTeX RDF
17	Iman Keivanloo, Chanchal K. Roy, Juergen Rilling	Java bytecode clone detection via relaxation on code fingerprint and Semantic Web reasoning.	IWSC	2012	DBLP DOI BibTeX RDF
17	Jean-Louis Lanet	Bytecode Verification.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
17	Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov	Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
17	Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, Mira Mezini	Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine.	PPPJ	2011	DBLP DOI BibTeX RDF
17	Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazón	JP2: collecting dynamic bytecode metrics in JVMs.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
17	Songzhu Mei, Jiangjiang Wu, Yong Cheng, Jun Ma 0015, Jiangchun Ren, Xiaoxing Li	Trusted Bytecode Virtual Machine Module: Towards Dynamic Remote Attestation in Cloud Computing.	IPTC	2011	DBLP DOI BibTeX RDF
17	Pierre Caserta, Olivier Zendra	A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level.	ICOOOLPS@ECOOP	2011	DBLP DOI BibTeX RDF
17	Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl	Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.	FoVeOOS	2011	DBLP DOI BibTeX RDF
17	Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen	WCET analysis of Java bytecode featuring common execution environments.	JTRES	2011	DBLP DOI BibTeX RDF
17	Yanchuan Li, Gordon Fraser 0001	Bytecode Testability Transformation.	SSBSE	2011	DBLP DOI BibTeX RDF
17	Philippe Moret, Walter Binder, Éric Tanter	Polymorphic bytecode instrumentation.	AOSD	2011	DBLP DOI BibTeX RDF
17	Marc Brockschmidt, Carsten Otto, Jürgen Giesl	Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.	RTA	2011	DBLP DOI BibTeX RDF
17	Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams 0001, Albert Cohen 0001, Ayal Zaks	Speculatively vectorized bytecode.	HiPEAC	2011	DBLP DOI BibTeX RDF
17	Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl	Verifiable Control Flow Policies for Java Bytecode.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
17	Simone Campanoni, Luca Rocchini	Static memory management within bytecode languages on multicore systems.	CHANGE@ASPLOS	2011	DBLP DOI BibTeX RDF
17	Antonella Santone	Clone detection through process algebras and Java bytecode.	IWSC	2011	DBLP DOI BibTeX RDF
17	Martin Zabel	Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren.		2011	RDF
17	Diana V. Ramírez-Deantes	Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java.		2011	RDF
17	Lennart Beringer	Relational bytecode correlations.	J. Log. Algebraic Methods Program.	2010	DBLP DOI BibTeX RDF
17	Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini	Using abstract interpretation to add type checking for interfaces in Java bytecode verification.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
17	Mads Dam, Andreas Lundblad	A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode	CoRR	2010	DBLP BibTeX RDF
17	Laurent Hubert	A Non-Null Annotation Inferencer for Java Bytecode	CoRR	2010	DBLP BibTeX RDF
17	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla	Verification of Java Bytecode using Analysis and Transformation of Logic Programs	CoRR	2010	DBLP BibTeX RDF
17	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	High. Order Symb. Comput.	2010	DBLP DOI BibTeX RDF
17	Fausto Spoto, Étienne Payet	Magic-sets for localised analysis of Java bytecode.	High. Order Symb. Comput.	2010	DBLP DOI BibTeX RDF
17	Fausto Spoto, Fred Mesnard, Étienne Payet	A termination analyzer for Java bytecode based on path-length.	ACM Trans. Program. Lang. Syst.	2010	DBLP DOI BibTeX RDF
17	Roberto Barbuti, Nicoletta De Francesco, Luca Tesei	An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.	Comput. J.	2010	DBLP DOI BibTeX RDF
17	Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin	Certified Result Checking for Polyhedral Analysis of Bytecode Programs.	TGC	2010	DBLP DOI BibTeX RDF
17	David Aspinall 0001, Robert Atkey, Kenneth MacKenzie, Donald Sannella	Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.	TGC	2010	DBLP DOI BibTeX RDF
17	Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl	Termination Graphs for Java Bytecode.	Verification, Induction, Termination Analysis	2010	DBLP DOI BibTeX RDF
17	Delphine Demange, Thomas P. Jensen, David Pichardie	A Provably Correct Stackless Intermediate Representation for Java Bytecode.	APLAS	2010	DBLP DOI BibTeX RDF
17	Florence Charreteur, Arnaud Gotlieb	Constraint-Based Test Input Generation for Java Bytecode.	ISSRE	2010	DBLP DOI BibTeX RDF
17	Jonathan Lee 0004, Shin-Jie Lee, Hsi-Min Chen, Jeremy Liang, Chia-Ling Wu, Yao-Chiang Wang	Activating mobile agents from contactless smart cards through a Java bytecode extractor.	SMC	2010	DBLP DOI BibTeX RDF
17	Luis Quesada 0002, Fernando Berzal, Juan C. Cubero	JSimil - A Java Bytecode Clone Detector.	ICSOFT (2)	2010	DBLP BibTeX RDF
17	Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla	Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.	FACS	2010	DBLP DOI BibTeX RDF
17	Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl	Automated Termination Analysis of Java Bytecode by Term Rewriting.	RTA	2010	DBLP DOI BibTeX RDF
17	Corina S. Pasareanu, Neha Rungta	Symbolic PathFinder: symbolic execution of Java bytecode.	ASE	2010	DBLP DOI BibTeX RDF
17	Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin	Stack Bound Inference for Abstract Java Bytecode.	TASE	2010	DBLP DOI BibTeX RDF
17	Florence Charreteur	Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests.		2010	RDF
17	Sylvain Martin, Guy Leduc	A practical bytecode interpreter for programmable routers on IXP network processors.	Comput. Networks	2009	DBLP DOI BibTeX RDF
17	Pradeep Rao, Kazuaki J. Murakami	Identifying Processor Bottlenecks in Virtual Machine Based Execution of Java Bytecode.	IEICE Trans. Electron.	2009	DBLP DOI BibTeX RDF