Collaborative Research: CS2: On-Demand Semantic Analysis via Program Synthesis
Description preview
Correct compilation is essential to scientific computing, as it provides the bridge from high-level algorithms in source code to computing machinery. LLVM is a critical backbone in this process, powering compilers and infrastructure for languages including Julia, Python, and Fortran. However, the engineering of LLVM has focused on improving…
Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click