Principles of Programming Languages (POPL) 2015
Principles of Programming Languages (POPL) 2015
批准号:
1451760
负责人:
Ruzica Piskac
金额:
$2.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-09-01 至 2015-05-31
中文摘要
职务名称:2015年第42届ACM SIGPLAN-SIGACT程序设计语言原理研讨会(POPL)的学生旅行支持该奖项将支持学生参加2015年ACM SIGPLAN-SIGACT程序设计语言原理研讨会(POPL)。会议将于2015年1月在印度孟买举行。POPL是一个讨论编程语言和编程系统各方面领先工作的论坛。该会议有着丰富的传统,支持对编程语言的理论,设计,实现或应用做出持久贡献的想法。支持学生旅行参加专业会议和研讨会是NSF的一项非常重要的使命。更广泛的意义和重要性包括培养这一研究领域的下一代研究人员,以及提供国际经验,以建立一个具有全球意识的劳动力。特别是,学生将有机会学习最先进的方法,接触新技术,并与他们的专业领域的高级研究人员互动。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: Automating and Synthesizing Parallel Zero-Knowledge Protocols
-
批准号:2318974
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2023
-
负责人:Ruzica Piskac
-
依托单位:
Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations
-
批准号:2219995
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2022
-
负责人:Ruzica Piskac
-
依托单位:
DASS: Accountability from Attention, not Assumption
-
批准号:2131476
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2021
-
负责人:Ruzica Piskac
-
依托单位:
Student Travel Support for Verification, Model Checking, and Abstract Interpretation (VMCAI) Winter School 2020
-
批准号:2004561
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2020
-
负责人:Ruzica Piskac
-
依托单位:
SHF: Medium: Collaborative Research: FRP for Real
-
批准号:1758077
-
项目类别:Standard Grant
-
资助金额:$2.77万
-
财政年份:2017
-
负责人:Ruzica Piskac
-
依托单位:
SHF: Small: ConfigV: Automated Verification of Configuration Files
-
批准号:1715387
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2017
-
负责人:Ruzica Piskac
-
依托单位:
TWC: Medium: Collaborative: New Protocols and Systems for RAM-Based Secure Computation
-
批准号:1562888
-
项目类别:Standard Grant
-
资助金额:$36.48万
-
财政年份:2016
-
负责人:Ruzica Piskac
-
依托单位:
Student Travel Support for SAT/SMT/AR Summer School at IJCAR 2016
-
批准号:1636493
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2016
-
负责人:Ruzica Piskac
-
依托单位:
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
-
批准号:1565208
-
项目类别:Continuing Grant
-
资助金额:$54.0万
-
财政年份:2016
-
负责人:Ruzica Piskac
-
依托单位:
CAREER: Synthesis in a Live Programming Environment
-
批准号:1553168
-
项目类别:Continuing Grant
-
资助金额:$46.33万
-
财政年份:2016
-
负责人:Ruzica Piskac
-
依托单位:
Student Travel Support for VMCAI 2015
-
批准号:1515943
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2014
-
负责人:Ruzica Piskac
-
依托单位:
SHF: Medium: Collaborative Research: FRP for Real
-
批准号:1302230
-
项目类别:Standard Grant
-
资助金额:$6.36万
-
财政年份:2013
-
负责人:Ruzica Piskac
-
依托单位:
Student Travel Support for VMCAI 2014
-
批准号:1401905
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2013
-
负责人:Ruzica Piskac
-
依托单位:
SHF: Medium: Collaborative Research: FRP for Real
-
批准号:1302327
-
项目类别:Standard Grant
-
资助金额:$85.0万
-
财政年份:2013
-
负责人:Ruzica Piskac
-
依托单位:
海外基金