Principles of Programming Languages (POPL) 2015

编程语言原理 (POPL) 2015

基本信息

  • 批准号:
    1451760
  • 负责人:
  • 金额:
    $ 2.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2014
  • 资助国家:
    美国
  • 起止时间:
    2014-09-01 至 2015-05-31
  • 项目状态:
    已结题

项目摘要

Title: Student Travel Support for 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2015This award will support student travel to the 2015 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). The conference will be held in Mumbai, India, in January 2015. POPL is a forum for the discussion of leading work on all aspects of programming languages and programming systems. The conference has a rich tradition of supporting ideas that have made enduring contributions to the theory, design, implementation or application of programming languages. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. The broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will have the opportunity to learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise.
职务名称:2015年第42届ACM SIGPLAN-SIGACT程序设计语言原理研讨会(POPL)的学生旅行支持该奖项将支持学生参加2015年ACM SIGPLAN-SIGACT程序设计语言原理研讨会(POPL)。会议将于2015年1月在印度孟买举行。POPL是一个讨论编程语言和编程系统各方面领先工作的论坛。该会议有着丰富的传统,支持对编程语言的理论,设计,实现或应用做出持久贡献的想法。支持学生旅行参加专业会议和研讨会是NSF的一项非常重要的使命。更广泛的意义和重要性包括培养这一研究领域的下一代研究人员,以及提供国际经验,以建立一个具有全球意识的劳动力。特别是,学生将有机会学习最先进的方法,接触新技术,并与他们的专业领域的高级研究人员互动。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Ruzica Piskac其他文献

Ruzica Piskac的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Ruzica Piskac', 18)}}的其他基金

Collaborative Research: FMitF: Track I: Automating and Synthesizing Parallel Zero-Knowledge Protocols
合作研究:FMitF:第一轨:自动化和综合并行零知识协议
  • 批准号:
    2318974
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations
合作研究:FMitF:第一轨:数据库查询转换的自动发现和验证
  • 批准号:
    2219995
  • 财政年份:
    2022
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
DASS: Accountability from Attention, not Assumption
DASS:责任源于注意力,而非假设
  • 批准号:
    2131476
  • 财政年份:
    2021
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Student Travel Support for Verification, Model Checking, and Abstract Interpretation (VMCAI) Winter School 2020
验证、模型检查和摘要解释 (VMCAI) 2020 年冬季学校学生旅行支持
  • 批准号:
    2004561
  • 财政年份:
    2020
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: FRP for Real
SHF:媒介:协作研究:FRP for Real
  • 批准号:
    1758077
  • 财政年份:
    2017
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
SHF: Small: ConfigV: Automated Verification of Configuration Files
SHF:小:ConfigV:配置文件自动验证
  • 批准号:
    1715387
  • 财政年份:
    2017
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: New Protocols and Systems for RAM-Based Secure Computation
TWC:媒介:协作:基于 RAM 的安全计算的新协议和系统
  • 批准号:
    1562888
  • 财政年份:
    2016
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Student Travel Support for SAT/SMT/AR Summer School at IJCAR 2016
2016 年 IJCAR SAT/SMT/AR 暑期学校学生旅行支持
  • 批准号:
    1636493
  • 财政年份:
    2016
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
TWC:大型:协作:可验证的硬件:证明自身正确性的芯片
  • 批准号:
    1565208
  • 财政年份:
    2016
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Continuing Grant
CAREER: Synthesis in a Live Programming Environment
职业:实时编程环境中的综合
  • 批准号:
    1553168
  • 财政年份:
    2016
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Continuing Grant

相似海外基金

Conference: Midwest Programming Languages Summits 2023, 2024, 2025
会议:2023、2024、2025 年中西部编程语言峰会
  • 批准号:
    2330888
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
REU Site: Research Experience for undergraduates in Programming Languages (REPL)
REU 网站:编程语言本科生研究经验 (REPL)
  • 批准号:
    2244494
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Travel: Student Travel for the Programming Languages Mentoring Workshop (PLMW) at the International Conference on Functional Programming (ICFP)
旅行:参加国际函数式编程会议 (ICFP) 编程语言指导研讨会 (PLMW) 的学生旅行
  • 批准号:
    2328059
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金,用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会,2023-2025 年
  • 批准号:
    2310964
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2023 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2023 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2311257
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
旅行:2023 年俄勒冈编程语言暑期学校:类型、语义和逻辑
  • 批准号:
    2329771
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Theory and Application for Robust and High-Performance Systems Programming Languages
鲁棒高性能系统编程语言的理论与应用
  • 批准号:
    22KJ0561
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026
旅行:2024-2026 年 ACM SIGPLAN 编程语言原理研讨会编程语言指导研讨会的 NSF 学生旅行补助金
  • 批准号:
    2334703
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2024 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2327889
  • 财政年份:
    2023
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Semantics and Implementation of Probabilistic Programming Languages
概率编程语言的语义和实现
  • 批准号:
    RGPIN-2021-02734
  • 财政年份:
    2022
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了