Search results for "LLVM"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Guoqing Zhang, Tapani Ahonen	A LLVM based compiler for COFFEE.	ISORC	2013	DBLP DOI BibTeX RDF
19	Yu-Hsin Tsai, I-Wei Wu, I-Chun Liu, Jean Jyh-Jiun Shann	Improving performance of JNA by using LLVM JIT compiler.	ICIS	2013	DBLP DOI BibTeX RDF
19	Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic	Formal verification of SSA-based optimizations for LLVM.	PLDI	2013	DBLP DOI BibTeX RDF
19	Stephan Falke 0001, Florian Merz 0001, Carsten Sinz	LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).	TACAS	2013	DBLP DOI BibTeX RDF
19	Nurudeen Lameed, Laurie J. Hendren	A modular approach to on-stack replacement in LLVM.	VEE	2013	DBLP DOI BibTeX RDF
19	Mikhail A. Belyaev, V. A. Tsesko	LLVM-based static analysis tool using type and effect systems.	Autom. Control. Comput. Sci.	2012	DBLP DOI BibTeX RDF
19	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
19	Giuliano Vilela, Edgard de Faria Corrêa, Márcio Eduardo Kreutz	A LLVM Based Development Environment for Embedded Systems Software Targeting the RISCO Processor.	SBESC	2012	DBLP DOI BibTeX RDF
19	Bor-Yeh Shen, Jyun-Yan You, Wuu Yang, Wei-Chung Hsu	An LLVM-based hybrid binary translation system.	SIES	2012	DBLP DOI BibTeX RDF
19	Bor-Yeh Shen, Jiunn-Yeu Chen, Wei-Chung Hsu, Wuu Yang	LLBT: an LLVM-based static binary translator.	CASES	2012	DBLP DOI BibTeX RDF
19	Carsten Sinz, Florian Merz 0001, Stephan Falke 0001	LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).	TACAS	2012	DBLP DOI BibTeX RDF
19	Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris	ErLLVM: an LLVM backend for Erlang.	Erlang Workshop	2012	DBLP DOI BibTeX RDF
19	Tiago Cariolano de Souza Xavier, George Souza Oliveira, Ewerton Daniel de Lima, Anderson Faustino da Silva	A Detailed Analysis of the LLVM's Register Allocators.	SCCC	2012	DBLP DOI BibTeX RDF
19	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 Process.	2011	DBLP DOI BibTeX RDF
19	Michael Stepp, Ross Tate, Sorin Lerner	Equality-Based Translation Validator for LLVM.	CAV	2011	DBLP DOI BibTeX RDF
19	Alon Zakai	Emscripten: an LLVM-to-JavaScript compiler.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
19	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
19	Nikola Ciprich	Using LLVM for a Functional Programming Language Implementation.	EJC	2011	DBLP DOI BibTeX RDF
19	Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett	Evaluating value-graph translation validation for LLVM.	PLDI	2011	DBLP DOI BibTeX RDF
19	Henning Thielemann	Compiling Signal Processing Code embedded in Haskell via LLVM	CoRR	2010	DBLP BibTeX RDF
19	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
19	David A. Terei, Manuel M. T. Chakravarty	An llVM backend for GHC.	Haskell	2010	DBLP DOI BibTeX RDF
19	Carl G. Ritson	Translating ETC to LLVM Assembly.	CPA	2009	DBLP DOI BibTeX RDF

Displaying result #301 - #323 of 323 (100 per page; Change: )
Pages: [<<][1][2][3][4]