Search results for "compilers"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Alireza Kaviani	Addressing the EDA Roadblocks for Domain-specific Compilers: An Industry Perspective.	ISPD	2023	DBLP DOI BibTeX RDF
14	Injae Cho, Dave Towey, Pushpendu Kar	Using Obfuscators to Test Compilers: A Metamorphic Experience.	COMPSAC	2023	DBLP DOI BibTeX RDF
14	Arijit Bhattacharjee, Christopher S. Daley, Ali Jannesari	OpenMP Offload Features and Strategies for High Performance across Architectures and Compilers.	IPDPS Workshops	2023	DBLP DOI BibTeX RDF
14	Troels Henriksen, Artjoms Sinkarovs (eds.)	Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2023, Orlando, FL, USA, 18 June 2023	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Cong Li, Yanyan Jiang 0001, Chang Xu 0001, Zhendong Su 0001	Validating JIT Compilers via Compilation Space Exploration.	SOSP	2023	DBLP DOI BibTeX RDF
14	Matteo Campanelli, Danilo Francati, Claudio Orlandi	Structure-Preserving Compilers from New Notions of Obfuscations.	Public Key Cryptography (2)	2023	DBLP DOI BibTeX RDF
14	Jana Doppa, Swarup Bhunia (eds.)	International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2023, Hamburg, Germany, September 17-22, 2023	CASES	2023	DBLP DOI BibTeX RDF
14	Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar	GrayC: Greybox Fuzzing of Compilers and Analysers for C.	ISSTA	2023	DBLP DOI BibTeX RDF
14	Haoyang Ma, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003, Shing-Chi Cheung	Fuzzing Deep Learning Compilers with HirGen.	ISSTA	2023	DBLP DOI BibTeX RDF
14	Charith Mendis, Lawrence Rauchwerger (eds.)	Languages and Compilers for Parallel Computing - 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers	LCPC	2023	DBLP DOI BibTeX RDF
14	Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen 0003, Yuqun Zhang, Lingming Zhang 0001	JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers.	ICSE	2023	DBLP DOI BibTeX RDF
14	Dongwei Xiao, Zhibo Liu, Shuai Wang 0011	Metamorphic Shader Fusion for Testing Graphics Shader Compilers.	ICSE	2023	DBLP DOI BibTeX RDF
14	Francisco Supino Marcondes, José João Almeida, Paulo Novais	Large Language Models: Compilers for the 4^{th} Generation of Programming Languages? (Short Paper).	SLATE	2023	DBLP DOI BibTeX RDF
14	Jiawei Liu 0004, Jinkun Lin, Fabian Ruffy, Cheng Tan 0005, Jinyang Li 0001, Aurojit Panda, Lingming Zhang 0001	NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
14	Jeremy Singer	Towards Secure MicroPython on Morello (WIP).	LCTES	2023	DBLP DOI BibTeX RDF
14	Alexandre Singer, Kai-Ting Amy Wang	Tiling for DMA-Based Hardware Accelerators (WIP).	LCTES	2023	DBLP DOI BibTeX RDF
14	Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma 0001	MinUn: Accurate ML Inference on Microcontrollers.	LCTES	2023	DBLP DOI BibTeX RDF
14	Niklas Gollenstede, Ulf Kulau, Christian Dietrich 0001	reUpNix: Reconfigurable and Updateable Embedded Systems.	LCTES	2023	DBLP DOI BibTeX RDF
14	Jun Li 0062, Balazs Gerofi, François Trahay, Zhigang Cai, Jianwei Liao 0001	Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-Enabled SSDs.	LCTES	2023	DBLP DOI BibTeX RDF
14	Girish Mururu, Kangqi Ni, Ada Gavrilovska, Santosh Pande	PinIt: Influencing OS Scheduling via Compiler-Induced Affinities.	LCTES	2023	DBLP DOI BibTeX RDF
14	Florian Rommel, Christian Dietrich 0001, Andreas Ziegler 0002, Illia Ostapyshyn, Daniel Lohmann	Thread-Level Attack-Surface Reduction.	LCTES	2023	DBLP DOI BibTeX RDF
14	Mingjie Shen, James C. Davis 0001, Aravind Machiry	Towards Automated Identification of Layering Violations in Embedded Applications (WIP).	LCTES	2023	DBLP DOI BibTeX RDF
14	David B. Whalley	Decreasing the Miss Rate and Eliminating the Performance Penalty of a Data Filter Cache (Keynote).	LCTES	2023	DBLP DOI BibTeX RDF
14	Abigail Mortensen, Scott Pomerville, David B. Whalley, Soner Önder, Gang-Ryung Uh	Facilitating the Bootstrapping of a New ISA.	LCTES	2023	DBLP DOI BibTeX RDF
14	Yi Zheng, Joshua Fixelle, Pingyi Huo, Mircea Stan, Michael P. Mesnier, Vijaykrishnan Narayanan	ISVABI: In-Storage Video Analytics Engine with Block Interface.	LCTES	2023	DBLP DOI BibTeX RDF
14	Beom Woo Kang, Junho Wohn, Seongju Lee, Sunghyun Park 0004, Yung-Kyun Noh, Yongjun Park 0001	Synchronization-Aware NAS for an Efficient Collaborative Inference on Mobile Platforms.	LCTES	2023	DBLP DOI BibTeX RDF
14	Pascal Fradet, Alain Girault, Alexandre Honorat	Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization.	LCTES	2023	DBLP DOI BibTeX RDF
14	Xiaopeng Fan, Song Yan, Yuchen Huang, Chuliang Weng	LUNAR: A Native Table Engine for Embedded Devices.	LCTES	2023	DBLP DOI BibTeX RDF
14	Ellis Hoag, Kyungwoo Lee, Julián Mestre, Sergey Pupyrev	Optimizing Function Layout for Mobile Applications.	LCTES	2023	DBLP DOI BibTeX RDF
14	Andrew Sengul	Faster APL with Lazy Extensions.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Aaron W. Hsu, Rodrigo Girão Serrão	U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet	Polymorphic Types with Polynomial Sizes.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Daniele G. Spampinato, Denis Jelovina, Jiawei Zhuang, Albert-Jan Nicholas Yzelman	Towards Structured Algebraic Programming.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Pedro Valero-Lara, Jeffrey S. Vetter	A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Björn Lisper, Linus Källberg	HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
14	Xingyu Xu 0008, Qingwen Wei, Yang Zhang, Hao Cai, Bo Liu 0019	Work-in-Process: Error-Compensation-Based Energy-Efficient MAC Unit for CNNs.	CASES	2023	DBLP DOI BibTeX RDF
14	Luka Macan, Alessio Burrello, Luca Benini, Francesco Conti 0001	WIP: Automatic DNN Deployment on Heterogeneous Platforms: the GAP9 Case Study.	CASES	2023	DBLP DOI BibTeX RDF
14	Jörg Henkel, Lokesh Siddhu, Lars Bauer, Jürgen Teich, Stefan Wildermann, Mehdi B. Tahoori, Mahta Mayahinia, Jerónimo Castrillón, Asif Ali Khan, Hamid Farzaneh, João Paulo C. de Lima, Jian-Jia Chen, Christian Hakert, Kuan-Hsun Chen, Chia-Lin Yang, Hsiang-Yun Cheng	Special Session - Non-Volatile Memories: Challenges and Opportunities for Embedded System Architectures with Focus on Machine Learning Applications.	CASES	2023	DBLP DOI BibTeX RDF
14	Dara Nagaraju, Nitin Chandrachoodan	Work-in-Progress: QRCNN: Scalable CNNs.	CASES	2023	DBLP DOI BibTeX RDF
14	Russell Klein, Petri Solanti	Tutorial: Designing an Edge Inferencing Accelerator with High- Level Synthesis.	CASES	2023	DBLP DOI BibTeX RDF
14	Xiangru Chen, Dipal Halder, Kazi Mejbaul Islam, Sandip Ray	Work-in-Progress: Towards Evaluating CNNs Against Integrity Attacks on Multi-tenant Computation.	CASES	2023	DBLP DOI BibTeX RDF
14	Dongwei Xiao, Zhibo Liu, Yuanyuan Yuan, Qi Pang, Shuai Wang 0011	Metamorphic Testing of Deep Learning Compilers.	Proc. ACM Meas. Anal. Comput. Syst.	2022	DBLP DOI BibTeX RDF
14	Xiongfei Wu, Jinqiu Yang 0001, Lei Ma 0003, Yinxing Xue, Jianjun Zhao 0001	On the usage and development of deep learning compilers: an empirical study on TVM.	Empir. Softw. Eng.	2022	DBLP DOI BibTeX RDF
14	Thien Nguyen, Alexander J. McCaskey	Retargetable Optimizing Compilers for Quantum Accelerators via a Multilevel Intermediate Representation.	IEEE Micro	2022	DBLP DOI BibTeX RDF
14	Kamil Halbiniak, Roman Wyrzykowski, Lukasz Szustak, Adam Kulawik, Norbert Meyer, Pawel Gepner	Performance exploration of various C/C++ compilers for AMD EPYC processors in numerical modeling of solidification.	Adv. Eng. Softw.	2022	DBLP DOI BibTeX RDF
14	Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen 0001, Dumitru Potop-Butucaru	Weaving Synchronous Reactions into the Fabric of SSA-form Compilers.	ACM Trans. Archit. Code Optim.	2022	DBLP DOI BibTeX RDF
14	Abdulelah Alwabel	CoEdit: A novel error correction mechanism in compilers using spelling correction algorithms.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
14	Daniil Berezun, Dmitry Boulytchev	Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One.	TFPIE	2022	DBLP DOI BibTeX RDF
14	Aaron Jarmusch, Aaron Liu 0003, Christian Munley, Daniel Horta, Vaidhyanathan Ravichandran, Joel E. Denny, Sunita Chandrasekaran	Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above.	CoRR	2022	DBLP DOI BibTeX RDF
14	Haoyang Ma, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003, Shing-Chi Cheung	HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation.	CoRR	2022	DBLP DOI BibTeX RDF
14	Xiaofan Zhang 0001, Yao Chen 0008, Cong Hao, Sitao Huang, Yuhong Li, Deming Chen	Efficient Machine Learning, Compilers, and Optimizations for Embedded Systems.	CoRR	2022	DBLP DOI BibTeX RDF
14	Y. Kharkov, A. Ivanova, E. Mikhantiev, A. Kotelnikov	Arline Benchmarks: Automated Benchmarking Platform for Quantum Compilers.	CoRR	2022	DBLP BibTeX RDF
14	Alfred V. Aho, Jeffrey D. Ullman	Abstractions, their algorithms, and their compilers.	Commun. ACM	2022	DBLP DOI BibTeX RDF
14	Matteo Campanelli, Danilo Francati, Claudio Orlandi	Structure-Preserving Compilers from New Notions of Obfuscations.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
14	Yuval Ishai, Dakshita Khurana, Amit Sahai, Akshayaram Srinivasan	Round-Optimal Black-Box Protocol Compilers.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
14	Parham Sadeghi, Alireza Ejlali	A Case for PIM Support in General-Purpose Compilers.	IEEE Des. Test	2022	DBLP DOI BibTeX RDF
14	José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira 0002, Bernardo Portela	A formal treatment of the role of verified compilers in secure computation.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
14	Matt Windsor, Alastair F. Donaldson, John Wickerson	High-coverage metamorphic testing of concurrency support in C compilers.	Softw. Test. Verification Reliab.	2022	DBLP DOI BibTeX RDF
14	Tobias Grosser, Kyoungwoo Lee (eds.)	LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego, CA, USA, 14 June 2022	LCTES	2022	DBLP DOI BibTeX RDF
14	Yuncong Zhang, Alan Szepieniec, Ren Zhang 0003, Shifeng Sun 0001, Geng Wang, Dawu Gu	VOProof: Efficient zkSNARKs from Vector Oracle Compilers.	CCS	2022	DBLP DOI BibTeX RDF
14	Nico Döttling, Vipul Goyal, Giulio Malavolta, Justin Raizes	Interaction-Preserving Compilers for Secure Computation.	ITCS	2022	DBLP DOI BibTeX RDF
14	Jaehun Ryu, Eunhyeok Park, Hyojin Sung	One-shot tuner for deep learning compilers.	CC	2022	DBLP DOI BibTeX RDF
14	Dongwei Xiao, Zhibo Liu, Yuanyuan Yuan, Qi Pang, Shuai Wang 0011	Metamorphic Testing of Deep Learning Compilers.	SIGMETRICS (Abstracts)	2022	DBLP DOI BibTeX RDF
14	Yuta Sasaki, Keichi Takahashi, Yoichi Shimomura, Hiroyuki Takizawa	A Cost Model for Compilers Based on Transfer Learning.	IPDPS Workshops	2022	DBLP DOI BibTeX RDF
14	David J. Pearce 0002	Language Design Meets Verifying Compilers (Keynote).	GPCE	2022	DBLP DOI BibTeX RDF
14	Troels Henriksen, Tze Meng Low (eds.)	ARRAY '22: 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, San Diego CA USA, 13 June 2022	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
14	Minki Cho, Sung-Hwan Lee 0001, Dongjae Lee, Chung-Kil Hur, Ori Lahav 0001	Sequential reasoning for optimizing compilers under weak memory concurrency.	PLDI	2022	DBLP DOI BibTeX RDF
14	HeuiChan Lim, Xiyu Kang, Saumya Debray	Modeling code manipulation in JIT compilers.	SOAP@PLDI	2022	DBLP DOI BibTeX RDF
14	Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su 0001, Tobias Grosser	IRDL: an IR definition language for SSA compilers.	PLDI	2022	DBLP DOI BibTeX RDF
14	Luan Sinanaj, Jaumin Ajdari, Mentor Hamiti, Xhemal Zenuni	A comparison between online compilers: A Case Study.	MECO	2022	DBLP DOI BibTeX RDF
14	Yuval Ishai, Dakshita Khurana, Amit Sahai, Akshayaram Srinivasan	Round-Optimal Black-Box Protocol Compilers.	EUROCRYPT (1)	2022	DBLP DOI BibTeX RDF
14		International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2022, Shanghai, China, October 7-14, 2022	CASES	2022	DBLP DOI BibTeX RDF
14	Barbara M. Chapman, José E. Moreira (eds.)	Languages and Compilers for Parallel Computing - 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers	LCPC	2022	DBLP DOI BibTeX RDF
14	Xiaoming Li, Sunita Chandrasekaran (eds.)	Languages and Compilers for Parallel Computing - 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers	LCPC	2022	DBLP DOI BibTeX RDF
14	Aaron Jarmusch, Aaron Liu 0003, Christian Munley, Daniel Horta, Vaidhyanathan Ravichandran, Joel E. Denny, Kyle Friedline, Sunita Chandrasekaran	Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above.	WACCPD@SC	2022	DBLP DOI BibTeX RDF
14	Lijuan Jiang, Ping Xu, Qianchao Zhu, Xiuhong Li, Shengen Yan, Xingcheng Zhang, Dahua Lin, Wenjing Ma, Zhouyang Li, Jun Liu, Jinming Ma, Minxi Jin, Chao Yang	EasyView: Enabling and Scheduling Tensor Views in Deep Learning Compilers.	ICPP	2022	DBLP DOI BibTeX RDF
14	Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz 0001	Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.	TASE	2022	DBLP DOI BibTeX RDF
14	Julie L. Newcomb	Augmenting and Synthesizing Term Rewriting Systems for Use in Compilers		2022	RDF
14	Basile Clément	Translation Validation of Tensor Compilers. (Validation de Traduction pour Compilateurs de Tenseurs).		2022	RDF
14	Yi Zheng, Joshua Fixelle, Nagadastagiri Challapalle, Pingyi Huo, Zhaoyan Shen, Zili Shao, Mircea Stan, Vijaykrishnan Narayanan	ISKEVA: in-SSD key-value database engine for video analytics applications.	LCTES	2022	DBLP DOI BibTeX RDF
14	Klaus Schneider 0001, Anoop Bhagyanath, Julius Roob	Code generation criteria for buffered exposed datapath architectures from dataflow graphs.	LCTES	2022	DBLP DOI BibTeX RDF
14	Hudson Ayers, Evan Laufer, Paul Mure, Jaehyeon Park, Eduardo Rodelo, Thea Rossman, Andrey Pronin, Philip Alexander Levis, Johnathan Van Why	Tighten rust's belt: shrinking embedded Rust binaries.	LCTES	2022	DBLP DOI BibTeX RDF
14	Christof Schlaak, Tzung-Han Juang, Christophe Dubach	Optimizing data reshaping operations in functional IRs for high-level synthesis.	LCTES	2022	DBLP DOI BibTeX RDF
14	Junji Fukuhara, Munehiro Takimoto	Automated kernel fusion for GPU based on code motion.	LCTES	2022	DBLP DOI BibTeX RDF
14	Guillaume Baudart, Louis Mandel, Reyyan Tekin	JAX based parallel inference for reactive probabilistic programming.	LCTES	2022	DBLP DOI BibTeX RDF
14	Kyungwoo Lee, Manman Ren, Shane Nay	Scalable size inliner for mobile applications (WIP).	LCTES	2022	DBLP DOI BibTeX RDF
14	Tianyu Wang, Zhaoyan Shen, Zili Shao	Co-mining: a processing-in-memory assisted framework for memory-intensive PoW acceleration.	LCTES	2022	DBLP DOI BibTeX RDF
14	Fengyun Liu, Aleksandar Prokopec	Implicit state machines.	LCTES	2022	DBLP DOI BibTeX RDF
14	Chen Ding 0001, Benjamin Reber, Dorin Patru	Cache-coherent CLAM (WIP).	LCTES	2022	DBLP DOI BibTeX RDF
14	Yixian Shen, Jun Xiao 0009, Andy D. Pimentel	TCPS: a task and cache-aware partitioned scheduler for hard real-time multi-core systems.	LCTES	2022	DBLP DOI BibTeX RDF
14	Yousun Ko 0001, Alex Bradbury, Bernd Burgstaller, Robert D. Mullins	Trace-and-brace (TAB): bespoke software countermeasures against soft errors.	LCTES	2022	DBLP DOI BibTeX RDF
14	Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, Mathieu Jan	A memory interference analysis using a formal timing analyzer (WIP).	LCTES	2022	DBLP DOI BibTeX RDF
14	Zizhan Chen, Siqi Shang, Qihong Wu, Jin Xue, Zhaoyan Shen, Zili Shao	An old friend is better than two new ones: dual-screen Android.	LCTES	2022	DBLP DOI BibTeX RDF
14	Tianao Ge, Zewei Mo, Kan Wu, Xianwei Zhang, Yutong Lu	RollBin: reducing code-size via loop rerolling at binary level.	LCTES	2022	DBLP DOI BibTeX RDF
14	Meggie van den Oever, Lauren E. Grimley, Richard Michael Veras	Using q-learning to select the best among functionally equivalent implementations.	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
14	Michaël El Kharroubi, Baptiste Coudray, Orestis Malaspinas	Distributed parallel computing with Futhark: a functional language to generate distributed parallel code.	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
14	Conor Hoekstra	Combinatory logic and combinators in array languages.	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
14	Artjoms Sinkarovs, Sven-Bodo Scholz	Parallel scan as a multidimensional array problem.	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
14	Zhitao Lin, Christophe Dubach	From functional to imperative: combining destination-passing style and views.	ARRAY@PLDI	2022	DBLP DOI BibTeX RDF
14	Marihan Amein, Zhuoran Xiong, Olivier Therrien, Brett H. Meyer, Warren J. Gross	Work-in-Progress: SuperNAS: Fast Multi-Objective SuperNet Architecture Search for Semantic Segmentation.	CASES	2022	DBLP DOI BibTeX RDF