|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 56 publication records. Showing 56 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz |
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.  |
Bytecode@ETAPS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce 0001, James Noble 0001 |
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. |
Bytecode@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Damon Fenacci, Kenneth MacKenzie |
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. |
Bytecode@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini |
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. |
Bytecode@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
Handling Non-linear Operations in the Value Analysis of COSTA. |
Bytecode@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Mark Marron |
Preface. |
Bytecode@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Bytecode@ETAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Pichardie (eds.) |
Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010 |
Bytecode@ETAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jevgeni Kabanov |
JRebel Tool Demo. |
Bytecode@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Bauml, Premek Brada |
Reconstruction of Type Information from Java Bytecode for Component Compatibility. |
Bytecode@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert |
A Dozen Instructions Make Java Bytecode. |
Bytecode@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie |
Preface. |
Bytecode@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Eichberg, Andreas Sewe |
Encoding the Java Virtual Machine's Instruction Set. |
Bytecode@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Wang, Adrien Jonquet, Emmanuel Chailloux |
Non-Intrusive Structural Coverage for Objective Caml. |
Bytecode@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto, Lunjin Lu, Fred Mesnard |
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Puder, Jessica Lee |
Towards an XML-based Bytecode Level Transformation Framework. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne Payet, Fausto Spoto |
Experiments with Non-Termination Analysis for Java Bytecode. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Gabriele Costa 0001, Roberto Zunino |
Jalapa: Securing Java with Local Policies: Tool Demonstration. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil McGachey, Antony L. Hosking, J. Eliot B. Moss |
Pervasive Load-Time Transformation for Transparently Distributed Java. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe |
The S3MS.NET Run Time Monitor: Tool Demonstration. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim |
Preface. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo |
User-Definable Resource Usage Bounds Analysis for Java Bytecode. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brunthaler 0001 |
Virtual-Machine Abstraction and Optimization Techniques. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksy Schubert, Daria Walukiewicz-Chrzaszcz |
The Non-Interference Protection in BML. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li 0010, Mizuhito Ogawa |
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, David Pichardie |
Soundly Handling Static Fields: Issues, Semantics and Analysis. |
BYTECODE@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
BYTECODE@ETAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Quan Hoang Nguyen 0001, Bernhard Scholz |
Computing SSA Form with Matrices. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Lehner, Peter Müller 0001 |
Formal Translation of Bytecode into BoogiePL. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles |
Bytecode Rewriting in Tom. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Fausto Spoto |
Preface. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ando Saabas, Tarmo Uustalu |
Type Systems for Optimizing Stack-based Code. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse McGeachie, Jürgen Dingel |
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík |
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo C. Ruys, Niels H. M. Aan de Brugh |
MMC: the Mono Model Checker. |
Bytecode@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Bytecode@ETAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Walter Binder, Jarle Hulaas |
Java Bytecode Transformations for Efficient, Portable CPU Accounting. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou |
Flexible Bytecode for Linking in .NET. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Crégut, Cuihtlauac Alvarado |
Improving the Security of Downloadable Java Applications With Static Analysis. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigmund Cherem, Radu Rugina |
A Verifier for Region-Annotated Java Bytecodes. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Matthew Prowse |
Proof-carrying Bytecode. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere |
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wildmoser, Amine Chaieb, Tobias Nipkow |
Bytecode Analysis for Proof Carrying Code. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Eichberg |
BAT2XML: XML-based Java Bytecode Representation. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucja Kot, Dexter Kozen |
Kleene Algebra and Bytecode Verification. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Bannwart, Peter Müller 0001 |
A Program Logic for Bytecode. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hedin, David Sands 0001 |
Timing Aware Information Flow Security for a JavaCard-like Bytecode. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
A Space-Aware Bytecode Verifier for Java Cards. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rydhof Hansen, Igor Siveroni |
Towards Verification of Well-Formed Transactions in Java Card Bytecode. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto |
Preface. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Bayley, Sam Shiel |
JVM Bytecode Verification Without Dataflow Analysis. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Shiel, Ian Bayley |
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. |
Bytecode@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto (eds.) |
Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005 |
Bytecode@ETAPS |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license