咨询与建议

限定检索结果

文献类型

  • 250 篇 会议
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 210 篇 工学
    • 202 篇 软件工程
    • 92 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 3 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 生物工程
  • 7 篇 理学
    • 6 篇 数学
    • 1 篇 生物学
  • 5 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 49 篇 design
  • 40 篇 languages
  • 22 篇 performance
  • 15 篇 algorithms
  • 14 篇 probabilistic pr...
  • 12 篇 verification
  • 12 篇 functional progr...
  • 11 篇 program synthesi...
  • 10 篇 object oriented ...
  • 10 篇 reliability
  • 10 篇 concurrency
  • 9 篇 experimentation
  • 9 篇 programming lang...
  • 8 篇 type systems
  • 8 篇 domain-specific ...
  • 7 篇 java
  • 6 篇 optimization
  • 6 篇 theory
  • 5 篇 compilers
  • 5 篇 metaprogramming

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 6 篇 harvard univ cam...
  • 5 篇 univ penn philad...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 stanford univ st...
  • 4 篇 univ washington ...
  • 3 篇 microsoft res re...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit cambridge ma...
  • 3 篇 yale univ new ha...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 microsoft corp r...
  • 2 篇 oracle labs pots...

作者

  • 5 篇 foster nate
  • 5 篇 gulwani sumit
  • 5 篇 walker david
  • 4 篇 dillig isil
  • 3 篇 ahmed amal
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 shao zhong
  • 3 篇 tobin-hochstadt ...
  • 3 篇 su zhendong
  • 3 篇 chaudhuri swarat
  • 3 篇 felleisen matthi...
  • 3 篇 myers andrew c.
  • 3 篇 zhang xiangyu
  • 3 篇 acar umut a.
  • 3 篇 mansinghka vikas...
  • 2 篇 hirschfeld rober...
  • 2 篇 flatt matthew
  • 2 篇 gupta gagan
  • 2 篇 shull thomas

语言

  • 251 篇 英文
  • 3 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"
255 条 记 录,以下是31-40 订阅
排序:
Developing a Monadic Type Checker for an Object-Oriented language: An Experience Report  12
Developing a Monadic Type Checker for an Object-Oriented Lan...
收藏 引用
12th acm sigplan International conference on Software language Engineering (SLE)
作者: Castegren, Elias Fernandez-Reyes, Kiko KTH Royal Inst Technol Software & Comp Syst Stockholm Sweden Uppsala Univ Informat Technol Uppsala Sweden
Functional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. Functional abstractions, such as monads, allow a... 详细信息
来源: 评论
Reusable Inline Caching for JavaScript Performance  2019
Reusable Inline Caching for JavaScript Performance
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Choi, Jiho Shull, thomas Torrellas, Josep Univ Illinois Champaign IL 61820 USA
JavaScript performance is paramount to a user's browsing experience. Browser vendors have gone to great lengths to improve JavaScript's steady-state performance. this has led to sophisticated web applications.... 详细信息
来源: 评论
An Applied Quantum Hoare Logic  2019
An Applied Quantum Hoare Logic
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Zhou, Li Yu, Nengkun Ying, Mingsheng Tsinghua Univ Dept Comp Sci & Technol Beijing Peoples R China Univ Technol Sydney CQSI FEIT Sydney NSW Australia Chinese Acad Sci Inst Software Beijing Peoples R China Tsinghua Univ Beijing Peoples R China
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: (1) restricting QHL to a special class of preconditions and postconditions, namely projections, which can sign... 详细信息
来源: 评论
SCENIC: A language for Scenario Specification and Scene Generation  2019
SCENIC: A Language for Scenario Specification and Scene Gene...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Fremont, Daniel J. Dreossi, Tommaso Ghosh, Shromona Yue, Xiangyu Sangiovanni-Vincentelli, Alberto L. Seshia, Sanjit A. Univ Calif Berkeley Berkeley CA 94720 USA
We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the problems of training a perception system... 详细信息
来源: 评论
Genie: A Generator of Natural language Semantic Parsers for Virtual Assistant Commands  2019
Genie: A Generator of Natural Language Semantic Parsers for ...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Campagna, Giovanni Xu, Silei Moradshahi, Mehrad Socher, Richard Lam, Monica S. Stanford Univ Dept Comp Sci Stanford CA 94305 USA Salesforce Inc Palo Alto CA USA
To understand diverse natural language commands, virtual assistants today are trained with numerous labor-intensive, manually annotated sentences. this paper presents a methodology and the Genie toolkit that can handl... 详细信息
来源: 评论
Efficient Late Binding of Dynamic Function Compositions  12
Efficient Late Binding of Dynamic Function Compositions
收藏 引用
12th acm sigplan International conference on Software language Engineering (SLE)
作者: Schuetze, Lars Castrillon, Jeronimo Tech Univ Dresden Chair Compiler Construct Dresden Germany
Adaptive software becomes more and more important as computing is increasingly context-dependent. Runtime adaptability can be achieved by dynamically selecting and applying context-specific code. Role-oriented program... 详细信息
来源: 评论
LoCal: A language for Programs Operating on Serialized Data  2019
LoCal: A Language for Programs Operating on Serialized Data
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Vollmer, Michael Koparkar, Chaitanya Rainey, Mike Sakka, Laith Kulkarni, Milind Newton, Ryan R. Indiana Univ Comp Sci Bloomington IN 47405 USA Purdue Univ Elect & Comp Engn W Lafayette IN 47907 USA
In a typical data-processing program, the representation of data in memory is distinct from its representation in a serialized form on disk. the former has pointers and arbitrary, sparse layout, facilitating easy mani... 详细信息
来源: 评论
FaCT: A DSL for Timing-Sensitive Computation  2019
FaCT: A DSL for Timing-Sensitive Computation
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Cauligi, Sunjay Soeller, Gary Johannesmeyer, Brian Brown, Fraser Wahby, Riad S. Renner, John Gregoire, Benjamin Barthe, Gilles Jhala, Ranjit Stefan, Deian Univ Calif San Diego La Jolla CA 92093 USA INRIA Sophia Antipolis Biot France MPI Secur & Privacy Saarbrucken Germany IMDEA Software Inst Madrid Spain
Real-world cryptographic code is often written in a subset of C intended to execute in constant-time, thereby avoiding timing side channel vulnerabilities. this C subset eschews structured programming as we know it: i... 详细信息
来源: 评论
DBPL 2019 - proceedings of the 17th acm sigplan International Symposium on Database programming languages, co-located with PLDI 2019
DBPL 2019 - Proceedings of the 17th ACM SIGPLAN Internationa...
收藏 引用
17th acm sigplan International Symposium on Database programming languages, DBPL 2019, co-located with PLDI 2019
the proceedings contain 8 papers. the topics discussed include: fluid data structures;detecting unsatisfiable CSS rules in the presence of DTDs;towards compiling graph queries in relational engines;streaming saturatio...
来源: 评论
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices  2019
Compiling KB-Sized Machine Learning Models to Tiny IoT Devic...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Gopinath, Sridhar Ghanathe, Nikhil Seshadri, Vivek Sharma, Rahul Microsoft Res Bengaluru India
Recent advances in machine learning (ML) have produced KiloByte-size models that can directly run on constrained IoT devices. this approach avoids expensive communication between IoT devices and the cloud, thereby ena... 详细信息
来源: 评论