NSF Student Travel Grant for 2018 Programming Languages
NSF Student Travel Grant for 2018 Programming Languages
批准号:
1749155
负责人:
Stephan Zdancewic
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-09-01 至 2018-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Title: Student Travel Support for Programming Languages Mentoring Workshop at POPL 2018The Seventh Programming Languages Mentoring Workshop (PLMW) will take place on January 17 2018, as part of the flagship programming language conference, Principles of Programming Languages (POPL), which will be held in Los Angeles, California. This grant will support approximately 10 students to attend the PLMW event, in addition to the POPL conference. While there is other funding available (through ACM SIGPLAN PAC) for students who are presenting papers at POPL, this proposal is intended specifically to increase the numbers of students from underrepresented groups and gives priority to US citizens and permanent residents. The broader significance and importance of the grant relate to the need to broaden participation, provide opportunities for students to receive mentoring from leading members of the programming languages community, and build the next generation of researchers and knowledgeable practitioners in this important research arena.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
REU Site: Research Experience for undergraduates in Programming Languages (REPL)
-
批准号:2244494
-
项目类别:Standard Grant
-
资助金额:$32.21万
-
财政年份:2023
-
负责人:Stephan Zdancewic
-
依托单位:
SaTC: CORE: Medium: Secure and Formally-verified Low-level Languages
-
批准号:2247088
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2023
-
负责人:Stephan Zdancewic
-
依托单位:
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)
-
批准号:1841603
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2018
-
负责人:Stephan Zdancewic
-
依托单位:
SHF: SMALL: NONSTANDARD COMPUTATIONAL MODELS OF LINEAR LOGIC
-
批准号:1421193
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2014
-
负责人:Stephan Zdancewic
-
依托单位:
CCF: Medium: Validating Program Transformations in a Mechanized LLVM
-
批准号:1065166
-
项目类别:Standard Grant
-
资助金额:$80.7万
-
财政年份:2011
-
负责人:Stephan Zdancewic
-
依托单位:
TC: Small: WATCHDOG: Hardware-Assisted Prevention of All Use-After-Free Security Vulnerabilities
-
批准号:1116682
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2011
-
负责人:Stephan Zdancewic
-
依托单位:
SHF: SMALL: Practical Linear Types for Safe Protocols
-
批准号:1017027
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2010
-
负责人:Stephan Zdancewic
-
依托单位:
Unifying Events and Threads: Language Support for Network Services
-
批准号:0541040
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Stephan Zdancewic
-
依托单位:
CT-T: Resource-Guided Implementation of Secure Embedded Software
-
批准号:0524059
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2005
-
负责人:Stephan Zdancewic
-
依托单位:
Collaborative Research: CT-T: Flexible, Decentralized Information-flow Control for Dynamic Environments
-
批准号:0524035
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2005
-
负责人:Stephan Zdancewic
-
依托单位:
CAREER: Language-based Distributed System Security
-
批准号:0346939
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2004
-
负责人:Stephan Zdancewic
-
依托单位:
Dynamic Security Policies
-
批准号:0311204
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2003
-
负责人:Stephan Zdancewic
-
依托单位:
海外基金