Search results for "compilers"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Jad Hbeika, Milind Kulkarni 0001	Locality-Aware Task-Parallel Execution on GPUs.	LCPC	2016	DBLP DOI BibTeX RDF
14	Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski, Ganesh Gopalakrishnan	ParFuse: Parallel and Compositional Analysis of Message Passing Programs.	LCPC	2016	DBLP DOI BibTeX RDF
14	Tong Chen 0001, Zehra Sura, Hyojin Sung	Automatic Copying of Pointer-Based Data Structures.	LCPC	2016	DBLP DOI BibTeX RDF
14	Konstantinos Sagonas, Kjell Winblad	The Contention Avoiding Concurrent Priority Queue.	LCPC	2016	DBLP DOI BibTeX RDF
14	Pengcheng Li 0001, Dhruva R. Chakrabarti	Adaptive Software Caching for Efficient NVRAM Data Persistence.	LCPC	2016	DBLP DOI BibTeX RDF
14	Tongsheng Geng, Stéphane Zuckerman, José Monsalve Diaz, Alfredo Goldman, Sami Habib, Jean-Luc Gaudiot, Guang R. Gao	The Importance of Efficient Fine-Grain Synchronization for Many-Core Systems.	LCPC	2016	DBLP DOI BibTeX RDF
14	Kelly Livingston, Aaron Myles Landwehr, José Monsalve Diaz, Stéphane Zuckerman, Benoît Meister, Guang R. Gao	Energy Avoiding Matrix Multiply.	LCPC	2016	DBLP DOI BibTeX RDF
14	Kouhei Yamamoto, Tomoya Shirakawa, Yoshitake Oki, Akimasa Yoshida, Keiji Kimura, Hironori Kasahara	Automatic Local Memory Management for Multicores Having Global Address Space.	LCPC	2016	DBLP DOI BibTeX RDF
14	Hanfeng Chen, Alexander Krolik, Erick Lavoie, Laurie J. Hendren	Automatic Vectorization for MATLAB.	LCPC	2016	DBLP DOI BibTeX RDF
14	Amit Sabne, Putt Sakdhnagool, Rudolf Eigenmann	Formalizing Structured Control Flow Graphs.	LCPC	2016	DBLP DOI BibTeX RDF
14	Xian-He Sun, Yu-Hang Liu	Utilizing Concurrency: A New Theory for Memory Wall.	LCPC	2016	DBLP DOI BibTeX RDF
14	Aurangzeb, Rudolf Eigenmann	Harnessing Parallelism in Multicore Systems to Expedite and Improve Function Approximation.	LCPC	2016	DBLP DOI BibTeX RDF
14	Forest Danford, Eric Welch, Julio Cárdenas-Rodríguez, Michelle Mills Strout	Analyzing Parallel Programming Models for Magnetic Resonance Imaging.	LCPC	2016	DBLP DOI BibTeX RDF
14	Saurabh Hukerikar, Christian Engelmann	Language Support for Reliable Memory Regions.	LCPC	2016	DBLP DOI BibTeX RDF
14	Pei-Hung Lin, Qing Yi, Daniel J. Quinlan, Chunhua Liao, Yongqing Yan	Automatically Optimizing Stencil Computations on Many-Core NUMA Architectures.	LCPC	2016	DBLP DOI BibTeX RDF
14	Diptorup Deb, Robert J. Fowler, Allan Porterfield	QUARC: An Array Programming Approach to High Performance Computing.	LCPC	2016	DBLP DOI BibTeX RDF
14	Mary W. Hall, Protonu Basu	Polyhedral Compiler Technology in Collaboration with Autotuning Important to Domain-Specific Frameworks for HPC.	LCPC	2016	DBLP DOI BibTeX RDF
14	G. Shashidhar, Rupesh Nasre	LightHouse: An Automatic Code Generator for Graph Algorithms on GPUs.	LCPC	2016	DBLP DOI BibTeX RDF
14	Chenyang Liu, Milind Kulkarni 0001	Evaluating Performance of Task and Data Coarsening in Concurrent Collections.	LCPC	2016	DBLP DOI BibTeX RDF
14	Aniket Shivam, Alexandru Nicolau, Alexander V. Veidenbaum, Mario Mango Furnari, Rosario Cammarota	Polygonal Iteration Space Partitioning.	LCPC	2016	DBLP DOI BibTeX RDF
14	Khalid Ahmad, Anand Venkat, Mary W. Hall	Optimizing LOBPCG: Sparse Matrix Loop and Data Transformations in Action.	LCPC	2016	DBLP DOI BibTeX RDF
14	Ghassan Shobaki, Jafar Jamal	An exact algorithm for the sequential ordering problem and its application to switching energy minimization in compilers.	Comput. Optim. Appl.	2015	DBLP DOI BibTeX RDF
14	George O. Strawn, Candace Strawn	Grace Hopper: Compilers and Cobol.	IT Prof.	2015	DBLP DOI BibTeX RDF
14	Dheya Mustafa, Rudolf Eigenmann	PETRA: Performance Evaluation Tool for Modern Parallelizing Compilers.	Int. J. Parallel Program.	2015	DBLP DOI BibTeX RDF
14	Seo Jin Ki, Tak Sugimura, Albert S. Kim	OpenMP-accelerated SWAT simulation using Intel C and FORTRAN compilers: Development and benchmark.	Comput. Geosci.	2015	DBLP DOI BibTeX RDF
14	Sigurd Schneider, Gert Smolka, Sebastian Hack	A First-Order Functional Intermediate Language for Verified Compilers.	CoRR	2015	DBLP BibTeX RDF
14	Sunita Chandrasekaran, Barbara M. Chapman, Xinmin Tian, Yonghong Yan 0001	Programming Models, Languages, and Compilers for Manycore and Heterogeneous Architectures.	Sci. Program.	2015	DBLP DOI BibTeX RDF
14	Cheng-Yen Lin, Chi-Bang Kuan, Wen-Li Shih, Jenq Kuen Lee	Compilers for Low Power with Design Patterns on Embedded Multicore Systems.	J. Signal Process. Syst.	2015	DBLP DOI BibTeX RDF
14	Patrick Bahr, Graham Hutton	Calculating correct compilers.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
14	Sam H. Noh, Sebastian Fischmeister, Jason Xue (eds.)	Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015	LCTES	2015	DBLP DOI BibTeX RDF
14	Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover	A formal foundation for trace-based JIT compilers.	WODA@SPLASH	2015	DBLP DOI BibTeX RDF
14	Bogdan Ditu	Model-Based Function Call Code Generation and Stack Management in Retargetable Compilers: Application Binary Interface Modeling of Stack Layout and Function Call Sequence.	CSCS	2015	DBLP DOI BibTeX RDF
14	Patrick Bahr	Calculating Certified Compilers for Non-deterministic Languages.	MPC	2015	DBLP DOI BibTeX RDF
14	Dustin Feld, Thomas Soddemann, Michael Jünger, Sven Mallach	Hardware-Aware Automatic Code-Transformation to Support Compilers in Exploiting the Multi-Level Parallel Potential of Modern CPUs.	COSMIC@CGO	2015	DBLP DOI BibTeX RDF
14	David A. Padua	Compilers and the Furture of High Performance Computing.	HiPC	2015	DBLP DOI BibTeX RDF
14	Sandrine Blazy	Formal verification of compilers and static analyzers.	PLMW@POPL	2015	DBLP DOI BibTeX RDF
14	Henk Corporaal, Sander Stuijk (eds.)	Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015	SCOPES	2015	DBLP DOI BibTeX RDF
14	Derek Lockhart, Berkin Ilbeyi, Christopher Batten	Pydgin: generating fast instruction set simulators from simple architecture descriptions with meta-tracing JIT compilers.	ISPASS	2015	DBLP DOI BibTeX RDF
14	John H. E. Lasseter	The Interpreter In An Undergraduate Compilers Course.	SIGCSE	2015	DBLP DOI BibTeX RDF
14	Laurie J. Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek (eds.)	Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Amal Ahmed 0001	Verified Compilers for a Multi-Language World.	SNAPL	2015	DBLP DOI BibTeX RDF
14	Alvin Cheung, Shoaib Kamil 0001, Armando Solar-Lezama	Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.	SNAPL	2015	DBLP DOI BibTeX RDF
14	Ravi Iyer, Siddharth Garg (eds.)	2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2015, Amsterdam, The Netherlands, October 4-9, 2015	CASES	2015	DBLP BibTeX RDF
14	James C. Brodman, Peng Tu (eds.)	Languages and Compilers for Parallel Computing - 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers	LCPC	2015	DBLP DOI BibTeX RDF
14	Sigurd Schneider, Gert Smolka, Sebastian Hack	A Linear First-Order Functional Intermediate Language for Verified Compilers.	ITP	2015	DBLP DOI BibTeX RDF
14	Marcin Andrychowicz, Ivan Damgård, Stefan Dziembowski, Sebastian Faust, Antigoni Polychroniadou	Efficient Leakage Resilient Circuit Compilers.	CT-RSA	2015	DBLP DOI BibTeX RDF
14	Xuejun Yang	Random Testing of Open Source C Compilers.		2015	RDF
14	Isabella Stilkerich, Clemens Lang, Christoph Erhardt, Michael Stilkerich	A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems.	LCTES	2015	DBLP DOI BibTeX RDF
14	Alen Bardizbanyan, Magnus Själander, David B. Whalley, Per Larsson-Edefors	Improving Data Access Efficiency by Using Context-Aware Loads and Stores.	LCTES	2015	DBLP DOI BibTeX RDF
14	Wenguang Zheng, Hui Wu 0001	WCET-Aware Dynamic D-cache Locking for A Single Task.	LCTES	2015	DBLP DOI BibTeX RDF
14	Ryan Baird, Peter Gavin, Magnus Själander, David B. Whalley, Gang-Ryung Uh	Optimizing Transfers of Control in the Static Pipeline Architecture.	LCTES	2015	DBLP DOI BibTeX RDF
14	Christian Dietrich 0001, Martin Hoffmann 0001, Daniel Lohmann	Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.	LCTES	2015	DBLP DOI BibTeX RDF
14	Soumyadeep Ghosh, Yongjun Park 0001, Arun Raman	Enabling Efficient Alias Speculation.	LCTES	2015	DBLP DOI BibTeX RDF
14	Hans Christian Woithe, Ulrich Kremer	TrilobiteG: A programming architecture for autonomous underwater vehicles.	LCTES	2015	DBLP DOI BibTeX RDF
14	Kamyar Mirzazad Barijough, Matin Hashemi, Volodymyr Khibin, Soheil Ghiasi	Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications.	LCTES	2015	DBLP DOI BibTeX RDF
14	Qingrui Liu, Changhee Jung, Dongyoon Lee, Devesh Tiwari	Clover: Compiler Directed Lightweight Soft Error Resilience.	LCTES	2015	DBLP DOI BibTeX RDF
14	Yixiao Lin, Sayan Mitra	StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems.	LCTES	2015	DBLP DOI BibTeX RDF
14	Zhenkai Zhang, Xenofon D. Koutsoukos	Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.	LCTES	2015	DBLP DOI BibTeX RDF
14	Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein	Semantics Driven Hardware Design, Implementation, and Verification with ReWire.	LCTES	2015	DBLP DOI BibTeX RDF
14	Stanislav Manilov, Björn Franke, Anthony Magrath, Cedric Andrieu	Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions.	LCTES	2015	DBLP DOI BibTeX RDF
14	Chen Liu 0013, Chengmo Yang	Secure and Durable (SEDURA): An Integrated Encryption and Wear-leveling Framework for PCM-based Main Memory.	LCTES	2015	DBLP DOI BibTeX RDF
14	Tiago Carvalho, Pedro Pinto 0002, João M. P. Cardoso	Programming Strategies for Contextual Runtime Specialization.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Éricles Sousa, Frank Hannig, Jürgen Teich, Qingqing Chen 0004, Ulf Schlichtmann	Runtime Adaptation of Application Execution under Thermal and Power Constraints in Massively Parallel Processor Arrays.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic	Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Guus Kuiper, Stefan J. Geuns, Marco Bekooij	Utilization Improvement by Enforcing Mutual Exclusive Task Execution in Modal Stream Processing Applications.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder	Static analysis of energy consumption for LLVM IR programs.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Ricardo Nobre, Luiz G. A. Martins, João M. P. Cardoso	Use of Previously Acquired Positioning of Optimizations for Phase Ordering Exploration.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Fernando Herrera, Pablo Peñil, Eugenio Villar	A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Roel Jordans, Henk Corporaal	High-level software-pipelining in LLVM.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Said Hamdioui	Computation in Memory for Data-Intensive Applications: Beyond CMOS and beyond Von- Neumann.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Nicolas Melot, Christoph W. Kessler, Jörg Keller 0001, Patrick Eitschberger	Fast Crown Scheduling Heuristics for Energy-Efficient Mapping and Scaling of Moldable Streaming Tasks on Many-Core Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid	Modeling Exclusive Memory Access for a Time-Decoupled Parallel SystemC Simulator.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Robert Hoettger, Burkhard Igel	A Concept of Vector Clock Utilization in an Iterative Tracing Approach for Distributed Embedded Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Arno Luppold, Heiko Falk	Schedulability Aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Henri-Pierre Charles, Victor Lomüller	Is dynamic compilation possible for embedded systems?	SCOPES	2015	DBLP DOI BibTeX RDF
14	Bartosz Ziólek, Mariusz Ryndzionek, Zbigniew Chamski, Piotr Romaniuk	Synchronous Reactive Nano-Kernels: Exploring the Limits of Power and Energy Efficiency in Embedded Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Olaf Neugebauer, Pascal Libuschewski, Michael Engel, Heinrich Müller, Peter Marwedel	Plasmon-based Virus Detection on Heterogeneous Embedded Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Giuseppe Tagliavini, Germain Haugou, Andrea Marongiu, Luca Benini	A framework for optimizing OpenVX applications performance on embedded manycore accelerators.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Tobias Schwarzer, Joachim Falk, Michael Glaß, Jürgen Teich, Christian Zebelein, Christian Haubelt	Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Jürgen Teich	Adaptive Isolation for Predictable MPSoC Stream Processing.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Maurice Peemen, Wisnu Pramadi, Bart Mesman, Henk Corporaal	VLIW Code Generation for a Convolutional Network Accelerator.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Rajesh Kumar Thakur, Y. N. Srikant	Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Lazaros Papadopoulos, Dimitrios Soudris	An Energy Efficient Message Passing Synchronization Algorithm for Concurrent Data Structures in Embedded Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Philipp Klaus Krause	Bytewise Register Allocation.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Juan Fernando Eusse, Luis Gabriel Murillo, Christopher McGirr, Rainer Leupers, Gerd Ascheid	Application-Specific Architecture Exploration Based on Processor-Agnostic Performance Estimation.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Miguel Angel Aguilar, Rainer Leupers, Gerd Ascheid, Nikolaos Kavvadias	A Toolflow for Parallelization of Embedded Software in Multicore DSP Platforms.	SCOPES	2015	DBLP DOI BibTeX RDF
14	Michael Budde, Martin Dybdal, Martin Elsman	Compiling APL to accelerate through a typed array intermediate language.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Youngsung Kim, Pavol Cerný, John M. Dennis	Performance search engine driven by prior knowledge of optimization.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Mathias Bourgoin, Emmanuel Chailloux	High-level accelerated array programming in the web browser.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Andreas Klöckner	Loo.py: from fortran to performance via transformation and substitution rules.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	João Bispo, Luís Reis 0001, João M. P. Cardoso	Techniques for efficient MATLAB-to-C compilation.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	W. Paul Cockshott, Ciaran Mcreesh, Susanne Oehler, Youssef Gdura	Array programming in pascal.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Robert Bernecky, Sven-Bodo Scholz	Abstract expressionism for parallel performance.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Rahul Garg 0003, Sameer Jagdale, Laurie J. Hendren	Velociraptor: a compiler toolkit for array-based languages targeting CPUs and GPUs.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Mahesh Ravishankar, Paulius Micikevicius, Vinod Grover	Fusing convolution kernels through tiling.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Aaron W. Hsu	Accelerating information experts through compiler design.	ARRAY@PLDI	2015	DBLP DOI BibTeX RDF
14	Felipe Sampaio, Muhammad Shafique 0001, Bruno Zatt, Sergio Bampi, Jörg Henkel	Approximation-aware Multi-Level Cells STT-RAM cache architecture.	CASES	2015	DBLP DOI BibTeX RDF
14	Weichen Liu, Zonghua Gu 0001, Yaoyao Ye	Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization.	CASES	2015	DBLP DOI BibTeX RDF
14	Yi-Ping You, Szu-Chieh Chen	Vector-aware register allocation for GPU shader processors.	CASES	2015	DBLP DOI BibTeX RDF
14	Ahmed Nassar 0001, Fadi J. Kurdahi, Wael M. Elsharkasy	NUVA: Architectural support for runtime verification of parametric specifications over multicores.	CASES	2015	DBLP DOI BibTeX RDF