Programming Languages
Code Metal Raises 125 Million to Rewrite the Defense Industry's Code With AI
The Boston startup uses AI to translate and verify legacy software for defense contractors, arguing modernization can't come at the cost of new bugs. Code Metal, a Boston-based startup that uses AI to write code and translate it into other programming languages, just closed a $125 million Series B funding round from new and existing investors. The news comes just a few months after the startup raised $36 million in series A financing led by Accel. Code Metal is part of a new wave of startups aiming to modernize the tech industry by using AI to generate code and translate it across programming languages. One of the questions that persists about AI-assisted code, though, is whether the output is any good--and what the consequences might be if it's not.
- North America > United States > California (0.16)
- North America > United States > New York > New York County > New York City (0.05)
- Asia > China (0.05)
- (2 more...)
- Information Technology (1.00)
- Banking & Finance > Capital Markets (1.00)
- Information Technology > Software > Programming Languages (0.57)
- Information Technology > Artificial Intelligence > Natural Language > Chatbot (0.49)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (0.49)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (0.30)
- North America > United States > California > San Francisco County > San Francisco (0.28)
- Asia > Singapore (0.04)
- Asia > Indonesia > Bali (0.04)
- (17 more...)
- Information Technology > Software > Programming Languages (1.00)
- Information Technology > Software Engineering (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- (3 more...)
- North America > United States > Florida > Pinellas County > St. Petersburg (0.04)
- North America > United States > California > Santa Barbara County > Santa Barbara (0.04)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (4 more...)
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
We collect 312 programs from various sources, including daily programs from college homework, the international competition (SV -COMP), benchmarks from previous papers (SLING), and programs from real-world software systems (Linux Kernel, GlibC, LiteOS, and Zephyr).
- North America > United States > Florida > Pinellas County > St. Petersburg (0.04)
- North America > United States > California > Santa Barbara County > Santa Barbara (0.04)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (5 more...)
- Research Report > New Finding (0.46)
- Instructional Material > Course Syllabus & Notes (0.46)
- Europe > Switzerland > Zürich > Zürich (0.04)
- North America > United States > Texas (0.04)
- Europe > Norway > Western Norway > Vestland > Bergen (0.04)
- (2 more...)
- Leisure & Entertainment > Games (1.00)
- Transportation > Ground > Rail (0.45)
- North America > United States (0.14)
- North America > The Bahamas (0.04)
- North America > United States > California > Santa Clara County > Palo Alto (0.05)
- Oceania > Australia (0.04)
- North America > Montserrat (0.04)
- (2 more...)
- Information Technology (0.67)
- Government (0.67)
- Law > Intellectual Property & Technology Law (0.46)
Compositional Generalization Across Distributional Shifts with Sparse Tree Operations
Work partially completed while at Microsoft Research.
- North America > Canada > Ontario > Toronto (0.14)
- Oceania > Australia > New South Wales > Sydney (0.04)
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- (5 more...)
- North America > Canada > Ontario > Toronto (0.14)
- Europe > Austria > Upper Austria > Linz (0.04)
- Oceania > Australia (0.04)
- (5 more...)
- Health & Medicine (1.00)
- Media > News (0.45)
- Leisure & Entertainment > Games (0.45)
- Information Technology > Software > Programming Languages (1.00)
- Information Technology > Communications > Social Media (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- (3 more...)
- Oceania > Australia (0.04)
- North America > United States > California > Santa Clara County > Palo Alto (0.04)
- North America > Canada > Ontario > Toronto (0.04)
- (5 more...)
- Research Report > Experimental Study (1.00)
- Workflow (0.93)
- Research Report > New Finding (0.68)
- Information Technology > Software > Programming Languages (1.00)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (1.00)
- Information Technology > Artificial Intelligence > Natural Language > Chatbot (0.68)
- (2 more...)