Search Results - "Compilers (Computer Programs)"

Refine Results
  1. Cover Image

    Input/Output: LLMs, Compilation, and the History of Text Technologies. by Ladd, John

    Published in English Language Notes (Apr2026)

    View this record in EBSCOhost
    Article
  2. Cover Image

    WebAssembly: Yes, but for What? by Wingo, Andy

    Published in Communications of the ACM (Nov2025)

    View this record in EBSCOhost
    Article
  3. Cover Image

    Repetitions Within and Between Chapters in the Xunzi 荀子: Traces of Liu Xiang's 劉向 Editorial Work. by Liu, Meihui

    Published in T'oung Pao (2024)

    View this record in EBSCOhost
    Article
  4. Cover Image

    Abstractions, Their Algorithms, and Their Compilers. by AHO, ALFRED, ULLMAN, JEFFREY

    Published in Communications of the ACM (Feb2022)

    View this record in EBSCOhost
    Article
  5. Cover Image

    The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems. by Mouha, Nicky, Hailane, Asmaa

    Published in Computer (00189162) (Jan2021)

    View this record in EBSCOhost
    Article
  6. Cover Image

    Effective C. by Seacord, Robert C.

    Published in Computer (00189162) (Nov2020)

    View this record in EBSCOhost
    Article
  7. Cover Image

    Optimizations in C++ Compilers. by GODBOLT, MATT

    Published in Communications of the ACM (Feb2020)

    View this record in EBSCOhost
    Article
  8. Cover Image

    Practical Verification of Peephole Optimizations with Alive. by Lopes, Nuno P., Menendez, David, Nagarakatte, Santosh, Regehr, John

    Published in Communications of the ACM (Feb2018)

    View this record in EBSCOhost
    Article
  9. Cover Image

    CETUS: A SOURCE-TO-SOURCE COMPILER INFRASTRUCTURE FOR MULTICORES. by Dave, Chirag, Hansang Bae, Seung-Jai Min, Seyong Lee, Eigenmann, Rudolf, Midkiff, Samuel

    Published in Computer (00189162) (Dec2009)

    View this record in EBSCOhost
    Article
  10. Cover Image

    Hopes, Fears, and Software Obfuscation. by BARAK, BOAZ

    Published in Communications of the ACM (Mar2016)

    View this record in EBSCOhost
    Article
  11. Cover Image

    META II: Digital Vellum in the Digital Scriptorium. by LONG, DAVE

    Published in Communications of the ACM (Mar2015)

    View this record in EBSCOhost
    Article
  12. Cover Image

    Formal Verification of a Realistic Compiler. by Leroy, Xavier

    Published in Communications of the ACM (Jul2009)

    View this record in EBSCOhost
    Article
  13. Cover Image

    Compiler Research: the next 50 Years. by HALL, MARY, PADUA, DAVID, PINGALI, KESHAV

    Published in Communications of the ACM (Feb2009)

    View this record in EBSCOhost
    Article
  14. Cover Image

    OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization. by NAVAS, JORGE A., GEHANI, ASHISH

    Published in Communications of the ACM (Apr2023)

    View this record in EBSCOhost
    Article
  15. Cover Image

    Building Bug-Free Compilers. by Zdancewic, Steve

    Published in Communications of the ACM (Feb2018)

    View this record in EBSCOhost
    Article
  16. Cover Image

    Sparse Matrix Computations on Reconfigurable Hardware. by Prasanna, Viktor K., Morris, Gerald R.

    Published in Computer (00189162) (Mar2007)

    View this record in EBSCOhost
    Article
  17. Cover Image

    Technical Perspective: A compiler's story. by Morrisett, Greg

    Published in Communications of the ACM (Jul2009)

    View this record in EBSCOhost
    Article
  18. Cover Image

    Authors' Response. by Hall, Mary, Padua, David, Pingali, Keshav

    Published in Communications of the ACM (May2009)

    View this record in EBSCOhost
    Letter
  19. Cover Image

    Logic of Lemmings in Compiler Innovation. by Bates, Rodney M.

    Published in Communications of the ACM (May2009)

    View this record in EBSCOhost
    Letter
  20. Cover Image

    Agenda for the Compiler Community.

    Published in Communications of the ACM (Feb2009)

    View this record in EBSCOhost
    Article

Search Tools: