Search results for "compilers"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Prabhjot Sandhu, Clark Verbrugge, Laurie J. Hendren	A Hybrid Synchronization Mechanism for Parallel Sparse Triangular Solve.	LCPC	2021	DBLP DOI BibTeX RDF
14	Ravi Shankar, Aaron Orenstein, Anna Rift, Tobi Popoola, MacDonald Lowe, Shuai Yang, T. Dylan Mikesell, Catherine Olschanowsky	Techniques for Managing Polyhedral Dataflow Graphs.	LCPC	2021	DBLP DOI BibTeX RDF
14	Parinaz Barakhshan, Rudolf Eigenmann	iCetus: A Semi-automatic Parallel Programming Assistant.	LCPC	2021	DBLP DOI BibTeX RDF
14	Florian Mayer 0001, Julian Brandner, Matthias Hellmann, Jesko Schwarzer, Michael Philippsen	The ORKA-HPC Compiler - Practical OpenMP for FPGAs.	LCPC	2021	DBLP DOI BibTeX RDF
14	Shenghao Qiu, You Liang, Zheng Wang 0001	Optimizing Sparse Matrix Multiplications for Graph Neural Networks.	LCPC	2021	DBLP DOI BibTeX RDF
14	Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner	Enabling accuracy-aware Quantum compilers using symbolic resource estimation.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Vsevolod Livinskii, Dmitry Babokin, John Regehr	Random testing for C and C++ compilers with YARPGen.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
14	Re'em Harel, Idan Mosseri, Harel Levin, Lee-or Alon, Matan Rusanovsky, Gal Oren 0001	Source-to-Source Parallelization Compilers for Scientific Shared-Memory Multi-core and Accelerated Multiprocessing: Analysis, Pitfalls, Enhancement and Potential.	Int. J. Parallel Program.	2020	DBLP DOI BibTeX RDF
14	Jeff Smits, Gabriël D. P. Konat, Eelco Visser	Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System.	Art Sci. Eng. Program.	2020	DBLP DOI BibTeX RDF
14	Sergi Siso, Wes Armour, Jeyarajan Thiyagalingam	Evaluating Auto-Vectorizing Compilers through Objective Withdrawal of Useful Information.	ACM Trans. Archit. Code Optim.	2020	DBLP DOI BibTeX RDF
14	N. I. V'yukova, V. A. Galatenko, S. V. Samborskii	Dynamic Program Analysis Tools in GCC and CLANG Compilers.	Program. Comput. Softw.	2020	DBLP DOI BibTeX RDF
14	Aviral Shrivastava, Jian-Jia Chen, Youtao Zhang	Introduction to the Special Issue on Languages, Compilers, Tools, and Theory of Embedded Systems: Part 2.	ACM Trans. Embed. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Aviral Shrivastava, Jian-Jia Chen, Youtao Zhang	Introduction to the Special Issue on Languages, Compilers, Tools, and Theory of Embedded Systems: Part 1.	ACM Trans. Embed. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Fabian Ruffy, Tao Wang, Anirudh Sivaraman	Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing.	CoRR	2020	DBLP BibTeX RDF
14	Nina Mujkanovic, Karthee Sivalingam, Alfio Lazzaro	Optimising AI Training Deployments using Graph Compilers and Containers.	CoRR	2020	DBLP BibTeX RDF
14	Yanqi Zhou, Sudip Roy 0002, AmirAli Abdolrashidi, Daniel Wong 0001, Peter C. Ma, Qiumin Xu, Hanxiao Liu, Mangpo Phitchaya Phothilimtha, Shen Wang, Anna Goldie, Azalia Mirhoseini, James Laudon	Transferable Graph Optimizers for ML Compilers.	CoRR	2020	DBLP BibTeX RDF
14	Joshua Hoke Davis, Christopher S. Daley, Swaroop Pophale, Thomas Huber, Sunita Chandrasekaran, Nicholas J. Wright	Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs.	CoRR	2020	DBLP BibTeX RDF
14	Michael D. Wong, Aatish Kishan Varma, Anirudh Sivaraman	Testing Compilers for Programmable Switches Through Switch Hardware Simulation.	CoRR	2020	DBLP BibTeX RDF
14	Jeff Smits, Gabriël D. P. Konat, Eelco Visser	Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System.	CoRR	2020	DBLP BibTeX RDF
14	Matt Godbolt	Optimizations in C++ compilers.	Commun. ACM	2020	DBLP DOI BibTeX RDF
14	Florian Giesemann, Lukas Gerlach 0001, Guillermo Payá Vayá	Evolutionary Algorithms for Instruction Scheduling, Operation Merging, and Register Allocation in VLIW Compilers.	J. Signal Process. Syst.	2020	DBLP DOI BibTeX RDF
14	Alex Ozdemir, Fraser Brown, Riad S. Wahby	Unifying Compilers for SNARKs, SMT, and More.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
14	Martin Desharnais	A Generic Framework for Verified Compilers.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
14	Patrick Bahr, Graham Hutton	Calculating correct compilers II: Return of the register machines.	J. Funct. Program.	2020	DBLP DOI BibTeX RDF
14	Tadeus Prastowo, Luigi Palopoli 0002, Luca Abeni	Tice: A real-time language compilable using C++ compilers.	Softw. Pract. Exp.	2020	DBLP DOI BibTeX RDF
14	Andres Rodriguez 0001	Deep Learning Systems: Algorithms, Compilers, and Processors for Large-Scale Production		2020	DOI RDF
14	Jingling Xue, Changhee Jung (eds.)	Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020.	LCTES	2020	DBLP DOI BibTeX RDF
14	Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang 0005, Emina Torlak	Synthesizing JIT Compilers for In-Kernel DSLs.	CAV (2)	2020	DBLP DOI BibTeX RDF
14	Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer 0002	Grammar-based testing for little languages: an experience report with student compilers.	SLE	2020	DBLP DOI BibTeX RDF
14	Simon Reder, Jürgen Becker 0001	WCET-aware Code Generation and Communication Optimization for Parallelizing Compilers.	DATE	2020	DBLP DOI BibTeX RDF
14	Lin Cheng, Berkin Ilbeyi, Carl Friedrich Bolz-Tereick, Christopher Batten	Type freezing: exploiting attribute type monomorphism in tracing JIT compilers.	CGO	2020	DBLP DOI BibTeX RDF
14	Mohammad Mahdi Javanmard, Zafar Ahmad, Martin Kong, Louis-Noël Pouchet, Rezaul Chowdhury, Robert J. Harrison	Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers.	CGO	2020	DBLP DOI BibTeX RDF
14	Yihao Li, Franz Wotawa	On Using Ontologies for Testing Compilers.	ICST Workshops	2020	DBLP DOI BibTeX RDF
14	Sander Stuijk, Henk Corporaal (eds.)	SCOPES '20: 23rd International Workshop on Software and Compilers for Embedded Systems, St. Goar, Germany, May 25-26, 2020	SCOPES	2020	DBLP DOI BibTeX RDF
14	Bo Jiang 0001, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang 0004	CUDAsmith: A Fuzzer for CUDA Compilers.	COMPSAC	2020	DBLP DOI BibTeX RDF
14	Henning Funke, Jan Mühlig, Jens Teubner	Efficient generation of machine code for query compilers.	DaMoN	2020	DBLP DOI BibTeX RDF
14	Michael D. Wong, Aatish Kishan Varma, Anirudh Sivaraman	Testing compilers for programmable switches through switch hardware simulation.	CoNEXT	2020	DBLP DOI BibTeX RDF
14	Daniel Dorfmeister, Oliver Krauss	Integrating heuristiclab with compilers and interpreters for non-functional code optimization.	GECCO Companion	2020	DBLP DOI BibTeX RDF
14	Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón	ComPy-Learn: A toolbox for exploring machine learning representations for compilers.	FDL	2020	DBLP DOI BibTeX RDF
14	Hugh Leather, Chris Cummins	Machine Learning in Compilers: Past, Present and Future.	FDL	2020	DBLP DOI BibTeX RDF
14	Benedikt Bünz, Ben Fisch, Alan Szepieniec	Transparent SNARKs from DARK Compilers.	EUROCRYPT (1)	2020	DBLP DOI BibTeX RDF
14	Tulika Mitra, Andreas Gerstlauer (eds.)	International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2020, Singapore, September 20-25, 2020	CASES	2020	DBLP BibTeX RDF
14	Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang 0005	Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.	OSDI	2020	DBLP BibTeX RDF
14	Fabian Ruffy, Tao Wang, Anirudh Sivaraman	Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing.	OSDI	2020	DBLP BibTeX RDF
14	Xi Zeng, Tian Zhi, Zidong Du, Qi Guo 0001, Ninghui Sun, Yunji Chen	ALT: Optimizing Tensor Compilation in Deep Learning Compilers with Active Learning.	ICCD	2020	DBLP DOI BibTeX RDF
14	Yanqi Zhou, Sudip Roy 0002, AmirAli Abdolrashidi, Daniel Wong 0001, Peter C. Ma, Qiumin Xu, Hanxiao Liu, Mangpo Phitchaya Phothilimtha, Shen Wang, Anna Goldie, Azalia Mirhoseini, James Laudon	Transferable Graph Optimizers for ML Compilers.	NeurIPS	2020	DBLP BibTeX RDF
14	Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson	Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour.	ASE	2020	DBLP DOI BibTeX RDF
14	Yanxiang He, Zhuomin Du, Hanfei Wang	Research on the Knowledge and Ability dual-driven Teaching Model for the Course of Compilers Principles.	ICCSE	2020	DBLP DOI BibTeX RDF
14	Joshua Hoke Davis, Christopher S. Daley, Swaroop Pophale, Thomas Huber, Sunita Chandrasekaran, Nicholas J. Wright	Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs.	WACCPD@SC	2020	DBLP DOI BibTeX RDF
14	Nina Mujkanovic, Karthee Sivalingam, Alfio Lazzaro	Optimising AI Training Deployments using Graph Compilers and Containers.	HPEC	2020	DBLP DOI BibTeX RDF
14	Bastian Hagedorn	High-performance domain-specific compilation without domain-specific compilers.		2020	RDF
14	Christopher Edward Cummins	Deep learning for compilers.		2020	RDF
14	Stefano Cereda, Gianluca Palermo, Paolo Cremonesi, Stefano Doni	A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations.	LCTES	2020	DBLP DOI BibTeX RDF
14	Ze Zhang, Sunghyun Park 0004, Scott A. Mahlke	Path Sensitive Signatures for Control Flow Error Detection.	LCTES	2020	DBLP DOI BibTeX RDF
14	Xiang Gong, Chunling Hu, Chu-Cheow Lim	PAQSIM: Fast Performance Model for Graphics Workload on Mobile GPUs.	LCTES	2020	DBLP DOI BibTeX RDF
14	Shihao Song, Adarsha Balaji, Anup Das 0001, Nagarajan Kandasamy, James A. Shackleford	Compiling Spiking Neural Networks to Neuromorphic Hardware.	LCTES	2020	DBLP DOI BibTeX RDF
14	Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange	Improving the Performance of WCET Analysis in the Presence of Variable Latencies.	LCTES	2020	DBLP DOI BibTeX RDF
14	Xiaoyu He, Erick Bauman, Feng Li, Lei Yu, Linyu Li, Bingchang Liu, Aihua Piao, Kevin W. Hamlen, Wei Huo, Wei Zou	Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver-Assisted Testing.	LCTES	2020	DBLP DOI BibTeX RDF
14	Willy Wolff, Barry Porter	Performance Optimization on big.LITTLE Architectures: A Memory-latency Aware Approach.	LCTES	2020	DBLP DOI BibTeX RDF
14	Chanyoung Oh, Gunju Park, Sumin Kim, Dohee Kim, Youngmin Yi	Towards Real-time CNN Inference from a Video Stream on a Mobile GPU (WiP Paper).	LCTES	2020	DBLP DOI BibTeX RDF
14	Nazanin Farahpour, Zhenman Fang, Glenn Reinman	FPGA-based Near Data Processing Platform Selection Using Fast Performance Modeling (WiP Paper).	LCTES	2020	DBLP DOI BibTeX RDF
14	Syed Asad Alam, David Gregg	Beyond Base-2 Logarithmic Number Systems (WiP Paper).	LCTES	2020	DBLP DOI BibTeX RDF
14	Gautier Berthou 0001, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset	Intermittent Computing with Peripherals, Formally Verified.	LCTES	2020	DBLP DOI BibTeX RDF
14	Jinhua Cui 0001, Junwei Liu, Jianhang Huang, Haoran Zhu, Laurence Tianruo Yang	ApproxRefresh: Enabling Uncorrectable Data Reuse on Flash Memory with Approximate Read Awareness.	LCTES	2020	DBLP DOI BibTeX RDF
14	Björn Forsberg, Maxim Mattheeuws, Andreas Kurth, Andrea Marongiu, Luca Benini	A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores.	LCTES	2020	DBLP DOI BibTeX RDF
14	Jun Xiao 0009, Andy D. Pimentel	CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems.	LCTES	2020	DBLP DOI BibTeX RDF
14	Nadja Heitmann, Benedikt Pirker, Sangyoung Park, Samarjit Chakraborty	Towards Building Better Mobile Web Browsers for Ad Blocking: The Energy Perspective (WiP Paper).	LCTES	2020	DBLP DOI BibTeX RDF
14	Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson	A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).	LCTES	2020	DBLP DOI BibTeX RDF
14	Saman P. Amarasinghe	Compiler 2.0: Using Machine Learning to Modernize Compiler Technology.	LCTES	2020	DBLP DOI BibTeX RDF
14	Muhammad Abdullah Hanif, Le Ha Hoang, Muhammad Shafique 0001	Cross-layer approaches for improving the dependability of deep learning systems.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Thore Kolms, Andreas Waldner, Christine Lang, Philipp Grothe, Jan Haase 0001	Analog implementation of arithmetic operations on real memristors.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Kateryna Muts, Heiko Falk	Compiler-based WCET prediction performing function specialization.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Sotirios Panagiotou, August Ernstsson, Johan Ahlqvist, Lazaros Papadopoulos, Christoph W. Kessler, Dimitrios Soudris	Portable exploitation of parallel and heterogeneous HPC architectures in neural simulation using SkePU.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Dominik Sisejkovic, Farhad Merchant, Lennart M. Reimann, Rainer Leupers, Massimiliano Giacometti, Sascha Kegreiß	A secure hardware-software solution based on RISC-V, logic locking and microkernel.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Berk Ulker, Sander Stuijk, Henk Corporaal, Rob G. J. Wijnhoven	Reviewing inference performance of state-of-the-art deep learning frameworks.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Philipp H. Kindt, Sumana Ghosh, Samarjit Chakraborty	Configuring loosely time-triggered wireless control software.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Hiroki Nishikawa, Kana Shimada, Ittetsu Taniguchi, Hiroyuki Tomiyama	Scheduling of moldable fork-join tasks with inter- and intra-task communications.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Riyane Sid Lakhdar, Henri-Pierre Charles, Maha Kooli	Data-layout optimization based on memory-access-pattern analysis for source-code performance improvement.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Martin Roa Villescas, Bert de Vries, Sander Stuijk, Henk Corporaal	Real-time audio processing for hearing aids using a model-based bayesian inference framework.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Savvas Sioutas, Sander Stuijk, Twan Basten, Lou J. Somers, Henk Corporaal	Programming tensor cores from an image processing DSL.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Christian Heidorn, Frank Hannig, Jürgen Teich	Design space exploration for layer-parallel execution of convolutional neural networks on CGRAs.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Bo Qiao 0004, Oliver Reiche, M. Akif Özkan, Jürgen Teich, Frank Hannig	Efficient parallel reduction on GPUs with Hipacc.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Ioannis Oroutzoglou, Dimosthenis Masouros, Konstantina Koliogeorgi, Sotirios Xydis, Dimitrios Soudris	Exploration of GPU sharing policies under GEMM workloads.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Marc Dahlem, Klaus Schneider 0001	Compiling synchronous languages to optimal move code for exposed datapath architectures.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Chenle Yu, Sara Royuela, Eduardo Quiñones	OpenMP to CUDA graphs: a compiler-based transformation to enhance the programmability of NVIDIA devices.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Sobhan Niknam, Peng Wang 0036, Todor P. Stefanov	On the implementation and execution of adaptive streaming applications modeled as MADF.	SCOPES	2020	DBLP DOI BibTeX RDF
14	Hwiwon Kim, Hyunjun Kim, Hwansoo Han	Effective Profiling for Data-Intensive GPU Programs: Work-in-Progress.	CASES	2020	DBLP DOI BibTeX RDF
14	Yazhi Du, Jihua Gu, Zhongzhe Xiao, Min Huang 0002	Work-in-Process: Smart Migration for Reliability Enhancement of 3D TLC NAND Flash Storage Systems.	CASES	2020	DBLP DOI BibTeX RDF
14	Shuyuan Yu, Han Zhou 0002, Shaoyi Peng, Hussam Amrouch, Jörg Henkel, Sheldon X.-D. Tan	Run-Time Accuracy Reconfigurable Stochastic Computing for Dynamic Reliability and Power Management: Work-in-Progress.	CASES	2020	DBLP DOI BibTeX RDF
14	Dojin Park, Hyunjun Kim, Hwansoo Han	Page Reuse in Cyclic Thrashing of GPU Under Oversubscription: Work-in-Progress.	CASES	2020	DBLP DOI BibTeX RDF
14	Yi Tang, Donghang Wu, Yongzhi Cao, Marian Margraf	The Shift PUF: Technique for Squaring the Machine Learning Complexity of Arbiter-based PUFs: Work-in-Progress.	CASES	2020	DBLP DOI BibTeX RDF
14	Xiao Hu, Yaohua Wang	A Lifelong Health Monitoring Framework in Processors: Work-in-Progress.	CASES	2020	DBLP DOI BibTeX RDF
14	Jorge Castro-Godínez, Muhammad Shafique 0001, Jörg Henkel	Towards Quality-Driven Approximate Software Generation for Accurate Hardware: Work-in-Progress.	CASES	2020	DBLP DOI BibTeX RDF
14	Yectli A. Huerta, Brent Swartz, David J. Lilja	Enhancing the Top-Down Microarchitectural Analysis Method Using Purchasing Power Parity Theory.	LCPC	2020	DBLP DOI BibTeX RDF
14	Jun Shirako, Vivek Sarkar	An Affine Scheduling Framework for Integrating Data Layout and Loop Transformations.	LCPC	2020	DBLP DOI BibTeX RDF
14	Patrick Brinich, Jeremy Johnson 0001	Verification of Vectorization of Signal Transforms.	LCPC	2020	DBLP DOI BibTeX RDF
14	Xiaoming Li	G-Code Re-compilation and Optimization for Faster 3D Printing.	LCPC	2020	DBLP DOI BibTeX RDF
14	Akshay Gopalakrishnan, Clark Verbrugge	Reordering Under the ECMAScript Memory Consistency Model.	LCPC	2020	DBLP DOI BibTeX RDF
14	Henry G. Dietz, Aury Shafran, Gregory Austin Murphy	A Quantum-Inspired Model for Bit-Serial SIMD-Parallel Computation.	LCPC	2020	DBLP DOI BibTeX RDF
14	Janaan Lake, Tharindu Rusira Patabandi, Mary W. Hall	Optimized Code Generation for Deep Neural Networks.	LCPC	2020	DBLP DOI BibTeX RDF