咨询与建议

限定检索结果

文献类型

  • 256 篇 会议
  • 26 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 284 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 225 篇 工学
    • 215 篇 软件工程
    • 164 篇 计算机科学与技术...
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
  • 41 篇 理学
    • 38 篇 数学
    • 4 篇 系统科学
    • 3 篇 统计学(可授理学、...
  • 13 篇 管理学
    • 7 篇 图书情报与档案管...
    • 6 篇 管理科学与工程(可...
    • 4 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 83 篇 languages
  • 43 篇 performance
  • 29 篇 computer program...
  • 24 篇 algorithms
  • 24 篇 verification
  • 23 篇 design
  • 19 篇 theory
  • 18 篇 parallel program...
  • 10 篇 functional progr...
  • 8 篇 logic programmin...
  • 7 篇 experimentation
  • 7 篇 semantics
  • 6 篇 reliability
  • 6 篇 mpi
  • 6 篇 dependent types
  • 6 篇 transactional me...
  • 5 篇 abstract interpr...
  • 4 篇 object oriented ...
  • 4 篇 static analysis
  • 4 篇 atomicity

机构

  • 4 篇 carnegie mellon ...
  • 3 篇 univ texas austi...
  • 3 篇 univ of tokyo
  • 3 篇 tohoku univ send...
  • 3 篇 imdea software i...
  • 3 篇 microsoft resear...
  • 3 篇 univ texas austi...
  • 2 篇 epfl
  • 2 篇 univ wisconsin d...
  • 2 篇 univ wisconsin m...
  • 2 篇 xerox parc
  • 2 篇 univ illinois ur...
  • 2 篇 department of co...
  • 2 篇 swiss fed inst t...
  • 2 篇 univ lugano usi ...
  • 2 篇 natl inst inform...
  • 2 篇 mcgill univ mont...
  • 2 篇 northeastern uni...
  • 2 篇 univ calif santa...
  • 2 篇 microsoft resear...

作者

  • 4 篇 pingali keshav
  • 4 篇 burtscher martin
  • 3 篇 taura kenjiro
  • 3 篇 yonezawa akinori
  • 3 篇 flanagan cormac
  • 3 篇 walker david
  • 3 篇 abadi martin
  • 3 篇 kobayashi naoki
  • 2 篇 hoefler torsten
  • 2 篇 saraswat vijay
  • 2 篇 wand mitchell
  • 2 篇 huelsbergen lore...
  • 2 篇 grossman dan
  • 2 篇 stulova nataliia
  • 2 篇 palsberg jens
  • 2 篇 donaldson alasta...
  • 2 篇 yoshida nobuko
  • 2 篇 kim jungwon
  • 2 篇 gay simon j.
  • 2 篇 welc adam

语言

  • 282 篇 英文
  • 2 篇 其他
检索条件"任意字段=Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"
284 条 记 录,以下是1-10 订阅
排序:
proceedings of the 25th International symposium on principles and Practice of Declarative programming, PPDP 2023 - As part of the acm sigplan conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023
Proceedings of the 25th International Symposium on Principle...
收藏 引用
25th International symposium on principles and Practice of Declarative programming, PPDP 2023 - As part of the acm sigplan conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023
the proceedings contain 13 papers. the topics discussed include: a calculus of delayed reductions;multicompatibility for multiparty-session composition;termination in concurrency, revisited;typed equivalence of labele...
来源: 评论
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st acm sigplan symposium on principles of programming languages, POPL 2024
25th International Conference on Verification, Model Checkin...
收藏 引用
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st acm sigplan symposium on principles of programming languages, POPL 2024
the proceedings contain 30 papers. the special focus in this conference is on Verification, Model Checking, and Abstract Interpretation. the topics include: Interpolation and Quantifiers in Ortholattices;fun...
来源: 评论
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st acm sigplan symposium on principles of programming languages, POPL 2024
25th International Conference on Verification, Model Checkin...
收藏 引用
25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st acm sigplan symposium on principles of programming languages, POPL 2024
the proceedings contain 30 papers. the special focus in this conference is on Verification, Model Checking, and Abstract Interpretation. the topics include: Interpolation and Quantifiers in Ortholattices;fun...
来源: 评论
Crystality: A programming Model for Smart Contracts on Parallel EVMs  25
Crystality: A Programming Model for Smart Contracts on Paral...
收藏 引用
30th symposium on principles and Practice of Parallel programming
作者: Wang, Hao Pan, Minghao Wang, Jiaping Int Digital Econ Acad Beijing Peoples R China Hong Kong Univ Sci & Technol Guangzhou Guangzhou Peoples R China
Scaling blockchain performance through parallel smart contract execution has gained significant attention, as traditional methods remain constrained by the performance of a single virtual machine (VM), even in multi-c... 详细信息
来源: 评论
MARLIN: Mixed-Precision Auto-Regressive Parallel Inference on Large Language Models  25
MARLIN: Mixed-Precision Auto-Regressive Parallel Inference o...
收藏 引用
30th symposium on principles and Practice of Parallel programming
作者: Frantar, Elias Castro, Roberto L. Chen, Jiale Hoefler, Torsten Alistarh, Dan IST Austria Klosterneuburg Austria Univ A Coruna CITIC La Coruna Spain Swiss Fed Inst Technol Zurich Switzerland Neural Mag Inc Somerville NJ USA
As inference on Large Language Models (LLMs) emerges as an important workload in machine learning applications, model weight quantization has become a standard technique for efficient GPU deployment. Quantization not ... 详细信息
来源: 评论
PPoPP 2024 - proceedings of the 29th acm sigplan Annual symposium on principles and Practice of Parallel programming
PPoPP 2024 - Proceedings of the 29th ACM SIGPLAN Annual Symp...
收藏 引用
29th acm sigplan Annual symposium on principles and Practice of Parallel programming, PPoPP 2024
the proceedings contain 44 papers. the topics discussed include: FastFold: optimizing AlphaFold training and inference on GPU clusters;liger: interleaving intra- and inter-operator parallelism for distributed large mo...
来源: 评论
Closure Conversion in Little Pieces  23
Closure Conversion in Little Pieces
收藏 引用
25th International symposium on principles and Practice of Declarative programming (PPDP) As part of the acm sigplan Conference on Systems, programming, languages, and Applications - Software for Humanity (SPLASH)
作者: Sullivan, Zachary J. Downen, Paul Ariola, Zena M. Univ Oregon Eugene OR 97403 USA Univ Massachesetts Lowell MA USA
Closure conversion, an essential step in compiling functional programs, is traditionally presented as a global transformation from a language with higher-order functions to one without. Optimizing this transformation ... 详细信息
来源: 评论
stableKanren: Integrating Stable Model Semantics with miniKanren  23
stableKanren: Integrating Stable Model Semantics with miniKa...
收藏 引用
25th International symposium on principles and Practice of Declarative programming (PPDP) As part of the acm sigplan Conference on Systems, programming, languages, and Applications - Software for Humanity (SPLASH)
作者: Guo, Xiangyu Smith, James Bansal, Ajay Arizona State Univ Tempe AZ 85287 USA
this paper presents stableKanren, a miniKanren extension with normal logic programming support under stable model semantics. MiniKanren is a relational programming solver implemented atop Scheme via shallow embedding,... 详细信息
来源: 评论
Parallel Block-Delayed Sequences  22
Parallel Block-Delayed Sequences
收藏 引用
27th acm sigplan symposium on principles and Practice of Parallel programming (PPoPP)
作者: Westrick, Sam Rainey, Mike Anderson, Daniel Blelloch, Guy E. Carnegie Mellon Univ Pittsburgh PA 15213 USA
programming languages using functions on collections of values, such as map, reduce, scan and filter, have been used for over fifty years. Such collections have proven to be particularly useful in the context of paral... 详细信息
来源: 评论
CuPBoP: A Framework to Make CUDA Portable  23
CuPBoP: A Framework to Make CUDA Portable
收藏 引用
proceedings of the 28th acm sigplan Annual symposium on principles and Practice of Parallel programming
作者: Ruobing Han Jun Chen Bhanu Garg Jeffrey Young Jaewoong Sim Hyesoon Kim Georgia Institute of Technology Seoul National University
CUDA, as one of the most popular choices for GPU programming, can be executed only on NVIDIA GPUs. To execute CUDA on non-NVIDIA devices, researchers have proposed to translate CUDA to other programming languages. How... 详细信息
来源: 评论