|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 23 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gregor Wagner, Andreas Gal, Michael Franz |
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz |
Compiler-Generated Software Diversity. |
Moving Target Defense |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz |
The impact of optional type information on jit compilation of dynamically typed languages. |
DLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz |
Compartmental memory management in a modern web browser. |
ISMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek |
Automated construction of JavaScript benchmarks. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz |
Trace-based compilation in execution environments without interpreters. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
| 1 | Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz |
Stream-Based Dynamic Compilation for Object-Oriented Languages. |
TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz |
Tracing for web 3.0: trace compilation for the next generation web applications. |
VEE |
2009 |
DBLP DOI BibTeX RDF |
tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages |
| 1 | Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz |
Phase detection using trace compilation. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection |
| 1 | Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz |
SlimVM: a small footprint Java virtual machine for connected embedded systems. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
connected embedded systems, optimization, Java virtual machine, just-in-time compilation, code-size reduction |
| 1 | Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz |
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
multi-variant execution, intrusion detection, vulnerability, multi-core processors, process monitoring |
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
Java bytecode verification via static single assignment form. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Java bytecode verification, dataflow analysis, static single assignment form |
| 1 | Kevin Williams, Albert Noll, Andreas Gal, David Gregg |
Optimization strategies for a java virtual machine interpreter on the cell broadband engine. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
java, virtual machine, interpreter, language implementation |
| 1 | Gregor Wagner, Andreas Gal, Michael Franz |
Slim VM: optimistic partial program loading for connected embedded Java virtual machines. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
cold code removal, embedded connected devices, Java virtual machine, just-in-time compilation |
| 1 | Alexander Yermolovich, Andreas Gal, Michael Franz |
Portable execution of legacy binaries on the Java virtual machine. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
system emulation, legacy software |
| 1 | Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz |
Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. |
CISIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz, Andreas Gal, Christian W. Probst |
Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. |
Software Engineering |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Bebenita, Andreas Gal, Michael Franz |
Implementing fast JVM interpreters using Java itself. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
interpreter design, metacircular/self-interpreters, minimal trusted computing base, Java virtual machine |
| 1 | Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk |
Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz |
OSEK/VDX API for Java. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
HotpathVM: an effective JIT compiler for resource-constrained devices. |
VEE |
2006 |
DBLP DOI BibTeX RDF |
embedded and resource-constrained systems, mixed-mode interpretive compiled systems, software trace scheduling, virtual machines, dynamic compilation, static single assignment form |
| 1 | Peter H. Fröhlich, Andreas Gal, Michael Franz |
Supporting software composition at the programming language level. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang |
A portable virtual machine target for proof-carrying code. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
Structural Encoding of Static Single Assignment Form. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
Integrated Java Bytecode Verification. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Spinczyk, Michael Schoettner, Andreas Gal |
Programming Languages and Operating Systems. |
ECOOP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez |
Object-Orientation and Operating Systems. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat |
On Aspect-Orientation in Distributed Real-time Dependable Systems. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")