咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
signatr: A Data-Driven Fuzzing Tool for R  15
signatr: A Data-Driven Fuzzing Tool for R
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Turcotte, Alexi Donat-Bouillud, Pierre Krikava, Filip Vitek, Jan Northeastern Univ Boston MA 02115 USA Czech Tech Univ Prague Czech Republic
the fast-and-loose, permissive semantics of dynamic programming languages limit the power of static analyses. For that reason, soundness is often traded for precision through dynamic program analysis. Dynamic analysis... 详细信息
来源: 评论
Multi-language static code analysis on the LARA framework  10
Multi-language static code analysis on the LARA framework
收藏 引用
10th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2021, co-located with the 42nd acm sigplan International conference on programming language design and implementation, PLDI 2021
作者: Teixeira, Gil Bispo, João Correia, Filipe F. Faculty of Engineering University of Porto Porto Portugal Faculty of Engineering University of Porto Inesc Tec Porto Portugal
We propose a mechanism to raise the abstraction level of source-code analysis and robustly support multiple languages. Built on top of the LARA framework, it allows sharing language specifications between LARA source-... 详细信息
来源: 评论
SOAP 2019 - proceedings of the 8th acm sigplan International Workshop on State of the Art in Program Analysis, co-located with PLDI 2019
SOAP 2019 - Proceedings of the 8th ACM SIGPLAN International...
收藏 引用
8th acm sigplan International Workshop on State Of the Art in Program Analysis, SOAP 2019, co-located with PLDI 2019
the proceedings contain 7 papers. the topics discussed include: fixpoint reuse for incremental JavaScript analysis;know your analysis: how instrumentation aids understanding static analysis;SootDiff: bytecode comparis...
来源: 评论
Forest: A language and Toolkit for programming with Filestores  11
Forest: A Language and Toolkit for Programming with Filestor...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Fisher, Kathleen Foster, Nate Walker, David Zhu, Kenny Q. Tufts Univ Medford MA 02155 USA
A filestore is a structured collection of data files housed in a conventional hierarchical file system. Many applications use filestores as a poor-man's database, and the correct execution of these applications re... 详细信息
来源: 评论
iCoLa: A Compositional Meta-language with Support for Incremental language Development  15
iCoLa: A Compositional Meta-language with Support for Increm...
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Frolich, Damian van Binsbergen, L. thomas Univ Amsterdam Informat Inst Amsterdam Netherlands
programming languages providing high-level abstractions can increase a programmers' productivity and the safety of a program. language-oriented programming is a paradigm in which domain-specific languages are deve... 详细信息
来源: 评论
ARRAY 2019 - proceedings of the 6th acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, co-located with PLDI 2019
ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN Internationa...
收藏 引用
6th acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2019, co-located with PLDI 2019
the proceedings contain 9 papers. the topics discussed include: finite difference methods fengshui: alignment through a mathematics of arrays;data-parallel flattening by expansion;ALPyNA: acceleration of loops in pyth...
来源: 评论
A design and Verification Methodology for Secure Isolated Regions  16
A Design and Verification Methodology for Secure Isolated Re...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Sinha, Rohit Costa, Manuel Lal, Akash Lopes, Nuno P. Rajamani, Sriram Seshia, Sanjit A. Vaswani, Kapil Univ Calif Berkeley Berkeley CA 94720 USA Microsoft Res London England Microsoft Res Bengaluru Karnataka India
Hardware support for isolated execution (such as Intel SGX) enables development of applications that keep their code and data confidential even while running on a hostile or compromised host. However, automatically ve... 详细信息
来源: 评论
SOAP 2020 - proceedings of the 9th acm sigplan International Workshop on the State of the Art in Program Analysis, co-located with PLDI 2020
SOAP 2020 - Proceedings of the 9th ACM SIGPLAN International...
收藏 引用
9th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st acm sigplan conference on programming language design and implementation, PLDI 2020
the proceedings contain 3 papers. the topics discussed include: formal reasoning and the hacker way;TACAI: an intermediate representation based on abstract interpretation;value and allocation sensitivity in static pyt...
来源: 评论
design and evaluation of a compiler for embedded stream programs  08
Design and evaluation of a compiler for embedded stream prog...
收藏 引用
conference on languages, Compilers and Tools for Embedded Systems
作者: Newton, Ryan R. Girod, Lewis D. Craig, Michael B. Madden, Samuel R. Morrisett, J. Greg MIT CSAIL Cambridge MA 02139 USA Harvard Univ Cambridge MA 02138 USA
Applications that combine live data streams with embedded, parallel, and distributed processing are becoming more commonplace. WaveScript is a domain-specific language that brings high-level, type-safe, garbage-collec... 详细信息
来源: 评论
End-to-End Verification of Information-Flow Security for C and Assembly Programs  16
End-to-End Verification of Information-Flow Security for C a...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Costanzo, David Shao, Zhong Gu, Ronghui Yale Univ New Haven CT 06520 USA
Protecting the confidentiality of information manipulated by a computing system is one of the most important challenges facing today's cybersecurity community. A promising step toward conquering this challenge is ... 详细信息
来源: 评论