Search results for "LLVM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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 DOI BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
2	Chris Lattner, Vikram S. Adve	LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.	CGO	2004	DBLP DOI BibTeX RDF
2	Chris Lattner, Vikram S. Adve	The LLVM Compiler Framework and Infrastructure Tutorial.	LCPC	2004	DBLP DOI BibTeX RDF
1	Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic	Formalizing the LLVM intermediate representation for verified program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Jérôme Gorin, Matthieu Wipliez, Françoise J. Prêteux, Mickaël Raulet	LLVM-based and scalable MPEG-RVC decoder.	J. Real-Time Image Processing	2011	DBLP DOI BibTeX RDF
1	Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett	Evaluating value-graph translation validation for LLVM.	PLDI	2011	DBLP DOI BibTeX RDF
1	Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov	Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer.	RV	2011	DBLP DOI BibTeX RDF
1	Nikola Ciprich	Using LLVM for a Functional Programming Language Implementation.	EJC	2011	DBLP DOI BibTeX RDF
1	Alon Zakai	Emscripten: an LLVM-to-JavaScript compiler.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Michael Stepp, Ross Tate, Sorin Lerner	Equality-Based Translation Validator for LLVM.	CAV	2011	DBLP DOI BibTeX RDF
1	Chun-Chen Hsu, Pangfeng Liu, Chien-Min Wang, Jan-Jan Wu, Ding-Yong Hong, Pen-Chung Yew, Wei-Chung Hsu	LnQ: Building High Performance Dynamic Binary Translators with Existing Compiler Backends.	ICPP	2011	DBLP DOI BibTeX RDF	QEMU, Optimization, Dynamic Binary Translation, LLVM
1	Henning Thielemann	Compiling Signal Processing Code embedded in Haskell via LLVM	CoRR	2010	DBLP BibTeX RDF
1	Jérôme Gorin, Matthieu Wipliez, Françoise J. Prêteux, Mickaël Raulet	A portable Video Tool Library for MPEG Reconfigurable Video Coding using LLVM representation.	DASIP	2010	DBLP DOI BibTeX RDF
1	David A. Terei, Manuel M. T. Chakravarty	An llVM backend for GHC.	Haskell	2010	DBLP DOI BibTeX RDF
1	Anil Kumar Karna, Hengming Zou	Cross Comparison on C Compilers' Reliability Impact on UNIX Based Fedora OS.	CIT	2010	DBLP DOI BibTeX RDF	PGI, Sun Studio, Compilers, Software Reliability, Intel, GCC, LLVM
1	Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman	CoreDet: a compiler and runtime system for deterministic multithreaded execution.	ASPLOS	2010	DBLP DOI BibTeX RDF	compilers, multithreading, multicore, determinism
1	Ruirui C. Huang, Daniel Y. Deng, G. Edward Suh	Orthrus: efficient software integrity protection on multi-cores.	ASPLOS	2010	DBLP DOI BibTeX RDF	replication-aware architecture, software diversity and redundancy, software security, multi-core architecture, memory protection
1	Jinku Li, Zhi Wang, Xuxian Jiang, Michael C. Grace, Sina Bahram	Defeating return-oriented rootkits with "Return-Less" kernels.	EuroSys	2010	DBLP DOI BibTeX RDF	return-less kernel, return-oriented rootkits, defense
1	Silvian Calman, Jianwen Zhu	Interprocedural induction variable analysis based on interprocedural SSA form IR.	PASTE	2010	DBLP DOI BibTeX RDF	induction variable analysis, interprocedural ssa, ssa
1	Carl G. Ritson	Translating ETC to LLVM Assembly.	CPA	2009	DBLP DOI BibTeX RDF
1	Carlos S. de La Lama, Pekka Jääskeläinen, Jarmo Takala	Programmable and Scalable Architecture for Graphics Processing Units.	SAMOS	2009	DBLP DOI BibTeX RDF	TTA, GPU, GPGPU, VLIW, OpenGL, GLSL, LLVM
1	Moritz Kleine, Steffen Helke	Low-Level Code Verification Based on CSP Models.	SBMF	2009	DBLP DOI BibTeX RDF
1	Nicolas Geoffray, Gaël Thomas, Charles Clément, Bertil Folliot	A lazy developer approach: building a JVM with third party software.	PPPJ	2008	DBLP DOI BibTeX RDF	BoehmGC, GNU classpath, JnJVM, Java, LLVM
1	Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec	Generalized instruction selection using SSA-graphs.	LCTES	2008	DBLP DOI BibTeX RDF	pbqp, compiler, code generation, instruction selection
1	Anna Zaks, Amir Pnueli	Program analysis for compiler validation.	PASTE	2008	DBLP DOI BibTeX RDF
1	Fernando Magno Quintão Pereira, Jens Palsberg	Register allocation by puzzle solving.	PLDI	2008	DBLP DOI BibTeX RDF	puzzle solving, register aliasing, register allocation
1	Dietmar Ebner, Florian Brandner, Andreas Krall	Leveraging Predicated Execution for Multimedia Processing.	ESTImedia	2007	DBLP DOI BibTeX RDF
1	Vikram S. Adve, Michael Brukman, Alkis Evlogimenos, Brian Gaeke	Software Implications of Virtual Instruction Set Computers.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
1	Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve	Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. (PDF / PS)	IPDPS	2002	DBLP BibTeX RDF