funding

  • CCRI: Planning: Collaborative Research: A Platform for Conducting Software Engineering User Studies. 2020 National Science Foundation award #2016586. PI Joshua Sunshine with George Mason PI Thomas LaToza and University of Texas San Antonio PI Xiaoyin Wang. $41,991.
  • SHF: Small: Declaratively Creating Semantics-driven Visualizations. 2019 National Science Foundation award #1910264. PI Jonathan Aldrich with Co-PIs Joshua Sunshine and Keenan Crane. $449,680.
  • SHF: Medium: Gradual Verification. 2019 National Science Foundation award #1901033. PI Jonathan Aldrich with Co-PI Joshua Sunshine.. $1,017,511.
  • Obsidian - A Safer Blockchain Programming Language. 2019 Ripple Blockchain Research Seed Funding. PIs Joshua Sunshine, Jonathan Aldrich, and Brad Myers. $40,000.
  • Incremental Verification, Gradually. 2019 Facebook Testing and Verification Research Award. PIs Jonathan Aldrich, Eric Tanter, and Joshua Sunshine. $50,000.
  • REU Site: Interdisciplinary Software Engineering. 2019 National Science Foundation award #1852260, PI Joshua Sunshine with Co-PI Claire Le Goues, $378,735 over 3 years, 2019-2022.
  • Obsidian: A Language for Secure-By-Construction Blockchain Programs. 2018 NSA lablet project. PIs: Jonathan Aldrich, Brad Myers, and Joshua Sunshine. $242,286.
  • Developing Static Analysis Techniques for Blockchain Application Development. 2017 SEI LENS project, PIs: Joshua Sunshine and Eliezer Kanal. $350,000 (not including SEI spending) over 2 years.
  • REU Site: Interdisciplinary Software Engineering. 2016 National Science Foundation award #1560137, PI Joshua Sunshine with Co-PI Claire Le Goues, $359,364 over 3 years, 2016-2018.
  • Science of Secure Frameworks. 2015 Bosch Research award, $50,000.