Superoptimizer: a look at the smallest program

Massalin, Henry·1987·Proceedings of the second international conference on Architectual support for programming languages and operating systems
DOI 10.1145/36206.36194

Cited by (159)

Items 101–159 of 159

  1. Instruction Selection
    Gabriel Hjort Blindell · 2016 · Springer eBooks
  2. Object combining
    Ronald Veldema, J. H. Ceriel, F. H. Rutger, E. Henri · 2002 · Joint ACM-ISCOPE Conference on Java Grande
  3. Speeding up machine-code synthesis
    Venkatesh Srinivasan, Tushar Sharma, Thomas Reps · 2016 · Conference on Object-Oriented Programming Systems, Languages, and Applications
  4. Automatically proving mathematical theorems with evolutionary algorithms and proof assistants
    Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-ping Chen · 2016 · IEEE Congress on Evolutionary Computation (CEC)
  5. Derive
    Dawson Engler, Wilson Cheng-yi Hsieh · 2000
  6. Formally Verified EVM Block-Optimizations
    Elvira Albert, Samir Genaim, Daniel Rocco Kirchner, Enrique Martin-Martin · 2023 · Lecture notes in computer science
  7. Recursive Program Synthesis using Paramorphisms
    Qiantan Hong, Alex Aiken · 2024 · Proceedings of the ACM on Programming Languages
  8. F3M: Fast Focused Function Merging
    Sean Stirling, Rocha Rodrigo C. O., Kim Hazelwood, Hugh Leather, Michael F. P. O’boyle, Pavlos Petoumenos · 2022 · Proceedings of the CGO/Proceedings of the ... CGO
  9. Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters
    Vaibhav Sharma, Kesha Hietala, Stephen McCamant · 2018 · IEEE International Conference on Software Testing, Verification and Validation (ICST)
  10. Automatic generation of peephole superoptimizers
    Sorav Bansal, Alex Aiken · 2006 · ACM SIGOPS Operating Systems Review
  11. Control-Flow Semantics for Assembly-Level Data-Flow Graphs
    Wolfram Kahl, Christopher Kumar Anand, Jacques Carette · 2006 · Lecture notes in computer science
  12. Towards Porting Operating Systems with Program Synthesis
    Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo Seltzer · 2022 · ACM Transactions on Programming Languages and Systems
  13. Fast and Clean: Auditable high-performance assembly via constraint solving
    Amin Abdulrahman, Hanno Becker, Matthias J. Kannwischer, Fabien Klein · 2023 · IACR Transactions on Cryptographic Hardware and Embedded Systems
  14. Generating compiler optimizations from proofs
    Ross Tate, Michael Stepp, Sorin Lerner · 2010 · ACM SIGPLAN Notices
  15. Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM
    David Menendez, Santosh Nagarakatte · 2017 · ACM SIGPLAN Notices
  16. Searching for software diversity
    Gilmore R. Lundquist, Vishwath Mohan, Kevin W. Hamlen · 2016 · New Security Paradigms Workshop
  17. Finding Substitutable Binary Code By Synthesizing Adapters
    Vaibhav Sharma, Kesha Hietala, Stephen McCamant · 2019 · IEEE Transactions on Software Engineering
  18. Synthesis of machine code from semantics
    Venkatesh Srinivasan, Thomas Reps · 2015 · ACM SIGPLAN Notices
  19. GEVO-ML
    Jhe-Yu Liou, Xiaodong Wang, Stephanie Forrest, Carole-Jean Wu · 2020 · Genetic and Evolutionary Computation Conference Companion (GECCO Companion)
  20. Reverse interpretation + mutation analysis = automatic retargeting
    Christian S. Collberg · 1997 · ACM SIGPLAN Notices
  21. Enabling Microarchitectural Agility: Taking ML-KEM & ML-DSA from Cortex-M4 to M7 with SLOTHY
    Amin Abdulrahman, Matthias J. Kannwischer, Thing-Han Lim · 2025 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  22. Learning Guided Enumerative Synthesis for Superoptimization
    Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid D · 2019 · Lecture notes in computer science
  23. Man-Made Heuristics Are Dead. Long Live Code Generators!
    Rohit Dwivedula, Divyanshu Saxena, Aditya Akella, Swarat Chaudhuri, Daehyeok Kim · 2025 · ACM Workshop on Hot Topics in Networks (HotNets)
  24. Superoptimization of memory subsystems
    Joseph G. Wingbermuehle, Ron K. Cytron, Roger D. Chamberlain · 2014 · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
  25. Grafs: declarative graph analytics
    Farzin Houshmand, Mohsen Lesani, Keval Vora · 2021 · Proceedings of the ACM on Programming Languages
  26. Automatic Generation of Debug Headers through BlackBox Equivalence Checking
    Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal · 2022 · Proceedings of the CGO/Proceedings of the ... CGO
  27. CGCExplorer
    Martin Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky · 2007 · ACM SIGPLAN Notices
  28. Improved Gas Optimization of Smart Contracts
    Togzhan Barakbayeva, Soroush Farokhnia, Amir Kafshdar Goharshady, P Li, Zhaorun Lin · 2025 · Lecture notes in computer science
  29. Program interpolation
    Andrew Moss, Daniel Page · 2009 · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
  30. Automatically generating instruction selectors using declarative machine descriptions
    João Dias, Norman F. Ramsey · 2010 · ACM SIGPLAN Notices
  31. Massively Parallel Searching for Better Algorithms or How to Do a Cross Product with Five Multiplications
    John Leroy Gustafson, Srinivas Aluru · 1995 · Scientific Programming
  32. The CoGenT project: co-generating compilers and simulators for dynamically compiled languages
    J. Eliot B. Moss, Charles Weems, T. Richards · 2004 · IEEE International Parallel and Distributed Processing Symposium (IPDPS)
  33. Probabilistic Constructive Optimization Techniques
    Jennifer L. Wong, Farinaz Koushanfar, Seapahn Megerian, Miodrag Potkonjak · 2004 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  34. Derive
    Dawson Engler, Wilson Cheng-yi Hsieh · 2000 · ACM SIGPLAN Notices
  35. Partial evaluation of machine code
    Venkatesh Srinivasan, Thomas Reps · 2015 · ACM SIGPLAN Notices
  36. Superoptimization of memory subsystems
    Joseph G. Wingbermuehle, Ron K. Cytron, Roger D. Chamberlain · 2014 · ACM SIGPLAN Notices
  37. Compiling a gesture recognition application for a low-power spatial architecture
    Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík · 2016 · ACM SIGPLAN Notices
  38. Parallel Assembly Synthesis
    Jingmei Hu, Stephen Chong, Margo Seltzer · 2024 · Lecture notes in computer science
  39. Synthesizing parallel graph programs via automated planning
    Dimitrios Prountzos, Roman Manevich, Keshav K. Pingali · 2015 · ACM SIGPLAN Notices
  40. Programming with neural surrogates of programs
    Alex Renda, Yi Ding, Michael Carbin · 2021 · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)
  41. Speeding up machine-code synthesis
    Venkatesh Srinivasan, Tushar Sharma, Thomas Reps · 2016 · ACM SIGPLAN Notices
  42. A massively parallel optimizer for expression evaluation
    Srinivas Aluru, John Leroy Gustafson · 1993 · International Conference on Supercomputing
  43. Geração automática de backend de compiladores baseada em ADLs
    Rafael Auler · 2011
  44. Compiling a gesture recognition application for a low-power spatial architecture
    Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík · 2016
  45. Automatically Repairing Binary Programs Using Adapter Synthesis
    Vaibhav Sharma · 2019 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
  46. Accelerating the Development of DSL Compilers for Specialized Processors
    Peter N. Sovietov · 2020 · Proceedings of the Institute for System Programming of RAS
  47. Implementação em FPGA de Geradores de Números Pseudo-aleatórios sobre Anéis de Inteiros
    Davi C. M. de Almeida, Carlos Eduardo Souza, Daniel P. B. Chaves, Cecilio Jose Lins Pimentel · 2021 · Anais de XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais
  48. HOIST
    John David Regehr, Alastair Reid · 2004 · ACM SIGPLAN Notices
  49. Optimizing Tradeoffs of Non-Functional Properties in Software
    Jonathan G. Dorn · 2017
  50. HOIST
    John David Regehr, Alastair Reid · 2004 · ACM SIGARCH Computer Architecture News
  51. Bibliography
    2009 · Elsevier eBooks
  52. Introduction
    Des Watson · 2017 · Undergraduate topics in computer science
  53. HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition
    Sirui Lu, Rastislav Bodík · 2025 · Proceedings of the ACM on Programming Languages
  54. Securely Optimized (Ethereum) Smart Contracts Using Formal Methods
    Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martín Martín, Albert Rubio · 2025 · Lecture notes in computer science
  55. From P ≟ NP to Practice: Description Complexity and Certificate-First Algorithm Discovery for Hard Problems
    John Abela, Ernest Cachia, Colin Layfield · 2025 · Mathematics
  56. Direct Synthesis of Ultra-Constrained Bare-Metal Firmware from Structured Intent
    Yong Wang, Zhiguo Shi · 2026 · SSRN Electronic Journal
  57. Equality Saturation for Quantum Circuit Optimization
    Ganxiang Yang, Paige Raun, Runzhou Tao, Ronghui Gu · 2026 · Proceedings of the ACM on Programming Languages
  58. Compiling by Proving in \({\mathbb{K}}\) : From All-Path Reachability Proofs to Single-Step Semantic Rules
    Jianhong Zhao, Everett Hildenbrandt, Juan Conejero, Yongwang Zhao · 2026 · ACM Transactions on Software Engineering and Methodology
  59. Seleção de Transformações Baseada em Estatística
    Ewerton Daniel de Lima, Tiago Cariolano de Souza Xavier, Anderson Faustino da Silva · 2013 · Revista de Informática Teórica e Aplicada