Search results for "superoptimization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Sorav Bansal, Alex Aiken	Automatic generation of peephole superoptimizers.	ASPLOS	2006	DBLP DOI BibTeX RDF	code selection, peephole optimization, superoptimization
30	Ryan Marcus	Learned Query Superoptimization.	CoRR	2023	DBLP DOI BibTeX RDF
30	Ryan Marcus	Learned Query Superoptimization.	VLDB Workshops	2023	DBLP BibTeX RDF
30	Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia	Quartz: Superoptimization of Quantum Circuits (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
30	Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia	Quartz: superoptimization of Quantum circuits.	PLDI	2022	DBLP DOI BibTeX RDF
30	Yichen Yang 0008, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy 0002, Jacques Pienaar	Equality Saturation for Tensor Graph Superoptimization.	CoRR	2021	DBLP BibTeX RDF
30	Yichen Yang 0008, Phitchaya Mangpo Phothilimthana, Yisu Remy Wang, Max Willsey, Sudip Roy 0002, Jacques Pienaar	Equality Saturation for Tensor Graph Superoptimization.	MLSys	2021	DBLP BibTeX RDF
30	Manasij Mukherjee, Pranav Kant, Zhengyang Liu 0003, John Regehr	Dataflow-based pruning for speeding up superoptimization.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
30	Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus	Superoptimization of WebAssembly Bytecode.	CoRR	2020	DBLP BibTeX RDF
30	Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam	TUNERCAR: A Superoptimization Toolchain for Autonomous Racing.	ICRA	2020	DBLP DOI BibTeX RDF
30	Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus	Superoptimization of WebAssembly bytecode.	Programming	2020	DBLP DOI BibTeX RDF
30	Hui Shi, Yang Zhang, Xinyun Chen, Yuandong Tian, Jishen Zhao	Deep Symbolic Superoptimization Without Human Knowledge.	ICLR	2020	DBLP BibTeX RDF
30	Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid	Learning Guided Enumerative Synthesis for Superoptimization.	SPIN	2019	DBLP DOI BibTeX RDF
30	Abhinav Jangda, Greta Yorsh	Unbounded superoptimization.	Onward!	2017	DBLP DOI BibTeX RDF
30	Berkeley R. Churchill, Rahul Sharma 0001, J. F. Bastien, Alex Aiken	Sound Loop Superoptimization for Google Native Client.	ASPLOS	2017	DBLP DOI BibTeX RDF
30	Phitchaya Mangpo Phothilimthana, Aditya Thakur 0001, Rastislav Bodík, Dinakar Dhurjati	Scaling up Superoptimization.	ASPLOS	2016	DBLP DOI BibTeX RDF
30	Tom Hume, Des Watson	Is superoptimization viable for VM instruction sets?	Softw. Pract. Exp.	2015	DBLP DOI BibTeX RDF
30	Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken	Conditionally correct superoptimization.	OOPSLA	2015	DBLP DOI BibTeX RDF
30	Joseph G. Wingbermuehle, Ron K. Cytron, Roger D. Chamberlain	Superoptimization of memory subsystems.	LCTES	2014	DBLP DOI BibTeX RDF
30	Eric Schkufza, Rahul Sharma 0001, Alex Aiken	Stochastic superoptimization.	ASPLOS	2013	DBLP DOI BibTeX RDF
30	Eric Schkufza, Rahul Sharma 0001, Alex Aiken	Stochastic Superoptimization	CoRR	2012	DBLP BibTeX RDF
28	Matthias Jacob, Mariusz H. Jakubowski, Prasad Naldurg, Chit Wei Saw, Ramarathnam Venkatesan	The Superdiversifier: Peephole Individualization for Software Protection.	IWSEC	2008	DBLP DOI BibTeX RDF
28	Masami Hagiya, Koichi Takahashi	Discovery and Deduction.	Discovery Science	2000	DBLP DOI BibTeX RDF