Search results for "array bounds"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck	Array bounds check elimination for the Java HotSpot™ client compiler.	PPPJ	2007	DBLP DOI BibTeX RDF	array bounds check elimination, Java, optimization, performance, just-in-time compilation
3	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit array bounds checking on 64-bit architectures.	TACO	2006	DBLP DOI BibTeX RDF	virtual memory, Array-bounds checking, 64-bit architectures
3	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit java array bounds checking on 64-bit architecture.	ICS	2004	DBLP DOI BibTeX RDF	java, virtual memory, array-bounds checking
3	Mikel Luján, John R. Gurd, T. L. Freeman, José Miguel-Alonso	Elimination of Java array bounds checks in the presence of indirection.	Java Grande	2002	DBLP DOI BibTeX RDF	array indirection, Java, array bounds check
2	Keqiao Yang, Zeng Huang, Min Yang	Array Bounds Check Elimination for Java Based on Sparse Representation.	SERA	2009	DBLP DOI BibTeX RDF	array bounds check elimination, Java, optimization, performance
2	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
2	Dinakar Dhurjati, Vikram S. Adve	Backwards-compatible array bounds checking for C with very low overhead.	ICSE	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, array bounds checking, region management
2	Feng Qian, Laurie J. Hendren, Clark Verbrugge	A Comprehensive Approach to Array Bounds Check Elimination for Java.	CC	2002	DBLP DOI BibTeX RDF
2	Rastislav Bodík, Rajiv Gupta, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
2	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
1	Javed Absar, Deepak Shekhar	Eliminating partially-redundant array-bounds check in the Android Dalvik JIT compiler.	PPPJ	2011	DBLP DOI BibTeX RDF
1	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
1	Gabriel Dos Reis, Bjarne Stroustrup	General constant expressions for system programming languages.	SAC	2010	DBLP DOI BibTeX RDF	compile time evaluation, standardization
1	Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck	Array bounds check elimination in the context of deoptimization.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
1	Christian Wimmer, Hanspeter Mössenböck	Automatic array inlining in java virtual machines.	CGO	2008	DBLP DOI BibTeX RDF	array inlining, object inlining, java, optimization, performance, garbage collection, just-in-time compilation
1	Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff	Constrained types for object-oriented languages.	OOPSLA	2008	DBLP DOI BibTeX RDF	constraints, dependent types, object-oriented programming languages
1	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
1	Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth Russell, David Cox	Design of the Java HotSpot™ client compiler for Java 6.	TACO	2008	DBLP DOI BibTeX RDF	deoptimization, Java, optimization, compiler, register allocation, just-in-time compilation, intermediate representation
1	Hiroshi Unno, Naoki Kobayashi	On-Demand Refinement of Dependent Types.	FLOPS	2008	DBLP DOI BibTeX RDF
1	Tzi-cker Chiueh	Fast Bounds Checking Using Debug Register.	HiPEAC	2008	DBLP DOI BibTeX RDF
1	Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie	A buffer overflow benchmark for software model checkers.	ASE	2007	DBLP DOI BibTeX RDF	model checking, benchmark, buffer overflow, array bounds checking
1	Rona Machlin	Index-based multidimensional array queries: safety and equivalence.	PODS	2007	DBLP DOI BibTeX RDF	array query languages, integer linear constraints, aggregation, multidimensional data, scientific data, query equivalence
1	Matthew Might	Logic-flow analysis of higher-order programs.	POPL	2007	DBLP DOI BibTeX RDF	LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS
1	Kelly Heffner, David Tarditi, Michael D. Smith	Extending Object-Oriented Optimizations for Concurrent Programs.	PACT	2007	DBLP DOI BibTeX RDF
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
1	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
1	Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok	Compiler-assisted software verification using plug-ins.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Mikel Luján, John R. Gurd, T. L. Freeman, José Miguel-Alonso	Elimination of Java array bounds checks in the presence of indirection.	Concurrency - Practice and Experience	2005	DBLP DOI BibTeX RDF
1	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	static race detection, parallelization, Symbolic analysis
1	Ewen Denney, Bernd Fischer 0002, Johann Schumann	Adding Assurance to Automatically Generated Code.	HASE	2004	DBLP DOI BibTeX RDF
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
1	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Extending sized type with collection analysis.	PEPM	2003	DBLP DOI BibTeX RDF	collection analysis, mixed constraints, sized type, polymorphism, fix-point
1	Matthew Harren, George C. Necula	Lightweight Wrappers for Interfacing with Binary Code in CCured.	ISSS	2003	DBLP DOI BibTeX RDF
1	Pramod Ramarao, Akhilesh Tyagi, Gyungho Lee	Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits.	ISC	2003	DBLP DOI BibTeX RDF
1	Aneesh Aggarwal, Keith H. Randall	Related Field Analysis.	PLDI	2001	DBLP DOI BibTeX RDF	Java
1	Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge	A Framework for Optimizing Java Using Attributes.	CC	2001	DBLP DOI BibTeX RDF
1	Zhichen Xu, Thomas W. Reps, Barton P. Miller	Typestate Checking of Machine Code.	ESOP	2001	DBLP DOI BibTeX RDF
1	Andreas Krall, Philipp Tomsich	Java for Large-Scale Scientific Computations?	LSSC	2001	DBLP DOI BibTeX RDF
1	Hongwei Xi	Imperative Programming with Dependent Types.	LICS	2000	DBLP DOI BibTeX RDF	dependent types, programming language design, array bounds checking
1	Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge	A framework for optimizing Java using attributes.	CASCON	2000	DBLP DOI BibTeX RDF	Java
1	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	PLDI	2000	DBLP DOI BibTeX RDF
1	José E. Moreira, Samuel P. Midkiff, Manish Gupta	From flop to megaflops: Java for technical computing.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	java, Java, compilers, arrays
1	Dexter Kozen, Maria-Christina Patron	Certification of Compiler Optimizations Using Kleene Algebra with Tests.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Sheri J. Bernstein, Robert S. Duff	Optimizing Ada on the fly.	SIGAda	1999	DBLP DOI BibTeX RDF	check elimination, range checking, range propagation, uninitialized variables, optimization, Ada, compiler, array bounds checking, warnings
1	Hongwei Xi, Songtao Xia	Towards array bound check elimination in Java TM virtual machine language.	CASCON	1999	DBLP DOI BibTeX RDF	Java
1	Ali-Reza Adl-Tabatabai, Michal Cierniak, Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth	Fast, Effective Code Generation in a Just-In-Time Java Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	Java
1	José E. Moreira, Samuel P. Midkiff, Manish Gupta	From Flop to MegaFlops: Java for Technical Computing.	LCPC	1998	DBLP DOI BibTeX RDF
1	Kleanthis Psarris, David Klappholz	Eliminating Unnecessary Array Bounds Checks in Nests of Loops.	ICCI	1993	DBLP BibTeX RDF
1	Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto	Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking.	ISCA	1989	DBLP DOI BibTeX RDF	LISP