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