Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)
批准号:
1841603
负责人:
Stephan Zdancewic
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-11-01 至 2019-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
A Programming Languages Mentoring Workshop (PLMW) is being organized as part of the 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), the premier conference on the foundations of programming languages. The conference will be held in Lisbon, Portugal. This award specifically supports students from underrepresented groups and gives priority to US citizens and permanent residents to attend the mentoring workshop in addition to the POPL conference. The impact of the award relates to broadening participation in computing, providing opportunities for students to receive mentoring from leading researchers, and building the next generation of researchers and knowledgeable practitioners in all aspects of programming languages and systems.The mentoring workshop program comprises a number of talks and panels in several areas of programming language theory, such as type systems, verification, program analysis, model checking, logic and language design. The intention of these talks is to provide an introduction to the topics covered by the POPL conference and to the breadth of the programming languages research community. Additionally, the workshop will include mentoring panels that will cover practical topics about starting a research career, the job search process, and different careers that are available post-PhD. The purpose of these panels is both to provide useful advice that will benefit the participants as well as to demonstrate the day-to-day components of a research career. Speakers will be a mix of junior and senior researchers, who are leaders in their respective research areas and known for their mentorship efforts.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(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
-
依托单位:
NSF Student Travel Grant for 2018 Programming Languages
-
批准号:1749155
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2017
-
负责人: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
-
依托单位:
海外基金