Programming Languages Mentoring Workshop
Programming Languages Mentoring Workshop
批准号:
1353927
负责人:
Benjamin Pierce
金额:
$3.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-12-01 至 2014-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The Third Programming Languages Mentoring Workshop (PLMW) will take place as part of the flagship programming language conference, Principles of Programming Languages (POPL 2013), which is being held in San Diego California. This grant will support approximately 20 students to attend the PLMW event plus 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 impacts of the grant relate to the need to broaden participation, provide opportunities for students to receive mentoring from top members of the programming languages community, and build the next generation of researchers and knowledgeable practitioners in this important research arena.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Bringing Python Up to Speed
-
批准号:1955565
-
项目类别:Standard Grant
-
资助金额:$43.8万
-
财政年份:2020
-
负责人:Benjamin Pierce
-
依托单位:
Collaborative Research: RAPID: Virtual Conference Platform
-
批准号:2035101
-
项目类别:Standard Grant
-
资助金额:$3.65万
-
财政年份:2020
-
负责人:Benjamin Pierce
-
依托单位:
TWC: Medium: Micro-Policies: A Framework for Tag-Based Security Monitors
-
批准号:1513854
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2015
-
负责人:Benjamin Pierce
-
依托单位:
SHF: Small: Random Testing for Language Design
-
批准号:1421243
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Benjamin Pierce
-
依托单位:
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2013
-
批准号:1338938
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2013
-
负责人:Benjamin Pierce
-
依托单位:
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012
-
批准号:1240237
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2012
-
负责人:Benjamin Pierce
-
依托单位:
TC: Medium: Putting Differential Privacy To Work
-
批准号:1065060
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2011
-
负责人:Benjamin Pierce
-
依托单位:
SHF: Small: Algebraic Foundations for Collaborative Data Sharing
-
批准号:1017212
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Benjamin Pierce
-
依托单位:
TC: SMALL: Contracts for Precise Types
-
批准号:0915671
-
项目类别:Standard Grant
-
资助金额:$45.46万
-
财政年份:2009
-
负责人:Benjamin Pierce
-
依托单位:
CT-T: Collaborative Research: Manifest Security
-
批准号:0715936
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Benjamin Pierce
-
依托单位:
LINGUISTIC FOUNDATIONS FOR XML VIEW UPDATE
-
批准号:0534592
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Benjamin Pierce
-
依托单位:
Harmony: The Art of Reconciliation
-
批准号:0429836
-
项目类别:Continuing Grant
-
资助金额:$31.5万
-
财政年份:2004
-
负责人:Benjamin Pierce
-
依托单位:
ITR: Types for XML
-
批准号:0219945
-
项目类别:Continuing Grant
-
资助金额:$48.96万
-
财政年份:2002
-
负责人:Benjamin Pierce
-
依托单位:
ITR/SY+IM: Principles and Practice of Synchronization
-
批准号:0113226
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2001
-
负责人:Benjamin Pierce
-
依托单位:
Modular Type Systems
-
批准号:9912352
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2000
-
负责人:Benjamin Pierce
-
依托单位:
U.S.-France Cooperative Research (INRIA): Static Types for Reasoning about Concurrent Systems
-
批准号:9996084
-
项目类别:Standard Grant
-
资助金额:$1.71万
-
财政年份:1998
-
负责人:Benjamin Pierce
-
依托单位:
CAREER: Principled Foundations for Programming with Objects
-
批准号:9996250
-
项目类别:Continuing Grant
-
资助金额:$8.29万
-
财政年份:1998
-
负责人:Benjamin Pierce
-
依托单位:
U.S.-France Cooperative Research (INRIA): Static Types for Reasoning about Concurrent Systems
-
批准号:9605173
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:1997
-
负责人:Benjamin Pierce
-
依托单位:
CAREER: Principled Foundations for Programming with Objects
-
批准号:9701826
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1997
-
负责人:Benjamin Pierce
-
依托单位:
Development of an Integrated, Multidisciplinary Science Literacy Course for Comprehensive Universities
-
批准号:9455440
-
项目类别:Standard Grant
-
资助金额:$10.16万
-
财政年份:1995
-
负责人:Benjamin Pierce
-
依托单位:
海外基金