Funding

We have been successful in obtaining the following research grants over the years.

  • Amazon Research Award (60K USD) for "Programming Made Hard' Made Easier: Improving Dafny’s Human Factors". James Noble and Julian Mackay (2022).
  • Gradual concurrency: correctness, simplicity, and performance via dynamic ownership. James Noble, Tobias Wrigstad. RSNZ Marsden Fund. 21-VUW-145.$685,000 NZD 2021 round (2022-2024)
  • MBIE Science Whitinga Fellowship. Julian Mackay. MBIE, NZD 320,000 (2021-2023).
  • Veracity. Jens Dietrich (as Research Aim Leader, overall PI: Markus Luczak-Roesch). National Science Challenge Science for Technological Innovation, $2,000,000 NZD (2021-2024).
  • Remote Sensing via Robonomics Platform. Alex Potanin. Robonomics.Network Grants Program. $72,000 NZD. (2021-2022).
  • Automating Automated Testing. Michael Homer, Jens Dietrich, Craig Anslow. National Science Challenge Science for Technological Innovation, $200,000 NZD (2020-2022).
  • Novel approach to detect and predict tests with non-deterministic behaviour. Amjed Tahir (Massey), Jens Dietrich. National Science Challenge Science for Technological Innovation, $200,000 NZD (2020-2022).
  • Safeguarding Library Evolution. Jens Dietrich. Oracle Corporation (Australia). $53,000 USD (2020-2021).
  • ORCA: Object Capabilities for Robust Applications in the Open World. James Noble, Sophia Drossopoulou. RSNZ Marsden Fund. 18-VUW-026. $679,000 NZD. 2018 Round (2019-2021)
  • Novel Approaches to Input Generation for the Analysis of Web Server Applications. Jens Dietrich. Oracle Corporation (Australia). USD 42,500 (2019-2020).
  • Static Analysis of JEE Applications. Jens Dietrich. Oracle Corporation (Australia), $44,000 USD (2017-2018).
  • Object Ownership for Capabilities and Provenance. James Noble, David Pearce, Alex Potanin. Oracle Corporation (Australia). $50,000 USD (2017-2018)
  • Closing the Gaps in Static Program Analysis. Jens Dietrich (PI) and Amjed Tahir (AI). National Science Challenge Science for Technological Innovation, $197,000 NZD (2017-2019).
  • Scalable Static Program Analysis. Jens Dietrich. Oracle Corporation (Australia). $100,000 USD (2 rounds USD 50,000 each) (2015-17).
  • CAPE: Making Capability Policies Explicit. James Noble, Sophia Drossopoulou. Royal Society of New Zealand: Marsden Fund. 13-VUW-062. $521,739 NZD. 2013 Round (2014-2017)
  • Reliable Software via Patterns and Ownership James Noble. Royal Society of New Zealand: James Cook Fellowship. 13-VUW-001. $220,000 NZD. 2013 Round (2014-2016).
  • Visualisation of Large Codebases. Craig Anslow, Stuart Marshall, James Noble. Oracle Corporation (Australia). $58,519 NZD (2014).
  • Ministry of Science and Industry . Tech Jumpstart. Craig Anslow, S. Marshall, James Noble. $10,000 NZD (2013)
  • Software Visualisation for Large Code Bases. James Noble, Stuart Marshall. Oracle Corp., $61,940 NZD (2013)
  • Attacking the Verifying Compiler Grand Challenge, David Pearce. Royal Society of New Zealand. $345,000 NZD (2012-2015)
  • Mozilla Performance Study, Alex Potanin. Mozilla Foundation. $15,000 NZD (2011)
  • Ministry of Science and Industry. New Economy Research Fund Contract Extension. $78,518.72 NZD (2011-2012)
  • Design patterns and ownership types for reusable program verification. James Noble, Sophia Drossopoulou. RSNZ Marsden Fund. $640,000 NZD (2011-2013)
  • More Expressive Ownership Types. James Noble. Build IT Postdoctoral Fellowship. $116,000 NZD (2008-2010)
  • Unifying Ownership and Immutability, Alex Potanin. RSNZ Marsden Fund. $300,000 NZD (2009-2011)
  • Scoped Memory Types for Safety Critical RTSJ. James Noble. IBM Real Time Innovation Award. $16,000 USD (2007)
  • Software Product and Process Improvement (SPPI) for New Zealand Industry. John Grundy (Science Leader). John Hosking, Emilla Mendes, Stephen MacDonell, James Noble (Key Researchers). FRST New Materials, Technologies and Services. (2007-2011)
  • Practical Ownership Types for Object and Aspect Programs Sophia Drossopoulou, James Noble and Dave Clarke. EPSRC, £52,000 GBP (2006)
  • Integrated Ownership and Debugging in Eclipse. James Noble, Robert Biddle. IBM Eclipse Innovation Award. $15,000 USD (2005)
  • Eclipse support for Ownership Types. James Noble, Robert Biddle. IBM Eclipse Innovation Award. $20,000 USD (2004)
  • Learning the Aspects of Object-Oriented Programming. Robert Biddle, James Noble. IBM Eclipse Innovation Award. $20,000 USD (2004)
  • Ownership types for Object- and Aspect-Oriented Programming. James Noble, David Clarke, Robert Biddle. RSNZ Marsden Fund. $327,678 NZD (2004-2006)
  • Domain Specific Software Tools. John Hosking, John Grundy, Ewan Tempero, Emilia Mendes, Anna Liu, James Noble, Mark Apperly, Robert Biddle, Robert Amor, Nianping Zhu. Public Good Science Fund. $762,000 NZD (2002-2005)
  • Aliasing and Ownership in Object-Oriented Systems. James Noble. RSNZ Marsden Fund Fast Start Grant $100,000 NZD (2002-2003)
  • Object-Oriented Frameworks. Robert Biddle, James Noble, and Information Power Ltd. Technology for Business Growth Grant $50,000 NZD (2002-2003)
  • Interactive Metrics Visualisation for User Interface Design. James Noble and Larry Constantine. ARC Small Grant, $16 000 AUD (1998)
Print version | Backlinks |