Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
10	Hsiang-Yang Chen, Ting-Wei Hou, Chun-Liang Lin	Tamper-proofing basis path by using oblivious hashing on Java.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	basis paths, oblivious hashing, Java, Java, tamper-proofing
10	Pierre Crégut	Extracting Control from Data: User Interfaces of MIDP Applications.	TGC	2007	DBLP DOI BibTeX RDF
10	SungHyun Hong, Jin-Chul Kim, Jin Woo Shin, Soo-Mook Moon, Hyeong-Seok Oh, Jaemok Lee, Hyung-Kyu Choi	Java client ahead-of-time compiler for embedded systems.	LCTES	2007	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, early binding, Java virtual machine, just-in-time compiler, relocation
10	Matthew Naylor, Colin Runciman	The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.	IFL	2007	DBLP DOI BibTeX RDF
10	Carsten Gremzow	Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design.	SCSC	2007	DBLP BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
10	Christopher J. F. Pickett	Software speculative multithreading for Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, parallelism, virtual machines, thread level speculation, speculative multithreading
10	Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz	User-changeable visibility: resolving unanticipated name clashes in traits.	OOPSLA	2007	DBLP DOI BibTeX RDF	composition, information hiding, encapsulation, traits, dynamic typing
10	Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis	RPython: a step towards reconciling dynamically and statically typed OO languages.	DLS	2007	DBLP DOI BibTeX RDF	JVM, Python, NET
10	Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann	A Declarative Framework for Analysis and Optimization.	CC	2007	DBLP DOI BibTeX RDF
10	Neng-Fa Zhou	A Register-Free Abstract Prolog Machine with Jumbo Instructions.	ICLP	2007	DBLP DOI BibTeX RDF
10	René Müller 0001, Jan S. Rellermeyer, Michael Duller, Gustavo Alonso, Donald Kossmann	A dynamic and flexible sensor network platform.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	SwissQM, query machine, sensor networks, OSGi, R-OSGi
10	Xiang Fu 0001, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao	A Static Analysis Framework For Detecting SQL Injection Vulnerabilities.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
10	Kun Wang, Wuwei Shen	Improving the Accuracy of UML Class Model Recovery.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
10	Florian T. Schneider, Mathias Payer, Thomas R. Gross	Online optimizations driven by hardware performance monitoring.	PLDI	2007	DBLP DOI BibTeX RDF	Java, dynamic optimization, just-in-time compilation, hardware performance monitors
10	Sean Foley	Tactics for minimal interference from class loading in real-time Java™.	JTRES	2007	DBLP DOI BibTeX RDF	class load, precompilation, Java, optimization, real-time, refactoring, reduction
10	Thomas Preußer, Martin Zabel, Rainer G. Spallek	Enabling constant-time interface method dispatch in embedded Java processors.	JTRES	2007	DBLP DOI BibTeX RDF	Java, interfaces, method dispatch
10	Ki-Tae Kim, Je-Min Kim, Weon-Hee Yoo	Dead Code Elimination in CTOC.	SERA	2007	DBLP DOI BibTeX RDF
10	Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux	Rewriting Approximations for Fast Prototyping of Static Analyzers.	RTA	2007	DBLP DOI BibTeX RDF
10	Flavius Gruian, Mark Westmijze	BluEJAMM: A Bluespec Embedded Java Architecture with Memory Management.	SYNASC	2007	DBLP DOI BibTeX RDF
10	John Bergin	Runtime Adaptation of Long-Running Applications for Improved Caching.	ICSM	2007	DBLP DOI BibTeX RDF
10	J Strother Moore	Inductive assertions and operational semantics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
10	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
10	Mangala Gowri Nanda, S. Ramesh 0001	Interprocedural slicing of multithreaded programs with applications to Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
10	Sandrine-Dominique Gouraud, Arnaud Gotlieb	Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.	PADL	2006	DBLP DOI BibTeX RDF	CHR, Java Card Virtual Machine, Software testing
10	Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens	Improving your software using static analysis to find bugs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, static analysis, FindBugs
10	Youngsun Han, Seokjoong Hwang, Seon Wook Kim	Jaguar: a compiler infrastructure for Java reconfigurable computing.	FPGA	2006	DBLP DOI BibTeX RDF
10	Christian Hammer 0001, Jens Krinke, Frank Nodes	Intransitive Noninterference in Dependence Graphs.	ISoLA	2006	DBLP DOI BibTeX RDF
10	Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle	A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.	CARDIS	2006	DBLP DOI BibTeX RDF
10	George C. Necula	Using Dependent Types to Port Type Systems to Low-Level Languages.	CC	2006	DBLP DOI BibTeX RDF
10	Ronghui Tu, Feiyuan Wang, Jiying Zhao, Abdulmotaleb El-Saddik	Copyright Protection ofWeb Applications throughWatermarking.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
10	Bernd Burgstaller, Bernhard Scholz, M. Anton Ertl	An Embedded Systems Programming Environment for C.	Euro-Par	2006	DBLP DOI BibTeX RDF
10	Semih Cetin, N. Ilker Altintas, Remzi Solmaz	Business Rules Segregation for Dynamic Process Management with an Aspect-Oriented Framework.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
10	John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa	Type-safe distributed programming for OCaml.	ML	2006	DBLP DOI BibTeX RDF	HashCaml, type-safe marshalling, objective Caml
10	Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet	JACK - A Tool for Validation of Security and Behaviour of Java Applications.	FMCO	2006	DBLP DOI BibTeX RDF
10	Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia	Role-Based access control consistency validation.	ISSTA	2006	DBLP DOI BibTeX RDF	security, Java, static analysis, RBAC, role-based access control, J2EE, Java EE
10	Bruno Harbulot, John R. Gurd	A join point for loops in AspectJ.	AOSD	2006	DBLP DOI BibTeX RDF	loop join point, AspectJ
10	Youngsun Han, Shinyoung Kim, Hokwon Kim, Seokjoong Hwang, Seon Wook Kim	Code Generation and Optimization for Java-to-C Compilers.	EUC Workshops	2006	DBLP DOI BibTeX RDF
10	Yudith Cardinale, Jesús De Oliveira, Carlos Figueira	Remote Class Prefetching: Improving Performance of Java Applications on Grid Platforms.	ISPA	2006	DBLP DOI BibTeX RDF	Class prefetching, Distributed applications, Computational Grids, Collaborative platforms, Java applications
10	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula	A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.	VMCAI	2006	DBLP DOI BibTeX RDF
10	Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl	Embedding verifiable information flow analysis.	PST	2006	DBLP DOI BibTeX RDF	embedded systems, static analysis, information flow, confidentiality, language-based security, smart objects
10	Sunghun Kim 0001, Kai Pan, E. James Whitehead Jr.	Micro pattern evolution.	MSR	2006	DBLP DOI BibTeX RDF
10	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Towards Description and Optimization of Abstract Machines in an Extension of Prolog.	LOPSTR	2006	DBLP DOI BibTeX RDF	Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
10	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
10	Patrick Schaumont, David Hwang 0001, Ingrid Verbauwhede	Platform-based design for an embedded-fingerprint-authentication device.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
10	Daniel Reynaud-Plantey	New threats of Java viruses.	J. Comput. Virol.	2005	DBLP DOI BibTeX RDF
10	Yudith Cardinale, Emilio Hernández	Parallel Checkpointing on a Grid-Enabled Java Platform.	EGC	2005	DBLP DOI BibTeX RDF
10	Marco Milazzo, Giuseppe Pappalardo, Emiliano Tramontana, Giuseppe Ursino	Handling run-time updates in distributed applications.	SAC	2005	DBLP DOI BibTeX RDF	distributed systems, adaptation, evolution, software evolution, separation of concerns, computational reflection, runtime adaptation
10	Walter Cazzola, Antonio Cisternino, Diego Colombo	[a]C#: C# with a customizable code annotation mechanism.	SAC	2005	DBLP DOI BibTeX RDF	code annotation, reflection, C#, NET
10	Alex Buckley	A Model of Dynamic Binding in .NET.	Component Deployment	2005	DBLP DOI BibTeX RDF
10	ZhiLei Chai, Wenjie Chen, ZhiQiang Tang, Zhang-long Chen, Shi-liang Tu	Asynchronous Transfer of Control in the RTSJ-compliant Java Processor.	CIT	2005	DBLP DOI BibTeX RDF
10	Youngsun Han, Seon Kim, Chulwoo Kim	Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing.	ICESS	2005	DBLP DOI BibTeX RDF	Java, FPGA, compiler, Reconfigurable computing, Verilog
10	Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar	Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection.	ECOOP	2005	DBLP DOI BibTeX RDF
10	Michael F. Ringenburg, Dan Grossman	AtomCaml: first-class atomicity via rollback.	ICFP	2005	DBLP DOI BibTeX RDF	transactions, concurrent programming, atomicity, objective caml
10	Samuele Carpineti, Cosimo Laneve, Paolo Milazzo	BoPi - A Distributed Machine for Experimenting Web Services Technologies.	ACSD	2005	DBLP DOI BibTeX RDF
10	Christopher J. F. Pickett, Clark Verbrugge	Software Thread Level Speculation for the Java Language and Virtual Machine Environment.	LCPC	2005	DBLP DOI BibTeX RDF
10	Brian A. Malloy, James F. Power	Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams.	VL/HCC	2005	DBLP DOI BibTeX RDF
10	Nathan McEachen, Roger T. Alexander	Distributing classes with woven concerns: an exploration of potential fault scenarios.	AOSD	2005	DBLP DOI BibTeX RDF	foreign aspects, AspectJ, aspect-orientation, aspect interference
10	Eduardo Blanco 0001, Yudith Cardinale, Carlos Figueira, Emilio Hernández, Robinson Rivas, Marta Rukoz	Remote Data Service Installation on a Grid-enabled Java Platform.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
10	Robert Steele, Tharam S. Dillon, Parth Pandya, Yuri Ventsov	XML-Based Mobile Agents.	ITCC (2)	2005	DBLP DOI BibTeX RDF	web services, XML, mobile agents, agent architecture, UDDI
10	Ginger Myles, Hongxia Jin	Self-validating Branch-Based Software Watermarking.	Information Hiding	2005	DBLP DOI BibTeX RDF
10	Eli Tilevich, Yannis Smaragdakis, Marcus Handte	Appletizing: Running Legacy Java Code Remotely from a Web Browser.	ICSM	2005	DBLP DOI BibTeX RDF
10	David Pichardie	Modular Proof Principles for Parameterised Concretizations.	CASSIS	2005	DBLP DOI BibTeX RDF
10	Gilles Barthe, Tamara Rezk, Ando Saabas	Proof Obligations Preserving Compilation.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
10	Nicoletta De Francesco, Luca Martini	Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
10	Naohiko Shimizu, Chiaki Kon	Java object look aside buffer for embedded applications.	SIGARCH Comput. Archit. News	2004	DBLP DOI BibTeX RDF
10	Walter Binder, Jarle Hulaas	A Portable CPU-Management Framework for Java.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF
10	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
10	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
10	Guangyu Chen, Byung-Tae Kang, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Rajarathnam Chandramouli	Studying Energy Trade Offs in Offloading Computation/Compilation in Java-Enabled Mobile Devices.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	Java, Client/server, runtime environment
10	Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel	Enforcing System-Wide Properties.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
10	Hendra Saputra, Guangyu Chen, Richard R. Brooks, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin	Code protection for resource-constrained embedded devices.	LCTES	2004	DBLP DOI BibTeX RDF	Java security, java byte code, mono-alphabetic, poly-alphabetic, cryptography, substitution
10	Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu	Formal Analysis of Java Programs in JavaFAN.	CAV	2004	DBLP DOI BibTeX RDF
10	Nishkam Ravi, Cristian Borcea, Porlin Kang, Liviu Iftode	Portable Smart Messages for Ubiquitous Java-Enabled Devices.	MobiQuitous	2004	DBLP DOI BibTeX RDF
10	Bruno Dufour, Christopher Goard, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge	Measuring the dynamic behaviour of AspectJ programs.	OOPSLA	2004	DBLP DOI BibTeX RDF	java, optimization, performance, aspect-oriented programming, program analysis, AspectJ, dynamic metrics
10	Hanbing Liu, J Strother Moore	Java Program Verification via a JVM Deep Embedding in ACL2.	TPHOLs	2004	DBLP DOI BibTeX RDF
10	Cyrille Artho, Klaus Havelund, Armin Biere	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.	ATVA	2004	DBLP DOI BibTeX RDF
10	Frédéric Dang Tran, Jean-Philippe Fassino, Olivier Lobry, Jacques Pulou, Nicolas Rivierre	Toward a Component-Based Embedded Java-Oriented Operating System.	OTM Workshops	2004	DBLP DOI BibTeX RDF
10	Solange Coupet-Grimal, William Delobel	A Uniform and Certified Approach for Two Static Analyses.	TYPES	2004	DBLP DOI BibTeX RDF
10	Grigore Rosu, Koushik Sen	An Instrumentation Technique for Online Analysis of Multithreaded Programs.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Feihui Li, Pyush Agrawal, Grace Eberhardt, Eren Manavoglu, Secil Ugurel, Mahmut T. Kandemir	Improving Memory Performance of Embedded Java Applications by Dynamic Layout Modifications.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp	Dynamic path-based software watermarking.	PLDI	2004	DBLP DOI BibTeX RDF	watermarking, software protection, software piracy
10	Jasvir Nagra, Clark D. Thomborson	Threading Software Watermarks.	Information Hiding	2004	DBLP DOI BibTeX RDF
10	Christian S. Collberg, Andrew Huntwork, Edward Carter, Gregg M. Townsend	Graph Theoretic Software Watermarks: Implementation, Analysis, and Attacks.	Information Hiding	2004	DBLP DOI BibTeX RDF
10	Eli Tilevich, Yannis Smaragdakis	Portable and Efficient Distributed Threads for Java.	Middleware	2004	DBLP DOI BibTeX RDF
10	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
10	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
10	Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001	MyJVM: a 100% pure Java customizable Java Virtual Machine.	PPPJ	2003	DBLP BibTeX RDF
10	Regina Lúcia de Oliveira Moraes, Eliane Martins	Jaca - A Software Fault Injection Tool.	DSN	2003	DBLP DOI BibTeX RDF
10	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
10	Serguei Mourachov	ATCT: a Java framework that offers new approach to developing asynchronous processes.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java framework, execution context reification, asynchronous processes
10	Antoine Galland, Mathieu Baudet	Controlling and Optimizing the Usage of One Resource.	APLAS	2003	DBLP DOI BibTeX RDF
10	Henri E. Bal	A Java-Based Grid Programming Environment.	Euro-Par	2003	DBLP DOI BibTeX RDF
10	Ray Odaira, Kei Hiraki	Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime statistics, mutex lock, Java, JVM, runtime optimization
10	Guilin Chen, Byung-Tae Kang, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Rajarathnam Chandramouli	Energy-Aware Compilation and Execution in Java-Enabled Mobile Devices.	IPDPS	2003	DBLP DOI BibTeX RDF
10	Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy	Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.	GPCE	2003	DBLP DOI BibTeX RDF
10	J Strother Moore	Inductive Assertions and Operational Semantics.	CHARME	2003	DBLP DOI BibTeX RDF
10	Frédéric Gava, Frédéric Loulergue	A Parallel Virtual Machine for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
10	Pascal Felber	Semi-automatic Parallelization of Java Applications.	OTM	2003	DBLP DOI BibTeX RDF
10	Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau 0001	Lightweight Transparent Java Thread Migration for Distributed JVM.	ICPP	2003	DBLP DOI BibTeX RDF	distributed JVM, Java thread migration, mobility, multi-threading, JIT compiler