CC B

21 papers

YearTitle / Authors
2008A System for Generating Static Analyzers for Machine Instructions.
Junghee Lim, Thomas W. Reps
2008An Adaptive Strategy for Inline Substitution.
Keith D. Cooper, Timothy J. Harvey, Todd Waterman
2008Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.
Marius Nita, Dan Grossman
2008Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model.
Uday Bondhugula, Muthu Manikandan Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan
2008Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Laurie J. Hendren
2008Compiler-Guaranteed Safety in Code-Copying Virtual Machines.
Gregory B. Prokopski, Clark Verbrugge
2008Control Flow Emulation on Tiled SIMD Architectures.
Ghulam Lashari, Ondrej Lhoták, Michael McCool
2008Coqa: Concurrent Objects with Quantized Atomicity.
Yu David Liu, Xiaoqi Lu, Scott F. Smith
2008Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.
Michael I. Schwartzbach
2008Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method.
Uday P. Khedker, Bageshri Karkare
2008Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic
2008Generating SIMD Vectorized Permutations.
Franz Franchetti, Markus Püschel
2008Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs.
Etienne Bergeron, Marc Feeley, Jean-Pierre David
2008How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation.
Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong
2008IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries.
Atanas Rountev, Mariana Sharp, Guoqing Xu
2008Improved Memory-Access Analysis for x86 Executables.
Thomas W. Reps, Gogul Balakrishnan
2008Java Bytecode Verification for @NonNull Types.
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
2008Keep Off the Grass: Locking the Right Path for Atomicity.
Dave Cunningham, Khilan Gudka, Susan Eisenbach
2008On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.
Francesco Logozzo, Manuel Fähndrich
2008Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.
Cheng Wang, Victor Ying, Youfeng Wu
2008Visualization of Program Dependence Graphs.
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck