Search results for "compilers"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Marcin Andrychowicz, Stefan Dziembowski, Sebastian Faust	Circuit Compilers with O(1/ log(n)) Leakage Rate.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
14	Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim	Flow-sensitive runtime estimation: an enhanced hot spot detection heuristics for embedded Java just-in-time compilers.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
14	Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie 0003, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain	RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
14	Tei-Wei Kuo, David B. Whalley (eds.)	Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, LCTES 2016, Santa Barbara, CA, USA, June 13 - 14, 2016	LCTES	2016	DBLP DOI BibTeX RDF
14	Guray Ozen, Eduard Ayguadé, Jesús Labarta	POSTER: Collective Dynamic Parallelism for Directive Based GPU Programming Languages and Compilers.	PACT	2016	DBLP DOI BibTeX RDF
14	Georg Ofenbeck, Tiark Rompf, Markus Püschel	RandIR: differential testing for embedded compilers.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
14	Ronak Kogta, Suresh Purini, Ajit Mathew	Re-targeting Optimization Sequences from Scalar Processors to FPGAs in HLS compilers (Abstract Only).	FPGA	2016	DBLP DOI BibTeX RDF
14	L. Martirosyan	A quality characteristics estimation methodology for the hierarchy of RTL compilers.	EWDTS	2016	DBLP DOI BibTeX RDF
14	Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck	Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers.	QRS	2016	DBLP DOI BibTeX RDF
14	Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé	NOTICE: A Framework for Non-Functional Testing of Compilers.	QRS	2016	DBLP DOI BibTeX RDF
14	Junjie Chen 0003, Yanwei Bai, Dan Hao 0001, Yingfei Xiong 0001, Hongyu Zhang 0002, Lu Zhang 0023, Bing Xie	Test Case Prioritization for Compilers: A Text-Vector Based Approach.	ICST	2016	DBLP DOI BibTeX RDF
14	Sander Stuijk (eds.)	Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, May 23-25, 2016	SCOPES	2016	DBLP DOI BibTeX RDF
14	Christian Menard, Andres Goens, Jerónimo Castrillón	High-level NoC model for MPSoC compilers.	NORCAS	2016	DBLP DOI BibTeX RDF
14	Pietro Fezzardi, Fabrizio Ferrandi	Automated bug detection for pointers and memory accesses in High-Level Synthesis compilers.	FPL	2016	DBLP DOI BibTeX RDF
14	Dorian Weber, Markus Scheidgen, Joachim Fischer	Exchanging the Target-Language in Existing, Non-Metamodel-Based Compilers.	SAM	2016	DBLP DOI BibTeX RDF
14	Martin Elsman, Clemens Grelck, Andreas Klöckner, David A. Padua (eds.)	Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Marcin Andrychowicz, Stefan Dziembowski, Sebastian Faust	Circuit Compilers with O(1/\log (n)) Leakage Rate.	EUROCRYPT (2)	2016	DBLP DOI BibTeX RDF
14		2016 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016	CASES	2016	DBLP DOI BibTeX RDF
14	Xipeng Shen, Frank Mueller 0001, James Tuck 0001 (eds.)	Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers	LCPC	2016	DBLP DOI BibTeX RDF
14	Daniel Barba, Arturo González-Escribano, Diego R. Llanos	Comparative Analysis of OpenACC Compilers.	ICA3PP Workshops	2016	DBLP DOI BibTeX RDF
14	Alastair F. Donaldson, Andrei Lascu	Metamorphic testing for (graphics) compilers.	MET@ICSE	2016	DBLP DOI BibTeX RDF
14	Klaus-Hendrik Wolf, Mike Klimek	A Conformance Test Suite for Arden Syntax Compilers and Interpreters.	MIE	2016	DBLP DOI BibTeX RDF
14	Cynthia Dwork, Moni Naor, Guy N. Rothblum	Spooky Interaction and Its Discontents: Compilers for Succinct Two-Message Argument Systems.	CRYPTO (3)	2016	DBLP DOI BibTeX RDF
14	Richard Veras, Doru-Thom Popovici, Tze Meng Low, Franz Franchetti	Compilers, hands-off my hands-on optimizations.	WPMVP@PPoPP	2016	DBLP DOI BibTeX RDF
14	Nelson Lossing, Pierre Guillou, François Irigoin	Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers.	SCAM	2016	DBLP DOI BibTeX RDF
14	Niranjan Hasabnis, R. Sekar 0001	Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers.	ASPLOS	2016	DBLP DOI BibTeX RDF
14	Kazuhiro Nakamura, Nagisa Ishiura	Random testing of C compilers based on test program generation by equivalence transformation.	APCCAS	2016	DBLP DOI BibTeX RDF
14	Philipp Klaus Krause	Graph decomposition in routing and compilers.		2016	RDF
14	Paul-Jules Micolet, Aaron Smith, Christophe Dubach	A machine learning approach to mapping streaming workloads to dynamic multicore processors.	LCTES	2016	DBLP DOI BibTeX RDF
14	Tom Spink, Harry Wagstaff, Björn Franke	Efficient asynchronous interrupt handling in a full-system instruction set simulator.	LCTES	2016	DBLP DOI BibTeX RDF
14	Lukasz Domagala, Duco van Amstel, Fabrice Rastello	Generalized cache tiling for dataflow programs.	LCTES	2016	DBLP DOI BibTeX RDF
14	Ricardo Nobre, Luiz G. A. Martins, João M. P. Cardoso	A graph-based iterative compiler pass selection and phase ordering approach.	LCTES	2016	DBLP DOI BibTeX RDF
14	Yulei Sui, Xiaokang Fan, Hao Zhou 0009, Jingling Xue	Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization.	LCTES	2016	DBLP DOI BibTeX RDF
14	Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, Peter Marwedel	Compensate or ignore? meeting control robustness requirements through adaptive soft-error handling.	LCTES	2016	DBLP DOI BibTeX RDF
14	Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh	Symbolic execution for memory consumption analysis.	LCTES	2016	DBLP DOI BibTeX RDF
14	Forrest J. Robinson, Michael R. Jantz, Prasad A. Kulkarni	Code cache management in managed language VMs to reduce memory consumption for embedded systems.	LCTES	2016	DBLP DOI BibTeX RDF
14	Kunal Banerjee 0001, Chittaranjan A. Mandal, Dipankar Sarkar 0001	Translation validation of loop and arithmetic transformations in the presence of recurrences.	LCTES	2016	DBLP DOI BibTeX RDF
14	Ravindra Metta, Martin Becker 0001, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh 0001	TIC: a scalable model checking based approach to WCET estimation.	LCTES	2016	DBLP DOI BibTeX RDF
14	Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík	Compiling a gesture recognition application for a low-power spatial architecture.	LCTES	2016	DBLP DOI BibTeX RDF
14	Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, Vikrant Kumar	Opportunity for compute partitioning in pursuit of energy-efficient systems.	LCTES	2016	DBLP DOI BibTeX RDF
14	Andreas Weichslgartner, Stefan Wildermann, Johannes Götzfried, Felix C. Freiling, Michael Glaß, Jürgen Teich	Design-Time/Run-Time Mapping of Security-Critical Applications in Heterogeneous MPSoCs.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Richard Plangger, Andreas Krall	Vectorization in PyPy's Tracing Just-In-Time Compiler.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Omair Rafique, Klaus Schneider 0001	Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Deshya Wijesundera, Alok Prakash, Siew Kei Lam, Thambipillai Srikanthan	Exploiting Configuration Dependencies for Rapid Area-efficient Customization of Soft-core Processors.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Arno Luppold, Christina Kittsteiner, Heiko Falk	Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Marco Bekooij	From dataflow analysis basics to the programming of ASICs.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Ulysse Beaugnon, Albert Cohen 0001, Marc Pouzet	In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Daniele Palossi, Andrea Marongiu	Exploring Single Source Shortest Path Parallelization on Shared Memory Accelerators.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Guus Kuiper, Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij	Compositional Temporal Analysis Method for Fixed Priority Pre-emptive Scheduled Modal Stream Processing Applications.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Ghassan Shobaki, Najm Eldeen Abu Rmaileh, Jafar Jamal	Studying the Impact of Bit Switching on CPU Energy.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Alexander Diewald, Sebastian Voss, Simon Barner	A Lightweight Design Space Exploration and Optimization Language.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Shuoxin Lin, Yanzhou Liu 0001, William Plishker, Shuvra S. Bhattacharyya	A Design Framework for Mapping Vectorized Synchronous Dataflow Graphs onto CPU-GPU Platforms.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Christoph W. Kessler, Lu Li 0001, Aras Atalar, Alin Dobre	An Extensible Platform Description Language Supporting Retargetable Toolchains and Adaptive Execution.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Christakis Lezos, Ioannis Latifis, Grigoris Dimitroulakos, Konstantinos Masselos	Compiler-Directed Data Locality Optimization in MATLAB.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Lin Li 0046, Philipp Wagner 0001, Ramesh Ramaswamy, Albrecht Mayer, Thomas Wild, Andreas Herkersdorf	A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Erwan Jahier	RDBG: a Reactive Programs Extensible Debugger.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Wouter van Teijlingen, Rene van Leuken 0001, Carlo Galuzzi, Bart Kienhuis	Determining Performance Boundaries on High-Level System Specifications.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Pham Nam Khanh, Akash Kumar 0001, Khin Mi Mi Aung	Machine Learning Approach to Generate Pareto Front for List-scheduling Algorithms.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Philipp Ittershagen, Kim Grüttner, Wolfgang Nebel	A Task-Level Monitoring Framework for Multi-Processor Platforms.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Tim Schmidt, Guantao Liu, Rainer Dömer	Automatic Generation of Thread Communication Graphs from SystemC Source Code.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Jan van Lunteren	Scalable DFA Compilation for High-Performance Regular-Expression Matching.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Peter Koek, Stefan J. Geuns, Joost P. H. M. Hausmans, Henk Corporaal, Marco Jan Gerrit Bekooij	CSDFa: A Model for Exploiting the Trade-Off between Data and Pipeline Parallelism.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Dominic Oehlert, Arno Luppold, Heiko Falk	Practical Challenges of ILP-based SPM Allocation Optimizations.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Philip S. Kurtin, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij	HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Matthias Freier, Jian-Jia Chen	Sporadic Task Handling in Time-Triggered Systems.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Muhammad Shafique 0001, Semeen Rehman, Florian Kriebel, Jörg Henkel	Cross-Layer Reliability Modeling and Optimization: Compiler and Run-Time System Interactions.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Nicolas Melot, Christoph W. Kessler, Jörg Keller 0001	Energy-Optimized Static Scheduling for Many-Cores with Task Parallelization, DVFS and Core Consolidation.	SCOPES	2016	DBLP DOI BibTeX RDF
14	Matthias Springer, Hidehiko Masuhara	Object support in an array-based GPGPU extension for Ruby.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Paul Springer, Aravind Sankaran, Paolo Bientinesi	TTC: a tensor transposition compiler for multiple architectures.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Johannes Spazier, Steffen Christgau, Bettina Schnor	Automatic generation of parallel C code for stencil applications written in MATLAB.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Kunal Banerjee 0001, Soumyadip Banerjee 0001, Santonu Sarkar	Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Aaron W. Hsu	The key to a data parallel compiler.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Antoine Tran Tan, Hartmut Kaiser	Extending C++ with co-array semantics.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea	Design and GPGPU performance of Futhark's redomap construct.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Luís Reis 0001, João Bispo, João M. P. Cardoso	SSA-based MATLAB-to-C compilation and optimization.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Andreas Klöckner, Lucas C. Wilcox, Timothy C. Warburton	Array program transformation with Loo.py by example: high-order finite elements.	ARRAY@PLDI	2016	DBLP DOI BibTeX RDF
14	Gopalakrishna Hegde, Siddhartha 0001, Nachiappan Ramasamy, Nachiket Kapre	CaffePresso: an optimized library for deep learning on embedded accelerator-based platforms.	CASES	2016	DBLP DOI BibTeX RDF
14	Paolo Mantovani, Emilio G. Cota, Christian Pilato, Giuseppe Di Guglielmo, Luca P. Carloni	Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip.	CASES	2016	DBLP DOI BibTeX RDF
14	M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz	Speculative disassembly of binary code.	CASES	2016	DBLP DOI BibTeX RDF
14	Alessandro Di Federico, Giovanni Agosta	A jump-target identification method for multi-architecture static binary translation.	CASES	2016	DBLP DOI BibTeX RDF
14	Mounika Ponugoti, Amrish K. Tewar, Aleksandar Milenkovic	On-the-fly load data value tracing in multicores.	CASES	2016	DBLP DOI BibTeX RDF
14	Giuseppe Tagliavini, Germain Haugou, Andrea Marongiu, Luca Benini	Enabling OpenVX support in mW-scale parallel accelerators.	CASES	2016	DBLP DOI BibTeX RDF
14	Stavros Tzilis, Ioannis Sourdis, Vasileios Vasilikos, Dimitrios Rodopoulos, Dimitrios Soudris	Runtime management of adaptive MPSoCs for graceful degradation.	CASES	2016	DBLP DOI BibTeX RDF
14	Michel Steuwer, Toomas Remmelg, Christophe Dubach	Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation.	CASES	2016	DBLP DOI BibTeX RDF
14	Abhinav, Rupesh Nasre	FastCollect: offloading generational garbage collection to integrated GPUs.	CASES	2016	DBLP DOI BibTeX RDF
14	Luyuan Zeng, Pengcheng Huang, Lothar Thiele	Towards the design of fault-tolerant mixed-criticality systems on multicores.	CASES	2016	DBLP DOI BibTeX RDF
14	Konstantina Mitropoulou, Vasileios Porpodas, Timothy M. Jones 0001	COMET: communication-optimised multi-threaded error-detection technique.	CASES	2016	DBLP DOI BibTeX RDF
14	Cheng Tan 0002, Aditi Kulkarni Mohite, Vanchinathan Venkataramani, Manupa Karunaratne, Tulika Mitra, Li-Shiuan Peh	LOCUS: low-power customizable many-core architecture for wearables.	CASES	2016	DBLP DOI BibTeX RDF
14	Yu Wang 0002, Lixue Xia, Ming Cheng, Tianqi Tang 0001, Boxun Li, Huazhong Yang	RRAM based learning acceleration.	CASES	2016	DBLP DOI BibTeX RDF
14	Carlos Sanchez, Peter Gavin, Daniel Moreau, Magnus Själander, David B. Whalley, Per Larsson-Edefors, Sally A. McKee	Redesigning a tagless access buffer to require minimal ISA changes.	CASES	2016	DBLP DOI BibTeX RDF
14	Soubhagya Sutar, Arnab Raha, Vijay Raghunathan	D-PUF: an intrinsically reconfigurable DRAM PUF for device authentication in embedded systems.	CASES	2016	DBLP DOI BibTeX RDF
14	Youhui Zhang, Yu Ji 0002, Wenguang Chen, Yuan Xie 0001	Neural network transformation under hardware constraints.	CASES	2016	DBLP DOI BibTeX RDF
14	Paul Bogdan, Partha Pratim Pande, Hussam Amrouch, Muhammad Shafique 0001, Jörg Henkel	Power and thermal management in massive multicore chips: theoretical foundation meets architectural innovation and resource allocation.	CASES	2016	DBLP DOI BibTeX RDF
14	Mohamed Ibrahim 0002, Craig Boswell, Krishnendu Chakrabarty, Kristin Scott, Miroslav Pajic	A real-time digital-microfluidic platform for epigenetics.	CASES	2016	DBLP DOI BibTeX RDF
14	Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, R. Iris Bahar	Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems.	CASES	2016	DBLP DOI BibTeX RDF
14	Julian Oppermann, Andreas Koch 0001, Melanie Reuter-Oppermann, Oliver Sinnen	ILP-based modulo scheduling for high-level synthesis.	CASES	2016	DBLP DOI BibTeX RDF
14	Wonje Choi 0001, Karthi Duraisamy, Ryan Gary Kim, Janardhan Rao Doppa, Partha Pratim Pande, Radu Marculescu, Diana Marculescu	Hybrid network-on-chip architectures for accelerating deep learning kernels on heterogeneous manycore platforms.	CASES	2016	DBLP DOI BibTeX RDF
14	Murali Krishna Emani	Mapping Medley: Adaptive Parallelism Mapping with Varying Optimization Goals.	LCPC	2016	DBLP DOI BibTeX RDF
14	Prasanth Chatarasi, Jun Shirako, Martin Kong, Vivek Sarkar	An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection.	LCPC	2016	DBLP DOI BibTeX RDF
14	Adam Fidel, Francisco Coral-Sabido, Colton Riedel, Nancy M. Amato, Lawrence Rauchwerger	Fast Approximate Distance Queries in Unweighted Graphs Using Bounded Asynchrony.	LCPC	2016	DBLP DOI BibTeX RDF