咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
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... 详细信息
来源: 评论
A Lightweight Symbolic Virtual Machine for Solver-Aided Host languages  14
A Lightweight Symbolic Virtual Machine for Solver-Aided Host...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Torlak, Emina Bodik, Rastislav Univ Calif Berkeley Berkeley CA 94608 USA
Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided programming systems. they ease the construction of programs by using satisfiability solvers to automate tasks such as verification... 详细信息
来源: 评论
Globally Precise-restartable Execution of Parallel Programs  14
Globally Precise-restartable Execution of Parallel Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Gupta, Gagan Sridharan, Srinath Sohi, Gurindar S. Univ Wisconsin Madison WI 53706 USA
Emerging trends in computer design and use are likely to make exceptions, once rare, the norm, especially as the system size grows. Due to exceptions, arising from hardware faults, approximate computing, dynamic resou... 详细信息
来源: 评论
DOPPIO: Breaking the Browser language Barrier  14
DOPPIO: Breaking the Browser Language Barrier
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Vilk, John Berger, Emery D. Univ Massachusetts Sch Comp Sci Amherst MA 01003 USA
Web browsers have become a de facto universal operating system, and JavaScript its instruction set. Unfortunately, running other languages in the browser is not generally possible. Translation to JavaScript is not eno... 详细信息
来源: 评论
Improving JavaScript Performance by Deconstructing the Type System  14
Improving JavaScript Performance by Deconstructing the Type ...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Ahn, Wonsun Choi, Jiho Shull, thomas Garzaran, Maria J. Torrellas, Josep Univ Illinois Champaign IL 61820 USA
Increased focus on Java Script performance has resulted in vast performance improvements for many benchmarks. However, for actual code used in websites, the attained improvements often lag far behind those for popular... 详细信息
来源: 评论
Test-Driven Synthesis  14
Test-Driven Synthesis
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Perelman, Daniel Gulwani, Sumit Grossman, Dan Provost, Peter Univ Washington Seattle WA 98195 USA Microsoft Corp Mountain View CA USA
programming-by-example technologies empower end-users to create simple programs merely by providing input/output examples. Existing systems are designed around solvers specialized for a specific set of data types or d... 详细信息
来源: 评论
Expressing and Verifying Probabilistic Assertions  14
Expressing and Verifying Probabilistic Assertions
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Sampson, Adrian Panchekha, Pavel Mytkowicz, Todd McKinley, Kathryn S. Grossman, Dan Ceze, Luis Univ Washington Seattle WA 98195 USA
Traditional assertions express correctness properties that must hold on every program execution. However, many applications have probabilistic outcomes and consequently their correctness properties are also probabilis... 详细信息
来源: 评论
Slicing Probabilistic Programs  14
Slicing Probabilistic Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Hur, Chung-Kil Nori, Aditya V. Rajamani, Sriram K. Samuel, Selva Seoul Natl Univ Seoul 151 South Korea
Probabilistic programs use familiar notation of programming languages to specify probabilistic models. Suppose we are interested in estimating the distribution of the return expression r of a probabilistic program P. ... 详细信息
来源: 评论
Maximal Sound Predictive Race Detection with Control Flow Abstraction  14
Maximal Sound Predictive Race Detection with Control Flow Ab...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Huang, Jeff Meredith, Patrick O'Neil Rosu, Grigore Univ Illinois Dept Comp Sci Urbana IL 61801 USA
Despite the numerous static and dynamic program analysis techniques in the literature, data races remain one of the most common bugs in modern concurrent software. Further, the techniques that do exist either have lim... 详细信息
来源: 评论
Surgical Precision JIT Compilers  14
Surgical Precision JIT Compilers
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Rompf, Tiark Sujeeth, Arvind K. Brown, Kevin J. Lee, HyoukJoong Chafi, Hassan Olukotun, Kunle EPFL Zurich Switzerland Stanford Univ Stanford CA 94305 USA
Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Googl... 详细信息
来源: 评论