The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Bytecode with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1998 (28) 1999 (23) 2000 (40) 2001 (35) 2002 (50) 2003 (54) 2004 (54) 2005 (76) 2006 (57) 2007 (72) 2008 (71) 2009 (74) 2010 (41) 2011 (25) 2012 (19) 2013-2014 (33) 2015 (20) 2016 (17) 2017-2018 (45) 2019 (24) 2020 (25) 2021 (20) 2022-2023 (44) 2024 (3)
Publication types (Num. hits)
article(206) incollection(3) inproceedings(729) phdthesis(7) proceedings(5)
Venues (Conferences, Journals, ...)
BYTECODE@ETAPS(56) CoRR(39) PPPJ(17) CC(15) OOPSLA Companion(14) ACM Trans. Program. Lang. Syst...(13) SAC(13) OOPSLA(12) JTRES(11) APLAS(10) Sci. Comput. Program.(10) AOSD(9) IPDPS(9) PLDI(9) SCAM(9) J. Autom. Reason.(8) More (+10 of total 411)
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
128Stephen N. Freund, John C. Mitchell The type system for object initializatiion in the Jave bytecode language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF bytecode languages, object initialization, Java, type checking
112Jerome Miecznikowski, Laurie J. Hendren Decompiling Java Bytecode: Problems, Traps and Pitfalls. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
112Stephen N. Freund, John C. Mitchell A Type System for Object Initialization in the Java Bytecode Language. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java
99Michael Orlov, Moshe Sipper Genetic programming in the wild: evolving unrestricted bytecode. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software evolution, java bytecode
99Eva Rose Lightweight Bytecode Verification. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data flow analysis, proof-carrying code, bytecode verification
90Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, Jong Kuk Park Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine
90Stephen N. Freund, John C. Mitchell A Type System for the Java Bytecode Language and Verifier. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type systems, Java Virtual Machine, bytecode verification
90William S. Evans, Christopher W. Fraser Bytecode Compression via Profiled Grammar Rewriting. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF program compression, variable-to-fixed length codes, context-free grammars, bytecode interpretation
90Raymie Stata, Martín Abadi A Type System for Java Bytecode Subroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, Java, bytecode verification
90Ramesh Radhakrishnan, Juan Rubio 0001, Lizy Kurian John Characterization of Java Applications at Bytecode and Ultra-SPARC Machine Code Levels. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, Performance Analysis, benchmarking, bytecode
83Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca Polymorphic bytecode: compositional compilation for Java-like languages. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type systems, compositional analysis
83Myoungkyu Song, Eli Tilevich Enhancing source-level programming tools with an awareness of transparent program transformations. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF debugging, program transformation, domain-specific languages, enhancement, bytecode engineering
83Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa Tool-Assisted Specification and Verification of Typed Low-Level Languages. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF virtual machine, theorem proving, Java Card, bytecode verification
80Yosi Ben-Asher, Nadav Rotem The effect of unrolling and inlining for Python bytecode optimizations. Search on Bibsonomy SYSTOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF optimizations, Python, bytecode, dynamic languages
80Gerwin Klein, Martin Wildmoser Verified Bytecode Subroutines. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
80Kazunori Ogata, Hideaki Komatsu, Toshio Nakatani Bytecode fetch optimization for a Java interpreter. Search on Bibsonomy ASPLOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF pipelined interpreter, stack caching, Java, performance, superscalar processor, PowerPC, bytecode interpreter
75Damon Fenacci, Kenneth MacKenzie Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
75Jaroslav Bauml, Premek Brada Reconstruction of Type Information from Java Bytecode for Component Compatibility. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
75Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert A Dozen Instructions Make Java Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
75Fausto Spoto, Lunjin Lu, Fred Mesnard Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Arno Puder, Jessica Lee Towards an XML-based Bytecode Level Transformation Framework. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Étienne Payet, Fausto Spoto Experiments with Non-Termination Analysis for Java Bytecode. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo User-Definable Resource Usage Bounds Analysis for Java Bytecode. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Hermann Lehner, Peter Müller 0001 Formal Translation of Bytecode into BoogiePL. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles Bytecode Rewriting in Tom. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Experiments in Cost Analysis of Java Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Walter Binder, Jarle Hulaas Java Bytecode Transformations for Efficient, Portable CPU Accounting. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou Flexible Bytecode for Linking in .NET. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Stephen Gilmore, Matthew Prowse Proof-carrying Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Cyrille Artho, Armin Biere Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Martin Wildmoser, Amine Chaieb, Tobias Nipkow Bytecode Analysis for Proof Carrying Code. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Michael Eichberg BAT2XML: XML-based Java Bytecode Representation. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Lucja Kot, Dexter Kozen Kleene Algebra and Bytecode Verification. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Fabian Bannwart, Peter Müller 0001 A Program Logic for Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Daniel Hedin, David Sands 0001 Timing Aware Information Flow Security for a JavaCard-like Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 A Space-Aware Bytecode Verifier for Java Cards. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75René Rydhof Hansen, Igor Siveroni Towards Verification of Well-Formed Transactions in Java Card Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Ian Bayley, Sam Shiel JVM Bytecode Verification Without Dataflow Analysis. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
74Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
74Dimitris Saougkos, George Manis, Konstantinos Blekas, Apostolos V. Zarras Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compression (coding), Java
74Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Patrice Pominville, Vijay Sundaresan Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? Search on Bibsonomy CC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
71Xiaofeng Yang, Mohammad Zulkernine Secure Method Calls by Instrumenting Bytecode with Aspects. (PDF / PS) Search on Bibsonomy DBSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF code security, aspects, Bytecode instrumentation
71Andreas Gal, Christian W. Probst, Michael Franz Java bytecode verification via static single assignment form. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java bytecode verification, dataflow analysis, static single assignment form
71David A. Basin, Stefan Friedrich 0001, Marek Gawkowski Bytecode Verification by Model Checking. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, static analysis, type safety, bytecode verification
71Jeung-Bo Cho, Min-Soo Jung A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card. Search on Bibsonomy Human.Society@Internet 2003 The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
67R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Jerome Miecznikowski, Laurie J. Hendren Decompiling Java Using Staged Encapsulation. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java Decompile Soot Dava Staged Encapsulation Sable
64Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Lilian Burdy, Marieke Huisman, Mariela Pavlova Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Lilian Burdy, Mariela Pavlova Java bytecode specification and verification. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
64Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. Search on Bibsonomy OTM Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
64Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Vijay Sundaresan Soot - a Java bytecode optimization framework. Search on Bibsonomy CASCON The full citation details ... 1999 DBLP  BibTeX  RDF Java
64Cheng-Hsueh A. Hsieh, John C. Gyllenhaal, Wen-mei W. Hwu Java Bytecode to Native Code Translation: The Caffeine Prototype and Preliminary Results. Search on Bibsonomy MICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Java
61Joshua Ellul, Kirk Martinez Run-time compilation of bytecode in wireless sensor networks. Search on Bibsonomy IPSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF wireless sensor networks, Java, compilers, bytecode
61Walter Binder, Jarle Hulaas, Philippe Moret Advanced Java bytecode instrumentation. Search on Bibsonomy PPPJ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic bytecode instrumentation, Java, program transformations, profiling, JVM, dynamic metrics
61Xavier Leroy Java Bytecode Verification: Algorithms and Formalizations. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
61Robert F. Stärk, Joachim Schmid 0001 Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, bytecode verification, certifying compilation
61J. Doyle, C. Meudec IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. Search on Bibsonomy PPPJ The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
61Zhenyu Qian Standard fixpoint iteration for Java bytecode verification. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, dataflow analysis, bytecode verification, fixpoint
59Pierre Ganty, Mark Marron (eds.) Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  BibTeX  RDF
59David Pichardie (eds.) Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  BibTeX  RDF
59Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
59David J. Pearce 0001, James Noble 0001 Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
59Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
59Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim Handling Non-linear Operations in the Value Analysis of COSTA. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
59Pierre Ganty, Mark Marron Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
59Jevgeni Kabanov JRebel Tool Demo. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
59David Pichardie Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
59Michael Eichberg, Andreas Sewe Encoding the Java Virtual Machine's Instruction Set. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
59Philippe Wang, Adrien Jonquet, Emmanuel Chailloux Non-Intrusive Structural Coverage for Objective Caml. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
59Elvira Albert, Samir Genaim (eds.) Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009 Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  BibTeX  RDF
59Massimo Bartoletti, Gabriele Costa 0001, Roberto Zunino Jalapa: Securing Java with Local Policies: Tool Demonstration. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Phil McGachey, Antony L. Hosking, J. Eliot B. Moss Pervasive Load-Time Transformation for Transparently Distributed Java. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe The S3MS.NET Run Time Monitor: Tool Demonstration. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Elvira Albert, Samir Genaim Preface. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Stefan Brunthaler 0001 Virtual-Machine Abstraction and Optimization Techniques. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Aleksy Schubert, Daria Walukiewicz-Chrzaszcz The Non-Interference Protection in BML. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Xin Li 0010, Mizuhito Ogawa An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Laurent Hubert, David Pichardie Soundly Handling Static Fields: Issues, Semantics and Analysis. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Marieke Huisman, Fausto Spoto (eds.) Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  BibTeX  RDF
59Quan Hoang Nguyen 0001, Bernhard Scholz Computing SSA Form with Matrices. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Marieke Huisman, Fausto Spoto Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Ando Saabas, Tarmo Uustalu Type Systems for Optimizing Stack-based Code. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Jesse McGeachie, Jürgen Dingel Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Jaroslav Sevcík Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Theo C. Ruys, Niels H. M. Aan de Brugh MMC: the Mono Model Checker. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Fausto Spoto (eds.) Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
59Pierre Crégut, Cuihtlauac Alvarado Improving the Security of Downloadable Java Applications With Static Analysis. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Sigmund Cherem, Radu Rugina A Verifier for Region-Annotated Java Bytecodes. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Fausto Spoto Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Sam Shiel, Ian Bayley A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Tao Wang, Abhik Roychoudhury Dynamic slicing on Java bytecode traces. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF debugging, Program slicing, tracing
55Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini Termination Analysis of Java Bytecode. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla Test Data Generation of Bytecode by CLP Partial Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Benjamin Grégoire, Jorge Luis Sacchini Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. Search on Bibsonomy TGC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum A simplified java bytecode compilation system for resource-constrained embedded processors. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF superoperators, embedded systems, java virtual machine, adaptive optimization, profile-guided optimization
55Ming-Yee Iu, Willy Zwaenepoel Queryll: Java Database Queries Through Bytecode Rewriting. Search on Bibsonomy Middleware The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Samir Genaim, Fausto Spoto Information Flow Analysis for Java Bytecode. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 950 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license