Optimizing Data Processing Through Verified Lifting

被引：0
|
作者：
Ahmad, Maaz Bin Safeer [1 ]
机构：
[1] University of Washington
来源：
ProQuest Dissertations and Theses Global | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Application programming interfaces (API) - C++ (programming language) - Codes (symbols) - Computer hardware - Data handling - Digital subscriber lines - Java programming language - Optimization - Problem oriented languages - Program compilers - Semantics
引用
收藏
相关论文
共 50 条
  • [1] Leveraging Parallel Data Processing Frameworks with Verified Lifting
    Ahmad, Maaz Bin Safeer
    Cheung, Alvin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (229): : 67 - 83
  • [2] Verified Lifting of Stencil Computations
    Kamil, Shoaib
    Cheung, Alvin
    Itzhaky, Shachar
    Solar-Lezama, Armando
    ACM SIGPLAN NOTICES, 2016, 51 (06) : 711 - 726
  • [3] Katara: Synthesizing CRDTs with Verified Lifting
    Laddad, Shadaj
    Power, Conor
    Milano, Mae
    Cheung, Alvin
    Hellerstein, Joseph M.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [4] Easing the heavy lifting of bulk data processing
    IBM Data Manag. Mag., 2013, 7
  • [5] Optimizing a Verified SAT Solver
    Fleury, Mathias
    NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 148 - 165
  • [6] Optimizing communications in processing data integration queries
    Liu, Jia
    Wu, Yongwei
    Yang, Guangwen
    PROCEEDINGS OF THE THIRD CHINAGRID ANNUAL CONFERENCE, 2008, : 131 - 137
  • [7] Mathematical Methods for Optimizing Big Data Processing
    Syrotkina, Olena
    Aleksieiev, Mykhailo
    Moroz, Borys
    Matsiuk, Serhii
    Shevtsova, Olga
    Kozlovskyi, Andrii
    2020 10TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER INFORMATION TECHNOLOGIES (ACIT), 2020, : 170 - 176
  • [8] Optimizing Skyline Query Processing in Incomplete Data
    Gulzar, Yonis
    Alwan, Ali A.
    Turaev, Sherzod
    IEEE ACCESS, 2019, 7 : 178121 - 178138
  • [9] Optimizing distributed data stream processing by tracing
    Zvara, Zoltan
    Szabo, Peter G. N.
    Balazs, Barnabas
    Benczur, Andras
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2019, 90 : 578 - 591
  • [10] CodHoop: A System for Optimizing Big Data Processing
    Asad, Zakia
    Chaudhry, Mohammad Asad Rehman
    Malone, David
    2015 9TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2015, : 295 - 300
12345