咨询与建议

限定检索结果

文献类型

  • 69 篇 会议
  • 1 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 59 篇 工学
    • 57 篇 软件工程
    • 48 篇 计算机科学与技术...
    • 4 篇 控制科学与工程
    • 3 篇 信息与通信工程
    • 1 篇 光学工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 11 篇 理学
    • 8 篇 数学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 5 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 5 篇 design
  • 3 篇 program synthesi...
  • 3 篇 languages
  • 3 篇 probabilistic pr...
  • 3 篇 software design
  • 3 篇 java programming...
  • 3 篇 programming by e...
  • 3 篇 programming lang...
  • 2 篇 object oriented ...
  • 2 篇 experimentation
  • 2 篇 performance
  • 2 篇 compilers
  • 2 篇 modules
  • 2 篇 intel ixa
  • 2 篇 parallel program...
  • 2 篇 java
  • 2 篇 register allocat...
  • 2 篇 bank assignment
  • 2 篇 composition
  • 2 篇 end-user program...

机构

  • 3 篇 univ michigan an...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ penn philad...
  • 2 篇 university of to...
  • 2 篇 kyushu institute...
  • 2 篇 kyushu universit...
  • 2 篇 univ chicago il ...
  • 2 篇 univ calif santa...
  • 2 篇 univ texas austi...
  • 1 篇 programming tool...
  • 1 篇 google ca united...
  • 1 篇 univ wisconsin d...
  • 1 篇 univ southern ca...
  • 1 篇 mpi sws saarbruc...
  • 1 篇 univ wisconsin m...
  • 1 篇 radboud univ nij...
  • 1 篇 network speed te...
  • 1 篇 institute for co...
  • 1 篇 university of ma...
  • 1 篇 university of tw...

作者

  • 2 篇 wang xinyu
  • 2 篇 sherwood timothy
  • 2 篇 fursin grigori
  • 2 篇 chong frederic t...
  • 2 篇 alur rajeev
  • 2 篇 hardekopf ben
  • 2 篇 dillig isil
  • 1 篇 milano matthew
  • 1 篇 blinn andrew
  • 1 篇 tao runzhou
  • 1 篇 kashyap vineeth
  • 1 篇 pailoor shankara
  • 1 篇 campagna giovann...
  • 1 篇 fedorova alexand...
  • 1 篇 collins nick
  • 1 篇 sewe andreas
  • 1 篇 lerner sorin
  • 1 篇 best micah j.
  • 1 篇 f.r.m. barnes
  • 1 篇 ekman torbjorn

语言

  • 71 篇 英文
检索条件"任意字段=Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"
71 条 记 录,以下是21-30 订阅
排序:
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations  2021
Scooter & Sidecar: A Domain-Specific Approach to Writing Sec...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Renner, John Sanchez-Stern, Alex Brown, Fraser Lerner, Sorin Stefan, Deian Univ Calif San Diego La Jolla CA 92093 USA
Web applications often handle large amounts of sensitive user data. Modern secure web frameworks protect this data by (1) using declarative languages to specify security policies alongside database schemas and (2) aut... 详细信息
来源: 评论
AARTS: Low overhead online adaptive auto-tuning  11
AARTS: Low overhead online adaptive auto-tuning
收藏 引用
1st acm sigplan International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, Exadapt 2011 - Co-located with 32nd acm sigplan conference on programming language design and implementation, PLDI 2011 at FCRC 2011
作者: Teodoro, George Sussman, Alan Department of Computer Science University of Maryland College Park MD 20742 United States
We present an online lightweight auto-tuning system for shared-memory parallel programs. We employ an online adaptive tuning algorithm that is based on performance measurements, to adapt to performance variability tha... 详细信息
来源: 评论
language-independent sandboxing of just-in-time compilation and self-modifying code  11
Language-independent sandboxing of just-in-time compilation ...
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Ansel, Jason Marchenko, Petr Erlingsson, Ulfar Taylor, Elijah Chen, Brad Schuff, Derek L. Sehr, David Biffle, Cliff L. Yee, Bennet Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology United States University College London United Kingdom Google Inc. United States
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such specially-designed languages, it is di... 详细信息
来源: 评论
A simple typed intermediate language for object-oriented languages  05
A simple typed intermediate language for object-oriented lan...
收藏 引用
POPL 2005: The 32nd acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Chen, Juan Tarditi, David Microsoft Research One Microsoft Way Redmond WA 98052 United States
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermediate language for compiling object-orien... 详细信息
来源: 评论
Reticle: A Virtual Machine for programming Modern FPGAs  2021
Reticle: A Virtual Machine for Programming Modern FPGAs
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Vega, Luis McMahan, Joseph Sampson, Adrian Grossman, Dan Ceze, Luis Univ Washington Seattle WA 98195 USA Cornell Univ Ithaca NY 14853 USA
Modern field-programmable gate arrays (FPGAs) have recently powered high-profile efficiency gains in systems from datacenters to embedded devices by offering ensembles of heterogeneous, reconfigurable hardware units. ... 详细信息
来源: 评论
Web Question Answering with Neurosymbolic Program Synthesis  2021
Web Question Answering with Neurosymbolic Program Synthesis
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Chen, Qiaochu Lamoreaux, Aaron Wang, Xinyu Durrett, Greg Bastani, Osbert Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Michigan Ann Arbor MI 48109 USA Univ Penn Philadelphia PA 19104 USA
In this paper, we propose a new technique based on program synthesis for extracting information from webpages. Given a natural language query and a few labeled webpages, our method synthesizes a program that can be us... 详细信息
来源: 评论
Sound Probabilistic Inference via Guide Types  2021
Sound Probabilistic Inference via Guide Types
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Wang, Di Hoffmann, Jan Reps, Thomas Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Wisconsin Madison WI 53706 USA
Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize inference algorithms by incorporating ... 详细信息
来源: 评论
MixT: A language for Mixing Consistency in Geodistributed Transactions  2018
MixT: A Language for Mixing Consistency in Geodistributed Tr...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Milano, Matthew Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
programming concurrent, distributed systems is hard-especially when these systems mutate shared, persistent state replicated at geographic scale. To enable high availability and scalability, a new class of weakly cons... 详细信息
来源: 评论
Archface: A contract place where architectural design and code meet together  10
Archface: A contract place where architectural design and co...
收藏 引用
32nd acm/IEEE International conference on Software Engineering, ICSE 2010
作者: Ubayashi, Naoyasu Nomura, Jun Tamai, Tetsuo Kyushu University Fukuoka Japan Kyushu Institute of Technology Fukuoka Japan University of Tokyo Tokyo Japan
This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation. Archface, which encapsulates design essence based on the component-and-connector architect... 详细信息
来源: 评论
Strongtalk: Typechecking smalltalk in a production environment  8
Strongtalk: Typechecking smalltalk in a production environme...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Bracha, Gilad Griswold, David Horizon Technologies of New York Inc. 38 W. 32nd St. New YorkNY10001 United States
Strongtalk™ is a typechecker for a downwardcompatible Smalltalk dialect. It is designed for large-scale production software development, and incorporates a strong, modem structural type system. It not only separates t... 详细信息
来源: 评论