Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
128 | Stephen N. Freund, John C. Mitchell |
The type system for object initializatiion in the Jave bytecode language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(6), pp. 1196-1250, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
bytecode languages, object initialization, Java, type checking |
112 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Bytecode: Problems, Traps and Pitfalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 111-127, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
112 | Stephen N. Freund, John C. Mitchell |
A Type System for Object Initialization in the Java Bytecode Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 310-327, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
99 | Michael Orlov, Moshe Sipper |
Genetic programming in the wild: evolving unrestricted bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1043-1050, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software evolution, java bytecode |
99 | Eva Rose |
Lightweight Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(3-4), pp. 303-334, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data flow analysis, proof-carrying code, bytecode verification |
90 | Dong-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](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 35-42, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine |
90 | Stephen N. Freund, John C. Mitchell |
A Type System for the Java Bytecode Language and Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 271-321, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
type systems, Java Virtual Machine, bytecode verification |
90 | William S. Evans, Christopher W. Fraser |
Bytecode Compression via Profiled Grammar Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 148-155, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
program compression, variable-to-fixed length codes, context-free grammars, bytecode interpretation |
90 | Raymie Stata, Martín Abadi |
A Type System for Java Bytecode Subroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(1), pp. 90-137, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, Java, bytecode verification |
90 | Ramesh Radhakrishnan, Juan Rubio 0001, Lizy Kurian John |
Characterization of Java Applications at Bytecode and Ultra-SPARC Machine Code Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 281-284, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, Performance Analysis, benchmarking, bytecode |
83 | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
Polymorphic bytecode: compositional compilation for Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 26-37, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type systems, compositional analysis |
83 | Myoungkyu Song, Eli Tilevich |
Enhancing source-level programming tools with an awareness of transparent program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 301-320, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
debugging, program transformation, domain-specific languages, enhancement, bytecode engineering |
83 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of Typed Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(4), pp. 295-354, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
virtual machine, theorem proving, Java Card, bytecode verification |
80 | Yosi Ben-Asher, Nadav Rotem |
The effect of unrolling and inlining for Python bytecode optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: Proceedings of of SYSTOR 2009: The Israeli Experimental Systems Conference 2009, Haifa, Israel, May 4-6, 2009, pp. 14, 2009, ACM, 978-1-60558-623-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimizations, Python, bytecode, dynamic languages |
80 | Gerwin Klein, Martin Wildmoser |
Verified Bytecode Subroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 363-398, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification |
80 | Kazunori Ogata, Hideaki Komatsu, Toshio Nakatani |
Bytecode fetch optimization for a Java interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, California, USA, October 5-9, 2002., pp. 58-67, 2002, ACM Press, 1-58113-574-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
pipelined interpreter, stack caching, Java, performance, superscalar processor, PowerPC, bytecode interpreter |
75 | Damon Fenacci, Kenneth MacKenzie |
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 19-32, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
75 | Jaroslav Bauml, Premek Brada |
Reconstruction of Type Information from Java Bytecode for Component Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 3-18, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
75 | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert |
A Dozen Instructions Make Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 19-34, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
75 | Fausto Spoto, Lunjin Lu, Fred Mesnard |
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 129-144, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
75 | Arno Puder, Jessica Lee |
Towards an XML-based Bytecode Level Transformation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 97-111, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
75 | Étienne Payet, Fausto Spoto |
Experiments with Non-Termination Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 83-96, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
75 | Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo |
User-Definable Resource Usage Bounds Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 65-82, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
75 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 85-101, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Hermann Lehner, Peter Müller 0001 |
Formal Translation of Bytecode into BoogiePL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 35-50, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles |
Bytecode Rewriting in Tom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 19-33, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 51-66, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 67-83, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Walter Binder, Jarle Hulaas |
Java Bytecode Transformations for Efficient, Portable CPU Accounting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 53-73, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou |
Flexible Bytecode for Linking in .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 75-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Stephen Gilmore, Matthew Prowse |
Proof-carrying Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 3-18, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Cyrille Artho, Armin Biere |
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 109-128, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Martin Wildmoser, Amine Chaieb, Tobias Nipkow |
Bytecode Analysis for Proof Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 19-34, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Michael Eichberg |
BAT2XML: XML-based Java Bytecode Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 93-107, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Lucja Kot, Dexter Kozen |
Kleene Algebra and Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 221-236, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Fabian Bannwart, Peter Müller 0001 |
A Program Logic for Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 255-273, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Daniel Hedin, David Sands 0001 |
Timing Aware Information Flow Security for a JavaCard-like Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 163-182, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
A Space-Aware Bytecode Verifier for Java Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 237-254, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | René Rydhof Hansen, Igor Siveroni |
Towards Verification of Well-Formed Transactions in Java Card Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 145-162, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Ian Bayley, Sam Shiel |
JVM Bytecode Verification Without Dataflow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 203-220, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang |
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 275-293, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
74 | Dimitris Saougkos, George Manis, Konstantinos Blekas, Apostolos V. Zarras |
Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(7), pp. 478-495, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compression (coding), Java |
74 | Raja 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](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 18-34, 2000, Springer, 3-540-67263-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
71 | Xiaofeng Yang, Mohammad Zulkernine |
Secure Method Calls by Instrumenting Bytecode with Aspects. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security XXIII, 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings, pp. 126-141, 2009, Springer, 978-3-642-03006-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
code security, aspects, Bytecode instrumentation |
71 | Andreas Gal, Christian W. Probst, Michael Franz |
Java bytecode verification via static single assignment form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 21:1-21:21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java bytecode verification, dataflow analysis, static single assignment form |
71 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski |
Bytecode Verification by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 399-444, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, static analysis, type safety, bytecode verification |
71 | Jeung-Bo Cho, Min-Soo Jung |
A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet 2003 ![In: Web Communication Technologies and Internet-Related Social Issues - HSI 2003, Second International Conference on Human Society@Internet, Seoul, Korea, June 18-20, 2003, Proceedings, pp. 106-115, 2003, Springer, 3-540-40456-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier |
67 | R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi |
Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 76, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
67 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Using Staged Encapsulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001, pp. 368-374, 2001, IEEE Computer Society, 0-7695-1303-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java Decompile Soot Dava Staged Encapsulation Sable |
64 | Elvira 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](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 113-132, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 215-229, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Lilian Burdy, Mariela Pavlova |
Java bytecode specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1835-1839, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini |
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings, pp. 425-436, 2003, Springer, 3-540-20494-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
64 | Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Vijay Sundaresan |
Soot - a Java bytecode optimization framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada, pp. 13, 1999, IBM. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
Java |
64 | Cheng-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](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 29, Paris, France, December 2-4, 1996, pp. 90-99, 1996, ACM/IEEE Computer Society, 0-8186-7641-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Java |
61 | Joshua Ellul, Kirk Martinez |
Run-time compilation of bytecode in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 422-423, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
wireless sensor networks, Java, compilers, bytecode |
61 | Walter Binder, Jarle Hulaas, Philippe Moret |
Advanced Java bytecode instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 135-144, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dynamic bytecode instrumentation, Java, program transformations, profiling, JVM, dynamic metrics |
61 | Xavier Leroy |
Java Bytecode Verification: Algorithms and Formalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 235-269, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification |
61 | Robert F. Stärk, Joachim Schmid 0001 |
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 323-361, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, bytecode verification, certifying compilation |
61 | J. Doyle, C. Meudec |
IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003, pp. 55-58, 2003, ACM, 0-9544145-1-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing |
61 | Zhenyu Qian |
Standard fixpoint iteration for Java bytecode verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(4), pp. 638-672, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, dataflow analysis, bytecode verification, fixpoint |
59 | Pierre 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
59 | David 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
59 | Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz |
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 33-45, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
59 | David J. Pearce 0001, James Noble 0001 |
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 47-59, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
59 | Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini |
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 61-74, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
59 | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
Handling Non-linear Operations in the Value Analysis of COSTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 3-17, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
59 | Pierre Ganty, Mark Marron |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 1, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
59 | Jevgeni Kabanov |
JRebel Tool Demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 51-57, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
59 | David Pichardie |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
59 | Michael Eichberg, Andreas Sewe |
Encoding the Java Virtual Machine's Instruction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 35-50, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
59 | Philippe Wang, Adrien Jonquet, Emmanuel Chailloux |
Non-Intrusive Structural Coverage for Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 59-73, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
59 | Elvira 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](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
59 | Massimo Bartoletti, Gabriele Costa 0001, Roberto Zunino |
Jalapa: Securing Java with Local Policies: Tool Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 145-151, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Phil McGachey, Antony L. Hosking, J. Eliot B. Moss |
Pervasive Load-Time Transformation for Transparently Distributed Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 47-64, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe |
The S3MS.NET Run Time Monitor: Tool Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 153-159, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Elvira Albert, Samir Genaim |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Stefan Brunthaler 0001 |
Virtual-Machine Abstraction and Optimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 3-14, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Aleksy Schubert, Daria Walukiewicz-Chrzaszcz |
The Non-Interference Protection in BML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 113-127, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Xin Li 0010, Mizuhito Ogawa |
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 31-46, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Laurent Hubert, David Pichardie |
Soundly Handling Static Fields: Issues, Semantics and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 15-30, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Marieke 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
59 | Quan Hoang Nguyen 0001, Bernhard Scholz |
Computing SSA Form with Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 121-132, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Marieke Huisman, Fausto Spoto |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 1, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Ando Saabas, Tarmo Uustalu |
Type Systems for Optimizing Stack-based Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 103-119, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Jesse McGeachie, Jürgen Dingel |
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 3-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Jaroslav Sevcík |
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 133-147, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Theo C. Ruys, Niels H. M. Aan de Brugh |
MMC: the Mono Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 149-160, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Fausto 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
59 | Pierre Crégut, Cuihtlauac Alvarado |
Improving the Security of Downloadable Java Applications With Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 129-144, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Sigmund Cherem, Radu Rugina |
A Verifier for Region-Annotated Java Bytecodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 183-201, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Fausto Spoto |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 1, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Sam Shiel, Ian Bayley |
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 35-52, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Tao Wang, Abhik Roychoudhury |
Dynamic slicing on Java bytecode traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(2), pp. 10:1-10:49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
debugging, Program slicing, tracing |
55 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 2-18, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 4-23, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Benjamin Grégoire, Jorge Luis Sacchini |
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, pp. 23-40, 2007, Springer, 978-3-540-78662-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum |
A simplified java bytecode compilation system for resource-constrained embedded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 218-228, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
superoperators, embedded systems, java virtual machine, adaptive optimization, profile-guided optimization |
55 | Ming-Yee Iu, Willy Zwaenepoel |
Queryll: Java Database Queries Through Bytecode Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2006, ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006, Proceedings, pp. 201-218, 2006, Springer, 3-540-49023-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Samir Genaim, Fausto Spoto |
Information Flow Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 346-362, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|