咨询与建议

限定检索结果

文献类型

  • 26 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 21 篇 工学
    • 21 篇 软件工程
    • 1 篇 计算机科学与技术...

主题

  • 11 篇 design
  • 10 篇 languages
  • 6 篇 performance
  • 4 篇 algorithms
  • 3 篇 experimentation
  • 3 篇 reliability
  • 2 篇 scripting langua...
  • 2 篇 program synthesi...
  • 2 篇 type systems
  • 2 篇 probabilistic pr...
  • 2 篇 end-user program...
  • 2 篇 measurement
  • 2 篇 programming lang...
  • 2 篇 concurrency
  • 1 篇 deterministic mu...
  • 1 篇 separation
  • 1 篇 macros
  • 1 篇 precise exceptio...
  • 1 篇 symbolic virtual...
  • 1 篇 fast

机构

  • 2 篇 univ wisconsin m...
  • 2 篇 stanford univ st...
  • 2 篇 univ washington ...
  • 1 篇 epfl
  • 1 篇 natl taipei univ...
  • 1 篇 univ massachuset...
  • 1 篇 technion haifa
  • 1 篇 university of co...
  • 1 篇 ufrj rio de jane...
  • 1 篇 acad sinica taiw...
  • 1 篇 univ calif davis...
  • 1 篇 swiss fed inst t...
  • 1 篇 beijing inst tec...
  • 1 篇 puc-rio rio de j...
  • 1 篇 microsoft corp m...
  • 1 篇 chinese acad sci...
  • 1 篇 univ calif berke...
  • 1 篇 microsoft resear...
  • 1 篇 rice univ dept c...
  • 1 篇 cornell univ ith...

作者

  • 2 篇 gupta gagan
  • 2 篇 grossman dan
  • 2 篇 gulwani sumit
  • 2 篇 sohi gurindar s.
  • 2 篇 sridharan srinat...
  • 1 篇 mascarenhas fabi...
  • 1 篇 mckinley kathryn...
  • 1 篇 shull thomas
  • 1 篇 yahav eran
  • 1 篇 garzaran maria j...
  • 1 篇 vilk john
  • 1 篇 maidl andré murb...
  • 1 篇 sujeeth arvind k...
  • 1 篇 choi jiho
  • 1 篇 devito zachary
  • 1 篇 li yong
  • 1 篇 ceze luis
  • 1 篇 rajamani sriram ...
  • 1 篇 paulo marques
  • 1 篇 aiken alex

语言

  • 26 篇 英文
检索条件"任意字段=35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014"
26 条 记 录,以下是1-10 订阅
排序:
Memory Systems Performance and Correctness, MSPC 2014 - In Conjunction with the 35th acm sigplan conference on programming language design and implementation, pldi 2014
Memory Systems Performance and Correctness, MSPC 2014 - In C...
收藏 引用
2014 Workshop on Memory Systems Performance and Correctness, MSPC 2014 - In Conjunction with the 35th acm sigplan conference on programming language design and implementation, pldi 2014
the proceedings contain 9 papers. the topics discussed include: a study of connected object locality in NUMA heaps;affinity-based hash tables;feedback directed optimization of TCMalloc;main memory and cache performanc...
来源: 评论
pldi 2014 - Proceedings of the 2014 acm sigplan conference on programming language design and implementation
PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference o...
收藏 引用
35th acm sigplan conference on programming language design and implementation, pldi 2014
the proceedings contain 56 papers. the topics discussed include: test-driven repair of data races in structured parallel programs;atomicity refinement for verified compilation;herding cats: modeling, simulation, testi...
来源: 评论
Resugaring: Lifting Evaluation Sequences through Syntactic Sugar  14
Resugaring: Lifting Evaluation Sequences through Syntactic S...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Pombrio, Justin Krishnamurthi, Shriram Brown Univ Providence RI 02912 USA
Syntactic sugar is pervasive in language technology. It is used to shrink the size of a core language;to define domain-specific languages;and even to let programmers extend their language. Unfortunately, syntactic sug... 详细信息
来源: 评论
Code Completion with Statistical language Models  14
Code Completion with Statistical Language Models
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Raychev, Veselin Vechev, Martin Yahav, Eran Swiss Fed Inst Technol Zurich Switzerland Technion Haifa Israel
We address the problem of synthesizing code completions for programs using APIs. Given a program with holes, we synthesize completions for holes with the most likely sequences of method calls. Our main idea is to redu... 详细信息
来源: 评论
Getting F-Bounded Polymorphism into Shape  14
Getting F-Bounded Polymorphism into Shape
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Greenman, Ben Muehlboeck, Fabian Tate, Ross Cornell Univ Ithaca NY 14853 USA
We present a way to restrict recursive inheritance without sacrificing the benefits of F-bounded polymorphism. In particular, we distinguish two new concepts, materials and shapes, and demonstrate through a survey of ... 详细信息
来源: 评论
First-class Runtime Generation of High-performance Types using Exotypes  14
First-class Runtime Generation of High-performance Types usi...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: DeVito, Zachary Ritchie, Daniel Fisher, Matt Aiken, Alex Hanrahan, Pat Stanford Univ Stanford CA 94305 USA
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dynamic languages, ex... 详细信息
来源: 评论
FlashExtract: A Framework for Data Extraction by Examples  14
FlashExtract: A Framework for Data Extraction by Examples
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Le, Vu Gulwani, Sumit Univ Calif Davis Davis CA 95616 USA Microsoft Res Redmond Redmond WA USA
Various document types that combine model and view (e. g., text files, webpages, spreadsheets) make it easy to organize (possibly hierarchical) data, but make it difficult to extract raw data for any further manipulat... 详细信息
来源: 评论
What exactly is inexact computation good for?
What exactly is inexact computation good for?
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Palem, Krishna Rice Univ Dept Comp Sci Houston TX 77251 USA
Our willingness to deliberately trade accuracy of computing systems for significant resource savings, notably energy consumption, got a boost from two directions. First, energy (or power, the more popularly used measu... 详细信息
来源: 评论
FAST: a Transducer-Based language for Tree Manipulation  14
FAST: a Transducer-Based Language for Tree Manipulation
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: D'Antoni, Loris Veanes, Margus Livshits, Benjamin Molnar, David Univ Penn Philadelphia PA 19104 USA
Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking. While these formalisms are of immense practical use, they can only mo... 详细信息
来源: 评论
Adaptive, Efficient, Parallel Execution of Parallel Programs  14
Adaptive, Efficient, Parallel Execution of Parallel Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Sridharan, Srinath Gupta, Gagan Sohi, Gurindar S. Univ Wisconsin Madison WI 53706 USA
Future multicore processors will be heterogeneous, be increasingly less reliable, and operate in dynamically changing operating conditions. Such environments will result in a constantly varying pool of hardware resour... 详细信息
来源: 评论