Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Zuzana Baranová, Petr Rockai	Compiling C and C++ Programs for Dynamic White-Box Analysis.	FM Workshops (1)	2019	DBLP DOI BibTeX RDF
14	Alwin Zulehner, Robert Wille	Compiling SU(4) quantum circuits to IBM QX architectures.	ASP-DAC	2019	DBLP DOI BibTeX RDF
14	Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke	Compiling Sandboxes: Formally Verified Software Fault Isolation.	ESOP	2019	DBLP DOI BibTeX RDF
14	Christoph Berkholz, Hubie Chen	Compiling Existential Positive Queries to Bounded-Variable Fragments.	PODS	2019	DBLP DOI BibTeX RDF
14	Alen Stojanov, Tiark Rompf, Markus Püschel	A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions.	GPCE	2019	DBLP DOI BibTeX RDF
14	Andy Shih, Arthur Choi, Adnan Darwiche	Compiling Bayesian Network Classifiers into Decision Graphs.	AAAI	2019	DBLP DOI BibTeX RDF
14	Jin Song, Yimin Zhuang, Xiaobing Chen, Tian Zhi, Shaoli Liu	Compiling Optimization for Neural Network Accelerators.	APPT	2019	DBLP DOI BibTeX RDF
14	Alexandru Emilian Susu	Compiling Efficiently with Arithmetic Emulation for the Custom-Width Connex Vector Processor.	PPoPP	2019	DBLP DOI BibTeX RDF
14	Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma 0001	Compiling KB-sized machine learning models to tiny IoT devices.	PLDI	2019	DBLP DOI BibTeX RDF
14	Bo Sun, Zhaojun Yang, Chuanhai Chen, Hailong Tian, Wei Hu, Xu Jia	Compiling Compression Load Spectrum of Servo Turret Based on Finite Element and Information Entropy Method.	ICSRS	2019	DBLP DOI BibTeX RDF
14	Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli	The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits.	ICCAD	2019	DBLP DOI BibTeX RDF
14	Peter J. Stuckey, Guido Tack	Compiling Conditional Constraints.	CP	2019	DBLP DOI BibTeX RDF
14	Na Wang 0007, Liping Li	Teaching reform on compiling principal course.	ICCSE	2019	DBLP DOI BibTeX RDF
14	Starkaður Barkarson, Steinþór Steingrímsson	Compiling and Filtering ParIce: An English-Icelandic Parallel Corpus.	NODALIDA	2019	DBLP BibTeX RDF
14	Francesco Percassi, Alfonso Emilio Gerevini	On Compiling Away PDDL3 Soft Trajectory Constraints without Using Automata.	ICAPS	2019	DBLP BibTeX RDF
14	Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf	Towards compiling graph queries in relational engines.	DBPL	2019	DBLP DOI BibTeX RDF
14	Rodrigo N. Gómez, Carlos Hernández 0003, Jorge A. Baier	Compiling Cost-Optimal Multi-Agent Pathfinding to ASP.	SOCS	2019	DBLP DOI BibTeX RDF
14	Lukás Chrpa, Martin Pilát, Jakub Gemrot	Compiling Planning Problems with Non-deterministic Events into FOND Planning.	RCRA/RiCeRcA@AI*IA	2019	DBLP BibTeX RDF
14	Maximilian E. Schüle, Matthias Bungeroth, Dimitri Vorona, Alfons Kemper, Stephan Günnemann, Thomas Neumann 0001	ML2SQL - Compiling a Declarative Machine Learning Language to SQL and Python.	EDBT	2019	DBLP DOI BibTeX RDF
14	Richard Townsend	Compiling Irregular Software to Specialized Hardware.		2019	DOI RDF
14	Eric Love	Compiling Communication-Minimizing Query Plans.		2019	RDF
14	Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock	Functional programming for compiling and decompiling computer-aided design.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
14	Raouf Dridi, Hedayat Alghassi, Sridhar R. Tayur	A Novel Algebraic Geometry Compiling Framework for Adiabatic Quantum Computations.	CoRR	2018	DBLP BibTeX RDF
14	Gábor E. Gévay, Tilmann Rabl, Sebastian Breß, Lorand Madai-Tahy, Volker Markl	Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows.	CoRR	2018	DBLP BibTeX RDF
14	William Waites, Goksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat	Compiling Combinatorial Genetic Circuits with Semantic Inference.	CoRR	2018	DBLP BibTeX RDF
14	Mohammad Dashti 0001, Sachin Basil John, Thierry Coppey, Amir Shaikhha, Vojin Jovanovic, Christoph Koch 0001	Compiling Database Application Programs.	CoRR	2018	DBLP BibTeX RDF
14	Pablo Tano, Sergio Romano, Mariano Sigman, Alejo Salles, Santiago Figueira	Learning is Compiling: Experience Shapes Concept Learning by Combining Primitives in a Language of Thought.	CoRR	2018	DBLP BibTeX RDF
14	Vincent Nys, Danny De Schreye	Compiling Control as Offline Partial Deduction.	CoRR	2018	DBLP BibTeX RDF
14	Faisal Shah Khan, Nada Elsokkary, Travis S. Humble	Compiling Adiabatic Quantum Programs.	CoRR	2018	DBLP BibTeX RDF
14	Charisee Chiw, Gordon L. Kindlmann, John H. Reppy	Compiling Diderot: From Tensor Calculus to C.	CoRR	2018	DBLP BibTeX RDF
14	Eduardo Chielle, Oleg Mazonka, Nektarios Georgios Tsoutsos, Michail Maniatakos	E3: A Framework for Compiling C++ Programs with Encrypted Operands.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
14	Steven Bell, Jing Pu, James Hegarty, Mark Horowitz	Compiling Algorithms for Heterogeneous Systems		2018	DOI RDF
14	Michael Römer, André A. Ciré, Louis-Martin Rousseau	A Local Search Framework for Compiling Relaxed Decision Diagrams.	CPAIOR	2018	DBLP DOI BibTeX RDF
14	Peter Zangerl, Herbert Jordan, Peter Thoman, Philipp Gschwandtner, Thomas Fahringer	Exploring the semantic gap in compiling embedded DSLs.	SAMOS	2018	DBLP DOI BibTeX RDF
14	Cristina Menghini, Jessica Dehler-Zufferey, Robert West 0001	Compiling Questions into Balanced Quizzes about Documents.	CIKM	2018	DBLP DOI BibTeX RDF
14	Atif Latif, Timo Borst, Klaus Tochtermann	Compiling Scholarly Profile Pages by Integrating External Authority Data.	JCDL	2018	DBLP DOI BibTeX RDF
14	Hancheng Wu, John Ravi, Michela Becchi	Compiling SIMT Programs on Multi- and Many-Core Processors with Wide Vector Units: A Case Study with CUDA.	HiPC	2018	DBLP DOI BibTeX RDF
14	Eva Marinus, Zoe Powell, Rosalind Thornton, Genevieve McArthur, Stephen Crain	Unravelling the Cognition of Coding in 3-to-6-year Olds: The development of an assessment tool and the relation between coding ability and cognitive compiling of syntax in natural language.	ICER	2018	DBLP DOI BibTeX RDF
14	Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón	Compiling for concise code and efficient I/O.	CC	2018	DBLP DOI BibTeX RDF
14	Faisal Shah Khan, Nada Elsokkary, Travis S. Humble	Compiling Adiabatic Quantum Programs.	GLOBECOM Workshops	2018	DBLP DOI BibTeX RDF
14	Henry G. Dietz	A Gate-Level Approach To Compiling For Quantum Computers.	IGSC	2018	DBLP DOI BibTeX RDF
14	Nicholas Wilson	DCompute: Compiling D to SPIR-V for seamless integration with OpenCL.	IWOCL	2018	DBLP DOI BibTeX RDF
14	Haowen Luo, Yu Zhang, Shenglan Zhang	Research on Java Compiling System for Embedded Systems.	ISBDAI	2018	DBLP DOI BibTeX RDF
14	Haikun Teng, Xinsheng Liu, Shiying Wang, Xiao-Guang Yue	Research on Java Compiling System for Embedded Systems.	ISBDAI	2018	DBLP DOI BibTeX RDF
14	Ofer M. Shir, Carola Doerr, Thomas Bäck	Compiling a benchmarking test-suite for combinatorial black-box optimization: a position paper.	GECCO (Companion)	2018	DBLP DOI BibTeX RDF
14	Benjamin Lion, Samir Chouali, Farhad Arbab	Compiling Protocols to Promela and Verifying their LTL Properties.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
14	Pooyan Behnamghader, Patavee Meemeng, Iordanis Fostiropoulos, Di Huang, Kamonphop Srisopha, Barry W. Boehm	A scalable and efficient approach for compiling and analyzing commit history.	ESEM	2018	DBLP DOI BibTeX RDF
14	Florin Craciun, Gabriel Glodean	Towards Compiling Region Types Into RTSJ-Compliant Java Code.	SYNASC	2018	DBLP DOI BibTeX RDF
14	Benedict Wright, Robert Mattmüller, Bernhard Nebel	Compiling Away Soft Trajectory Constraints in Planning.	KR	2018	DBLP BibTeX RDF
14	Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann 0001, Holger Hermanns	Compiling Probabilistic Model Checking into Probabilistic Planning.	ICAPS	2018	DBLP BibTeX RDF
14	Chiara Piacentini, Margarita P. Castro, André Augusto Ciré, J. Christopher Beck	Compiling Optimal Numeric Planning to Mixed Integer Linear Programming.	ICAPS	2018	DBLP BibTeX RDF
14	Vincent Nys, Danny De Schreye	Compiling Control as Offline Partial Deduction.	LOPSTR	2018	DBLP DOI BibTeX RDF
14	Frédéric Koriche	Compiling Combinatorial Prediction Games.	ICML	2018	DBLP BibTeX RDF
14	Labinot Bajraktari, Magdalena Ortiz 0001, Mantas Simkus	Compiling Model Representations for Querying Large ABoxes in Expressive DLs.	IJCAI	2018	DBLP DOI BibTeX RDF
14	Ditty Mathew, Sutanu Chakraborti	Towards Compiling Textbooks from Wikipedia.	Australasian Conference on Artificial Intelligence	2018	DBLP DOI BibTeX RDF
14	Conal Elliott	Compiling to categories.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
14	Rafael Sacks, Ling Ma 0003, Raz Yosef, André Borrmann, Simon Daum, Uri Kattel	Semantic Enrichment for Building Information Modeling: Procedure for Compiling Inference Rules and Operators for Complex Geometry.	J. Comput. Civ. Eng.	2017	DBLP DOI BibTeX RDF
14	Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser 0001	On compiling Boolean circuits optimized for secure multi-party computation.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
14	Simone Bova, Friedrich Slivovsky	On Compiling Structured CNFs to OBDDs.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF
14	Davide Venturelli, Minh Do, Eleanor Gilbert Rieffel, Jeremy Frank	Compiling Quantum Circuits to Realistic Hardware Architectures using Temporal Planners.	CoRR	2017	DBLP BibTeX RDF
14	Umut Oztok, Adnan Darwiche	On Compiling DNNFs without Determinism.	CoRR	2017	DBLP BibTeX RDF
14	Andre Xian Ming Chang, Aliasger Zaidy, Vinayak Gokhale, Eugenio Culurciello	Compiling Deep Learning Models for Custom Hardware Accelerators.	CoRR	2017	DBLP BibTeX RDF
14	Bernard Parisse	Compiling LATEX to computer algebra-enabled HTML5.	CoRR	2017	DBLP BibTeX RDF
14	Phil Scott, Steven Obua, Jacques D. Fleuriot	Compiling Purely Functional Structured Programs.	CoRR	2017	DBLP BibTeX RDF
14	Marcos Zampieri	Compiling and Processing Historical and Contemporary Portuguese Corpora.	CoRR	2017	DBLP BibTeX RDF
14	Rabah Mokhtari, Allaoua Chaoui	Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL.	Int. J. Commun. Networks Distributed Syst.	2017	DBLP DOI BibTeX RDF
14	Graham Hutton, Patrick Bahr	Compiling a 50-year journey.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
14	Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper 0001	Correctness of compiling polymorphism to dynamic typing.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
14	Clemens Grelck, Nikolaos Sarris	Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments.	IFL	2017	DBLP DOI BibTeX RDF
14	Sylvain Conchon, David Declerck, Fatiha Zaïdi	Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W.	ICFEM	2017	DBLP DOI BibTeX RDF
14	Daniil Berezun, Neil D. Jones	Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper).	PEPM	2017	DBLP DOI BibTeX RDF
14	Hung-Hsuan Chen, Jian Wu 0006, C. Lee Giles	Compiling Keyphrase Candidates for Scientific Literature Based on Wikipedia.	TDDL/MDQual/Futurity@TPDL	2017	DBLP BibTeX RDF
14	Micha Reiser, Luc Bläser	Accelerate JavaScript applications by cross-compiling to WebAssembly.	VMIL@SPLASH	2017	DBLP DOI BibTeX RDF
14	Márcio Machado Pereira, Rafael C. F. Sousa, Guido Araujo	Compiling and Optimizing OpenMP 4.X Programs to OpenCL and SPIR.	IWOMP	2017	DBLP DOI BibTeX RDF
14	Yikun Hu, Yuanyuan Zhang 0002, Juanru Li, Dawu Gu	Binary code clone detection across architectures and compiling configurations.	ICPC	2017	DBLP DOI BibTeX RDF
14	Michael Vollmer 0003, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni 0001, Sam Tobin-Hochstadt, Ryan Newton	Compiling Tree Transforms to Operate on Packed Representations.	ECOOP	2017	DBLP DOI BibTeX RDF
14	Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata	Compiling Graph Substructures into Sentential Decision Diagrams.	AAAI	2017	DBLP DOI BibTeX RDF
14	Alexandru Trifan, Marilena Anghelus, Rodica Constantinescu	Natural language processing model compiling natural language into byte code.	SpeD	2017	DBLP DOI BibTeX RDF
14	Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones	Compiling without continuations.	PLDI	2017	DBLP DOI BibTeX RDF
14	Daniel Huang 0001, Jean-Baptiste Tristan, Greg Morrisett	Compiling Markov chain Monte Carlo algorithms for probabilistic modeling.	PLDI	2017	DBLP DOI BibTeX RDF
14	Jeremy Ludwig, Steven Xu, Frederick Webber	Compiling static software metrics for reliability and maintainability from GitHub repositories.	SMC	2017	DBLP DOI BibTeX RDF
14	Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer 0001, Galen M. Shipman, Patrick S. McCormick, Alex Aiken	Control replication: compiling implicit parallelism to efficient SPMD with logical regions.	SC	2017	DBLP DOI BibTeX RDF
14	Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca	lp2cpp: A Tool For Compiling Stratified Logic Programs.	AI*IA	2017	DBLP DOI BibTeX RDF
14	Salar Mohtaj, Habibollah Asghari, Vahid Zarrabi	Compiling a text re-use detection corpus from scientific papers with semi-real cases of plagiarism.	IALP	2017	DBLP DOI BibTeX RDF
14	Henrik Barthels, Paolo Bientinesi	Linnea: Compiling Linear Algebra Expressions to High-Performance Code.	PASCO@ISSAC	2017	DBLP DOI BibTeX RDF
14	Raquel Fuentetaja 0001, Tomás de la Rosa	Compiling irrelevant objects to counters. Special case of creation planning.	AI Commun.	2016	DBLP DOI BibTeX RDF
14	Drew Landis, William Courtney, Christopher Dieringer, Ross Kelly, Margaret D. King, Brittny Miller, Runtang Wang, Dylan Wood, Jessica A. Turner, Vince D. Calhoun	COINS Data Exchange: An open platform for compiling, curating, and disseminating neuroimaging data.	NeuroImage	2016	DBLP DOI BibTeX RDF
14	Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi	Compiling Stateful Network Properties for Runtime Verification.	CoRR	2016	DBLP BibTeX RDF
14	Thomas Häner, Damian S. Steiger, Krysta M. Svore, Matthias Troyer	A Software Methodology for Compiling Quantum Programs.	CoRR	2016	DBLP BibTeX RDF
14	Ian Mackie	Compiling Process Networks to Interaction Nets.	TERMGRAPH	2016	DBLP DOI BibTeX RDF
14	Kavon Farvardin, John H. Reppy	Compiling with Continuations and LLVM.	ML/OCAML	2016	DBLP DOI BibTeX RDF
14	Seyed Mehran Kazemi, David Poole 0001	Why is Compiling Lifted Inference into a Low-Level Language so Effective?	CoRR	2016	DBLP BibTeX RDF
14	Roshan Dathathri, Ravi Teja Mullapudi, Uday Bondhugula	Compiling Affine Loop Nests for a Dynamic Scheduling Runtime on Shared and Distributed Memory.	ACM Trans. Parallel Comput.	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	Vladislav Tartakovsky	Student Research Poster: Compiling Boolean Circuits to Non-deterministic Branching Programs to be Implemented by Light Switching Circuits.	PACT	2016	DBLP DOI BibTeX RDF
14	Andrea Höller, Bernhard Spitzer, Tobias Rauter, Johannes Iber, Christian Kreiner	Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors.	DSN Workshops	2016	DBLP DOI BibTeX RDF
14	Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou	Compiling and Executing PDDL in Picat.	CILC	2016	DBLP BibTeX RDF
14	Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm	Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.	POPL	2016	DBLP DOI BibTeX RDF
14	Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker 0001	Compiling Path Queries.	NSDI	2016	DBLP BibTeX RDF
14	Salaheddine Hamadi, Khalil Blaiech, Petko Valtchev, Omar Cherkaoui, Radu State	Compiling packet forwarding rules for switch pipelined architecture.	INFOCOM	2016	DBLP DOI BibTeX RDF