课题基金 / 基金详情

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 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
负责人:
Limin Jia
金额:
$4.51万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2023
资助国家:
美国
项目状态:
未结题
起止时间:
2023-02-01 至 2026-01-31

项目摘要

项目成果

Limin Jia的其他基金

相似基金

相关文献

中文摘要
翻译
编程语言指导研讨会(PLMW)是ACM SIGPLAN编程语言设计与实现会议(PLDI)的一部分,该会议是编程语言和编程系统研究领域的首要论坛,涵盖设计,实现,理论,应用和性能等领域。会议和研讨会将于2023年在佛罗里达的奥兰多举行; 2024年在丹麦的哥本哈根举行; 2025年在韩国举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加PLDI会议之外的辅导研讨会。该奖项的影响涉及到扩大参与计算,为学生提供机会,接受来自领先的研究人员的指导,并建立下一代的研究人员和知识渊博的从业人员在编程语言和编程系统的研究。这个奖项反映了NSF的法定使命,并已被认为是值得通过评估使用基金会的智力价值和更广泛的影响审查标准的支持。
英文摘要
A Programming Languages Mentoring Workshop (PLMW) is organized as part of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. The conference and workshop will be held in Orlando, Florida, in 2023; in Copenhagen, Denmark, in 2024; and in South Korea in 2025. 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 PLDI 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 programming languages and programming systems research.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)
会议论文
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security
  • 批准号:
    2245115
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2023
  • 负责人:
    Limin Jia
  • 依托单位:
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
  • 批准号:
    2114148
  • 项目类别:
    Standard Grant
  • 资助金额:
    $85.56万
  • 财政年份:
    2021
  • 负责人:
    Limin Jia
  • 依托单位:
NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)
  • 批准号:
    1901636
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.2万
  • 财政年份:
    2019
  • 负责人:
    Limin Jia
  • 依托单位:
SaTC: CORE: Medium: Towards a Usable, Practical, and Provably Secure Browser Infrastructure
  • 批准号:
    1704542
  • 项目类别:
    Standard Grant
  • 资助金额:
    $120.0万
  • 财政年份:
    2017
  • 负责人:
    Limin Jia
  • 依托单位:
海外基金