咨询与建议

限定检索结果

文献类型

  • 278 篇 会议
  • 40 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 274 篇 工学
    • 267 篇 软件工程
    • 140 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 3 篇 生物工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 纺织科学与工程
    • 1 篇 生物医学工程(可授...
  • 10 篇 理学
    • 8 篇 数学
    • 1 篇 化学
    • 1 篇 地质学
    • 1 篇 生物学
  • 6 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 80 篇 design
  • 73 篇 languages
  • 32 篇 performance
  • 17 篇 verification
  • 16 篇 algorithms
  • 14 篇 reliability
  • 14 篇 probabilistic pr...
  • 13 篇 object oriented ...
  • 13 篇 program synthesi...
  • 13 篇 domain-specific ...
  • 13 篇 functional progr...
  • 11 篇 java
  • 10 篇 experimentation
  • 10 篇 programming lang...
  • 9 篇 type systems
  • 9 篇 theory
  • 9 篇 concurrency
  • 7 篇 compilers
  • 7 篇 optimization
  • 6 篇 modules

机构

  • 9 篇 carnegie mellon ...
  • 8 篇 purdue univ w la...
  • 6 篇 princeton univ p...
  • 5 篇 northeastern uni...
  • 5 篇 yale univ new ha...
  • 5 篇 harvard univ cam...
  • 5 篇 cornell univ ith...
  • 5 篇 univ washington ...
  • 5 篇 univ calif berke...
  • 4 篇 univ wisconsin m...
  • 4 篇 univ calif davis...
  • 4 篇 univ utah salt l...
  • 4 篇 univ penn philad...
  • 4 篇 rice univ housto...
  • 4 篇 univ chicago il ...
  • 4 篇 stanford univ st...
  • 4 篇 univ texas austi...
  • 3 篇 mit csail cambri...
  • 3 篇 univ cambridge c...
  • 3 篇 microsoft res re...

作者

  • 7 篇 walker david
  • 6 篇 foster nate
  • 5 篇 shao zhong
  • 5 篇 gulwani sumit
  • 5 篇 dillig isil
  • 4 篇 rainey mike
  • 4 篇 gu ronghui
  • 4 篇 rompf tiark
  • 4 篇 solar-lezama arm...
  • 4 篇 chaudhuri swarat
  • 4 篇 myers andrew c.
  • 4 篇 wansbrough keith
  • 3 篇 hirschfeld rober...
  • 3 篇 flatt matthew
  • 3 篇 rajamani sriram
  • 3 篇 seshia sanjit a.
  • 3 篇 rajan hridesh
  • 3 篇 huang jeff
  • 3 篇 liu yu david
  • 3 篇 vechev martin

语言

  • 283 篇 英文
  • 34 篇 其他
  • 1 篇 中文
检索条件"任意字段=37th ACM SIGPLAN Conference on Programming Language Design and Implementation"
318 条 记 录,以下是11-20 订阅
排序:
Temporal NetKAT  16
Temporal NetKAT
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Beckett, Ryan Greenberg, Michael Walker, David Princeton Univ Princeton NJ 08544 USA Pomona Coll Claremont CA 91711 USA
Over the past 5-10 years, the rise of software-defined networking (SDN) has inspired a wide range of new systems, libraries, hypervisors and languages for programming, monitoring, and debugging network behavior. Often... 详细信息
来源: 评论
Program Synthesis from Polymorphic Refinement Types  16
Program Synthesis from Polymorphic Refinement Types
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Polikarpova, Nadia Kuraj, Ivan Solar-Lezama, Armando MIT CSAIL Cambridge MA USA
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for prog... 详细信息
来源: 评论
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums  16
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Maleki, Sepideh Yang, Annie Burtscher, Martin Texas State Univ Dept Comp Sci San Marcos TX 78666 USA
Prefix sums are an important parallel primitive, especially in massively-parallel programs. this paper discusses two orthogonal generalizations thereof, which we call higher-order and tuple-based prefix sums. Moreover... 详细信息
来源: 评论
Event-Driven Network programming  16
Event-Driven Network Programming
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: McClurg, Jedidiah Hojjat, Hossein Foster, Nate Cerny, Pavol CU Boulder Boulder CO 80309 USA Cornell Univ Ithaca NY 14853 USA
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement ... 详细信息
来源: 评论
A Distributed OpenCL Framework using Redundant Computation and Data Replication  16
A Distributed OpenCL Framework using Redundant Computation a...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Kim, Junghyun Jo, Gangwon Jung, Jaehoon Kim, Jungwon Lee, Jaejin Seoul Natl Univ Ctr Manycore Programming Dept Comp Sci & Engn Seoul 08826 South Korea
Applications written solely in OpenCL or CUDA cannot execute on a cluster as a whole. Most previous approaches that extend these programming models to clusters are based on a common idea: designating a centralized hos... 详细信息
来源: 评论
GreenWeb: language Extensions for Energy-Efficient Mobile Web Computing  16
GreenWeb: Language Extensions for Energy-Efficient Mobile We...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Zhu, Yuhao Reddi, Vijay Janapa Univ Texas Austin Dept Elect & Comp Engn Austin TX 78712 USA
Web computing is gradually shifting toward mobile devices, in which the energy budget is severely constrained. As a result, Web developers must be conscious of energy efficiency. However, current Web languages provide... 详细信息
来源: 评论
Occurrence Typing Modulo theories  16
Occurrence Typing Modulo Theories
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Kent, Andrew M. Kempe, David Tobin-Hochstadt, Sam Indiana Univ Bloomington IN 47405 USA
We present a new type system combining occurrence typing- a technique previously used to type check programs in dynamically-typed languages such as Racket, Clojure, and JavaScript-with dependent refinement types. We d... 详细信息
来源: 评论
Latte: A language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks  16
Latte: A Language, Compiler, and Runtime for Elegant and Eff...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Truong, Leonard Barik, Rajkishore Totoni, Ehsan Liu, Hai Markley, Chick Fox, Armando Shpeisman, Tatiana Univ Calif Berkeley Intel Labs Berkeley CA USA Intel Labs Berkeley CA USA Univ Calif Berkeley Berkeley CA USA
Deep neural networks (DNNs) have undergone a surge in popularity with consistent advances in the state of the art for tasks including image recognition, natural language processing, and speech recognition. the computa... 详细信息
来源: 评论
Proactive and Adaptive Energy-Aware programming with Mixed Typechecking  2017
Proactive and Adaptive Energy-Aware Programming with Mixed T...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Canino, Anthony Liu, Yu David SUNY Binghamton Binghamton NY 13902 USA
Application-level energy management is an important dimension of energy optimization. In this paper, we introduce ENT, a novel programming language for enabling proactive and adaptive mode-based energy management at t... 详细信息
来源: 评论
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-Place Array Updates  2017
Futhark: Purely Functional GPU-Programming with Nested Paral...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Henriksen, Troels Serup, Niels G. W. Elsman, Martin Henglein, Fritz Oancea, Cosmin E. Univ Copenhagen DIKU Dept Comp Sci Copenhagen Denmark
Futhark is a purely functional data-parallel array language that offers a machine-neutral programming model and an optimising compiler that generates OpenCL code for GPUs. this paper presents the design and implementa... 详细信息
来源: 评论