Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Xiaogang Li 0001, Renato Ferreira 0001, Gagan Agrawal	Compiler support for efficient processing of XML datasets.	ICS	2003	DBLP DOI BibTeX RDF	restructing compilers, XML, XQuery, data intensive computing
18	Stephen A. Edwards	An Esterel compiler for large control-dominated systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
18	Gennaro Costagliola, Giuseppe Polese	Extended Positional Grammars.	VL	2000	DBLP DOI BibTeX RDF	multidimensional languages, positional grammars, Visual programming environments, LR parsing
18	Martin Elsman	Static Interpretation of Modules.	ICFP	1999	DBLP DOI BibTeX RDF
18	Timothy J. Callahan, John Wawrzynek	Instruction-Level Parallelism for Reconfigurable Computing.	FPL	1998	DBLP DOI BibTeX RDF
18	Walter Lee, Rajeev Barua, Matthew I. Frank, Devabhaktuni Srikrishna, Jonathan Babb, Vivek Sarkar, Saman P. Amarasinghe	Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine.	ASPLOS	1998	DBLP DOI BibTeX RDF
18	Marco Danelutto, Fabrizio Pasqualetti, Susanna Pelagatti	Skeletons for Data Parallelism in p3l.	Euro-Par	1997	DBLP DOI BibTeX RDF
18	Paul Caspi, Marc Pouzet	Synchronous Kahn Networks.	ICFP	1996	DBLP DOI BibTeX RDF
18	Susan L. Graham, Steven Lucco, Oliver Sharp	Orchestrating Interactions Among Parallel Computations.	PLDI	1993	DBLP DOI BibTeX RDF
18	Jeanne Ferrante, Mary E. Mace	On Linearizing Parallel Code.	POPL	1985	DBLP DOI BibTeX RDF
18	Andres Rudmik, Barbara G. Moore	An Efficient Separate Compilation Strategy for Very Large Programs.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	CCS, CHILL
18	David A. Schmidt	State transition machines for lambda calculus expressions.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
18	M. Dennis Mickunas, Richard M. Schell	Parallel Compilation In A Multiprocessor Environment (Extended Abstract).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
18	David E. Muller, Franco P. Preparata	Restructuring of Arithmetic Expressions For Parallel Evaluation.	J. ACM	1976	DBLP DOI BibTeX RDF
18	R. W. Allard, K. A. Wolf, R. A. Zemlin	Some effects of the 6600 computer on language structures.	Commun. ACM	1964	DBLP DOI BibTeX RDF
14	Marina Blanton, Dennis Murphy, Chen Yuan 0002	Efficiently Compiling Secure Computation Protocols From Passive to Active Security: Beyond Arithmetic Circuits.	Proc. Priv. Enhancing Technol.	2024	DBLP DOI BibTeX RDF
14	Daniel Bochen Tan, Dolev Bluvstein, Mikhail D. Lukin, Jason Cong	Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors.	Quantum	2024	DBLP DOI BibTeX RDF
14	Alfonso Emilio Gerevini, Francesco Percassi, Enrico Scala	An Effective Polynomial Technique for Compiling Conditional Effects Away.	AAAI	2024	DBLP DOI BibTeX RDF
14	Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni	Compiling Loop-Based Nested Parallelism for Irregular Workloads.	ASPLOS (2)	2024	DBLP DOI BibTeX RDF
14	Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha	Compiling Structured Tensor Algebra.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
14	Xiaoquan Zhang, Lin Cui 0001, Fung Po Tso 0001, Weijia Jia 0001	Compiling Service Function Chains via Fine-Grained Composition in the Programmable Data Plane.	IEEE Trans. Serv. Comput.	2023	DBLP DOI BibTeX RDF
14	Vladimir R. Rosenfeld	Compiling vocabularies of nonoverlapping codons with graph theory and SageMath.	Biosyst.	2023	DBLP DOI BibTeX RDF
14	Qiaoyi Liu, Jeff Setter, Dillon Huff, Maxwell Strange, Kathleen Feng, Mark Horowitz, Priyanka Raina, Fredrik Kjolstad	Unified Buffer: Compiling Image Processing and Machine Learning Applications to Push-Memory Accelerators.	ACM Trans. Archit. Code Optim.	2023	DBLP DOI BibTeX RDF
14	Omar Khattab, Arnav Singhvi, Paridhi Maheshwari, Zhiyuan Zhang, Keshav Santhanam, Sri Vardhamanan, Saiful Haq, Ashutosh Sharma, Thomas T. Joshi, Hanna Moazam, Heather Miller, Matei Zaharia, Christopher Potts	DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines.	CoRR	2023	DBLP DOI BibTeX RDF
14	Andrew Litteken, Lennart Maximilian Seifert, Jason D. Chadwick, Natalia Nottingham, Tanay Roy, Ziqian Li, David I. Schuster, Frederic T. Chong, Jonathan M. Baker	Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures.	CoRR	2023	DBLP DOI BibTeX RDF
14	Daniel Bochen Tan, Dolev Bluvstein, Mikhail D. Lukin, Jason Cong	Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors.	CoRR	2023	DBLP DOI BibTeX RDF
14	Shiv Sundram, Muhammad Usman Tariq, Fredrik Kjolstad	Compiling Recurrences over Dense and Sparse Arrays.	CoRR	2023	DBLP DOI BibTeX RDF
14	Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter	Securely Compiling Verified F* Programs With IO.	CoRR	2023	DBLP DOI BibTeX RDF
14	José Espírito Santo, Filipa Mendes	The Logical Essence of Compiling With Continuations.	CoRR	2023	DBLP DOI BibTeX RDF
14	Di Huang, Ziyuan Nan, Xing Hu 0001, Pengwei Jin, Shaohui Peng, Yuanbo Wen, Rui Zhang 0040, Zidong Du, Qi Guo 0001, Yewen Pu, Yunji Chen	ANPL: Compiling Natural Programs with Interactive Decomposition.	CoRR	2023	DBLP DOI BibTeX RDF
14	Ferdinand Gruber, Maximilian Bandle, Alexis Engelke, Thomas Neumann 0001, Jana Giceva	Bringing Compiling Databases to RISC Architectures. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
14	Fayez Alfayez	Algorithms for Pre-Compiling Programs by Parallel Compilers.	Comput. Syst. Sci. Eng.	2023	DBLP DOI BibTeX RDF
14	Tomochika Kurita, Hammam Qassim, Masatoshi Ishii, Hirotaka Oshima, Shintaro Sato, Joseph Emerson	Synergetic quantum error mitigation by randomized compiling and zero-noise extrapolation for the variational quantum eigensolver.	Quantum	2023	DBLP DOI BibTeX RDF
14	Timothy Bourke, Vincent Bregeon, Marc Pouzet	Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints.	ECRTS	2023	DBLP DOI BibTeX RDF
14	Tyson Loveless, Philip Brisk	Compiling Functions onto Digital Microfluidics.	CGO	2023	DBLP DOI BibTeX RDF
14	Jingwen Pan, Amir Shaikhha	Compiling Discrete Probabilistic Programs for Vectorized Exact Inference.	CC	2023	DBLP DOI BibTeX RDF
14	José Espírito Santo, Filipa Mendes	The Logical Essence of Compiling with Continuations.	FSCD	2023	DBLP DOI BibTeX RDF
14	Laura García-Sardiña, Eneko Ruiz, Cristina Aceta, Izaskun Fernández, María Inés Torres, Arantza del Pozo	Compiling a Corpus of Technical Documents for Dialogue System Development in the Industrial Sector.	ICNLSP	2023	DBLP BibTeX RDF
14	Sitong Liu, Naphan Benchasattabuse, Darcy QC Morgan, Michal Hajdusek, Simon J. Devitt, Rodney Van Meter	A Substrate Scheduler for Compiling Arbitrary Fault-Tolerant Graph States.	QCE	2023	DBLP DOI BibTeX RDF
14	Nick S. Blunt, György Pál Gehér, Alexandra E. Moylett	Compiling a Simple Chemistry Application to Quantum Error Correction Primitives.	QCE	2023	DBLP DOI BibTeX RDF
14	Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat	Towards Just-In-Time Compiling of Operating Systems.	PLOS@SOSP	2023	DBLP DOI BibTeX RDF
14	Lea Michaelis, Rasim Atakan Poyraz, Michael Rusongoza Muzoora, Kerstin Gierend, Alexander Bartschke, Dagmar Waltemath, Sylvia Thun	Experiences from compiling a FAIR survey in the German Network University Medicine.	SWAT4HCLS	2023	DBLP BibTeX RDF
14	Julien Klaus, Mark Blacher, Joachim Giesen	Compiling Tensor Expressions into Einsum.	ICCS (2)	2023	DBLP DOI BibTeX RDF
14	Tetiana A. Vakaliuk, Oksana A. Chernysh, Vitalina O. Babenko	An algorithm for compiling an electronic multilingual terminological dictionary.	3L-Person	2023	DBLP BibTeX RDF
14	Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi 0001	Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.	CPP	2023	DBLP DOI BibTeX RDF
14	Meiling Yang, Shan Cao, Wei Zhang, Yu Li, Zhiyuan Jiang	Loop-Tiling Based Compiling Optimization for CNN Accelerators.	ASICON	2023	DBLP DOI BibTeX RDF
14	Fatme Rashidova, Aldeniz Rashidov	Algorithm for compiling an examination timetabling at a higher education institutions.	ICCCNT	2023	DBLP DOI BibTeX RDF
14	Fatme Rashidova, Aldeniz Rashidov	A mathematical model for compiling an optimal examination timetabling in a higher education institution.	ICCCNT	2023	DBLP DOI BibTeX RDF
14	Guannan Wei 0001, Songlin Jia, Ruiqi Gao, Haotian Deng 0001, Shangyin Tan, Oliver Bracevac, Tiark Rompf	Compiling Parallel Symbolic Execution with Continuations.	ICSE	2023	DBLP DOI BibTeX RDF
14	Andrew Litteken, Lennart Maximilian Seifert, Jason D. Chadwick, Natalia Nottingham, Tanay Roy, Ziqian Li, David I. Schuster, Frederic T. Chong, Jonathan M. Baker	Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures.	ISCA	2023	DBLP DOI BibTeX RDF
14	Tian Zhao 0001, Alexander Rucker, Kunle Olukotun	Sigma: Compiling Einstein Summations to Locality-Aware Dataflow.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
14	Yuwei Jin, Fei Hua, Yan-Hao Chen, Ari B. Hayes, Chi Zhang 0041, Eddy Z. Zhang	Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable Operators.	ASPLOS (4)	2023	DBLP DOI BibTeX RDF
14	A. Finn Hackett, Shayan Hosseini, Renato Costa, Matthew Do, Ivan Beschastnikh	Compiling Distributed System Models with PGo.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
14	Leopoldo E. Bertossi, Jorge E. Leon	Compiling Neural Network Classifiers into Boolean Circuits for Efficient Shap-Score Computation (short paper).	AMW	2023	DBLP BibTeX RDF
14	Walid Khellaf	Modélisation des incertitudes en horizon glissant et compilation de solutions de problèmes de lot sizing pour la planification tactique d'une chaîne logistique décentralisée. (Modeling uncertainties within the rolling horizon and compiling solutions to lot sizing problems for tactical planning in a decentralized supply chain).		2023	RDF
14	Edward Stow, Abrar Ahsan, Yingying Li, Ali Babaei, Riku Murai, Sajad Saeedi 0001, Paul H. J. Kelly	Compiling CNNs with Cain: focal-plane processing for robot navigation.	Auton. Robots	2022	DBLP DOI BibTeX RDF
14	João P. L. de Carvalho, José E. Moreira, José Nelson Amaral	Compiling for the IBM Matrix Engine for Enterprise Workloads.	IEEE Micro	2022	DBLP DOI BibTeX RDF
14	Nuno Neves 0002, Joao Mario Domingos, Nuno Roma, Pedro Tomás, Gabriel Falcão 0001	Compiling for Vector Extensions With Stream-Based Specialization.	IEEE Micro	2022	DBLP DOI BibTeX RDF
14	Guido Araujo, Lucas Wanner 0001	Special Issue on Compiling for Accelerators.	IEEE Micro	2022	DBLP DOI BibTeX RDF
14	Shuyang Liu, John Bender, Jens Palsberg	Compiling Volatile Correctly in Java (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
14	Hao Li 0011, Peng Zhang 0011, Guangda Sun, Wanyue Cao, Chengchen Hu, Danfeng Shan, Tian Pan 0001, Qiang Fu 0011	Compiling Cross-Language Network Programs Into Hybrid Data Plane.	IEEE/ACM Trans. Netw.	2022	DBLP DOI BibTeX RDF
14	Baofen Yuan, Jianfeng Zhu 0001, Xingchen Man, Zijiao Ma, Shouyi Yin, Shaojun Wei, Leibo Liu	Dynamic-II Pipeline: Compiling Loops With Irregular Branches on Static-Scheduling CGRA.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
14	Xin Fan 0002, Niklas Meyer, Tobias Gemmeke	Compiling All-Digital-Embedded Content Addressable Memories on Chip for Edge Application.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
14	Ana Neri, Rui Soares Barbosa, José N. Oliveira	Compiling Quantamorphisms for the IBM Q Experience.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
14	Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha	Compiling Structured Tensor Algebra.	CoRR	2022	DBLP DOI BibTeX RDF
14	Jiaxin Yuan, Cunliang Kong, Chenhui Xie, Liner Yang, Erhong Yang	COMPILING: A Benchmark Dataset for Chinese Complexity Controllable Definition Generation.	CoRR	2022	DBLP DOI BibTeX RDF
14	Debobroto Das Robin, Javed I. Khan	Preprint: Open Source Compiling for V1Model RMT Switch: Making Data Center Networking Innovation Accessible.	CoRR	2022	DBLP DOI BibTeX RDF
14	Olivia Hsu, Alexander Rucker, Tian Zhao 0001, Kunle Olukotun, Fredrik Kjolstad	Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow Architecture.	CoRR	2022	DBLP DOI BibTeX RDF
14	Lukasz Augustyniak, Kamil Tagowski, Albert Sawczyn, Denis Janiak, Roman Bartusiak, Adrian Szymczak, Marcin Watroba, Arkadiusz Janz, Piotr Szymanski, Mikolaj Morzy, Tomasz Kajdanowicz, Maciej Piasecki	This is the way: designing and compiling LEPISZCZE, a comprehensive NLP benchmark for Polish.	CoRR	2022	DBLP DOI BibTeX RDF
14	Rohan Yadav, Alex Aiken, Fredrik Kjolstad	SpDISTAL: Compiling Distributed Sparse Tensor Computations.	CoRR	2022	DBLP DOI BibTeX RDF
14	Jérôme Leroux	Compiling Petri Net Mutual Reachability in Presburger.	CoRR	2022	DBLP DOI BibTeX RDF
14	Rosangela Casolare, Giovanni Lacava, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone	2Faces: a new model of malware based on dynamic compiling and reflection.	J. Comput. Virol. Hacking Tech.	2022	DBLP DOI BibTeX RDF
14	Payas Awadhutkar, Ahmed Tamrawi, Ryan Goluch, Suresh C. Kothari	Control flow equivalence method for establishing sanctity of compiling.	Comput. Secur.	2022	DBLP DOI BibTeX RDF
14	Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi	A tool for compiling Declarative Process Mining problems in ASP.	Softw. Impacts	2022	DBLP DOI BibTeX RDF
14	William Poole, Ayush Pandey, Andrey Shur, Zoltán A. Tuza, Richard M. Murray	BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
14	Lis Arufe, Riccardo Rasconi, Angelo Oddi, Ramiro Varela, Miguel Ángel González 0001	Compiling Single Round QCCP-X Quantum Circuits by Genetic Algorithm.	IWINAC (1)	2022	DBLP DOI BibTeX RDF
14	Fengguang Su, Yu Zhu, Ou Wu, Yingjun Deng	Submodular Meta Data Compiling for Meta Optimization.	ECML/PKDD (3)	2022	DBLP DOI BibTeX RDF
14	Charnon Pattiyanon, Toshiaki Aoki	Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations.	ICISSP	2022	DBLP DOI BibTeX RDF
14	Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman	Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.	ESOP	2022	DBLP DOI BibTeX RDF
14	Igor Jakovljevic, Christian Gütl, Andreas Wagner, Alexander Nussbaumer	Compiling Open Datasets in Context of Large Organizations while Protecting User Privacy and Guaranteeing Plausible Deniability.	DATA	2022	DBLP DOI BibTeX RDF
14	Tobias Schmidt, Philipp Fent, Thomas Neumann 0001	Efficiently Compiling Dynamic Code for Adaptive Query Processing.	ADMS@VLDB	2022	DBLP BibTeX RDF
14	Tim Fischer 0003, Denis Hirn, Torsten Grust	Snakes on a Plan: Compiling Python Functions into Plain SQL Queries.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
14	Shuyang Liu, John Bender, Jens Palsberg	Compiling Volatile Correctly in Java.	ECOOP	2022	DBLP DOI BibTeX RDF
14	Hyunjeong Kwon, Hyun-Mi Kim, Chun-Gi Lyuh, Jin-Kyu Kim, Jinho Han, Youngsu Kwon	AIWareK: Compiling PyTorch Model for AI Processor Using MLIR Framework.	AICAS	2022	DBLP DOI BibTeX RDF
14	Yifan Li, Jiaqi Gao, Ennan Zhai, Mengqi Liu, Kun Liu, Hongqiang Harry Liu	Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling.	NSDI	2022	DBLP BibTeX RDF
14	Balázs Vass, Ádám Fraknói, Erika R. Bérczi-Kovács, Gábor Rétvári	Compiling packet programs to dRMT switches: theory and algorithms.	EuroP4@CoNEXT	2022	DBLP DOI BibTeX RDF
14	Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth 0001, Michael F. P. O'Boyle	Bind the gap: compiling real software to hardware FFT accelerators.	PLDI	2022	DBLP DOI BibTeX RDF
14	Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi 0002	ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines.	Public Key Cryptography (1)	2022	DBLP DOI BibTeX RDF
14	Liam Madden, Albert Akhriev, Andrea Simonetto	Sketching the Best Approximate Quantum Compiling Problem.	QCE	2022	DBLP DOI BibTeX RDF
14	Michael Raskin	QueryFS: compiling queries to define a filesystem.	ELS	2022	DBLP BibTeX RDF
14	Andrew Sengul	April: APL Compiling to Common Lisp.	ELS	2022	DBLP BibTeX RDF
14	Julien Klaus, Mark Blacher, Joachim Giesen, Paul Gerhardt Rump, Konstantin Wiedom	Compiling Linear Algebra Expressions into Efficient Code.	ICCS (1)	2022	DBLP DOI BibTeX RDF
14	Debobroto Das Robin, Javed I. Khan	Open Source Compiling for V1Model RMT Switch: Making Data Center Networking Innovation Accessible.	UCC	2022	DBLP DOI BibTeX RDF
14	Lukasz Augustyniak, Kamil Tagowski, Albert Sawczyn, Denis Janiak, Roman Bartusiak, Adrian Szymczak, Arkadiusz Janz, Piotr Szymanski, Marcin Watroba, Mikolaj Morzy, Tomasz Kajdanowicz, Maciej Piasecki	This is the way: designing and compiling LEPISZCZE, a comprehensive NLP benchmark for Polish.	NeurIPS	2022	DBLP BibTeX RDF
14	Giuliano Belinassi, Richard Biener, Jan Hubicka, Daniel Cordeiro, Alfredo Goldman	Compiling Files in Parallel: A Study with GCC.	SBAC-PADW	2022	DBLP DOI BibTeX RDF
14	Jiaxin Yuan, Cunliang Kong, Chenhui Xie, Liner Yang, Erhong Yang	COMPILING: A Benchmark Dataset for Chinese Complexity Controllable Definition Generation.	CCL	2022	DBLP DOI BibTeX RDF
14	Nataliia Hrytsiv, Ivan Bekhta, Nataliia Sofiianyk, Tetiana Shestakevych, Vasyl Byalyk	TEI Advances for Concordance Compiling: a case study of Erich Fromm's novel "The Art of Loving".	COLINS	2022	DBLP BibTeX RDF
14	Rohan Yadav, Alex Aiken, Fredrik Kjolstad	SpDISTAL: Compiling Distributed Sparse Tensor Computations.	SC	2022	DBLP DOI BibTeX RDF
14	Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke	Compiling HTN Plan Verification Problems into HTN Planning Problems.	ICAPS	2022	DBLP BibTeX RDF
14	Bolette S. Pedersen, Nathalie Carmen Hau Sørensen, Sanni Nimb, Ida Flørke, Sussi Olsen, Thomas Troelsgård	Compiling a Suitable Level of Sense Granularity in a Lexicon for AI Purposes: The Open Source COR Lexicon.	LREC	2022	DBLP BibTeX RDF