Executive Gov
  • Home
  • Acquisition & Procurement
  • Agencies
    • Department of War
    • Intelligence Community
    • DHS
    • Federal Civilian
    • Space
  • Cybersecurity
  • Technology
  • News
  • About
  • Wash100
  • Contact Us
    • Advertising
    • Submit your news
No Result
View All Result
Executive Gov
  • Home
  • Acquisition & Procurement
  • Agencies
    • Department of War
    • Intelligence Community
    • DHS
    • Federal Civilian
    • Space
  • Cybersecurity
  • Technology
  • News
  • About
  • Wash100
  • Contact Us
    • Advertising
    • Submit your news
No Result
View All Result
Executive Gov
No Result
View All Result
Home Government Technology

NSF Funds Automated Debugging Project at University of Texas Dallas

by Nichols Martin
June 18, 2020
in Government Technology, News
NSF Funds Automated Debugging Project at University of Texas Dallas

The National Science Foundation (NSF) has agreed to fund Lingming Zhang, an assistant professor at the University of Texas at Dallas, with $520,000 for a project on automated debugging. Zhang, a computer science academic, will use the five-year Faculty Early Career Development or CAREER grant for his project titled “Maximal and Scalable Unified Debugging for the JVM Ecosystem," UT Dallas said Thursday.

Table of Contents

  • You might also like
  • DHS S&T Opens AI Prize Challenge to Detect Biological Threats
  • GSA, OpenAI Reach OneGov Deal for Discounted ChatGPT Access
  • Department of War Seeks AI Tools to Track Space & Missile Threats

You might also like

DHS S&T Opens AI Prize Challenge to Detect Biological Threats

GSA, OpenAI Reach OneGov Deal for Discounted ChatGPT Access

Department of War Seeks AI Tools to Track Space & Missile Threats

He said the project's goal is to simplify the debugging process for software developers. The project will aim to collectively localize bugs and repair software automatically with no need for manned operation. Zhang's proposed approach is designed to identify all bugs potentially present in a software, rather than only the bugs automatically fixable.

“Dr. Zhang has made significant contributions toward building systems that can predict, detect, localize and fix software bugs automatically,” said Gopal Gupta, a computer science professor at UT Dallas.

Stay connected via Google News
Follow us for the latest travel updates and guides.
Add as preferred source on Google
Share5Tweet19
Previous Post

Team Telecom Offers Recommendation to FCC on Pacific Light Cable Network’s Application

Next Post

NASA On Track With Mars 2020 Launch

Recommended For You

Army to Hold Tests for Communications Network Update

by Nichols Martin
August 8, 2022
Army to Hold Tests for Communications Network Update

The U.S. Army plans to field-test new technologies as part of an effort to update the service's network of tactical communications systems, National Defense Magazine reported Friday. Col. Rob Ryan,...

Read moreDetails

Senate Panel Approves Kirstjen Nielsen’s Homeland Security Secretary Nomination

by Nichols Martin
July 23, 2026
Senate Panel Approves Kirstjen Nielsen's Homeland Security Secretary Nomination

  Kirstjen Nielsen The Senate Homeland Security and Governmental Affairs Committee approved by a 11-4 vote Tuesday the nomination of Kirstjen Nielsen as the next secretary of the Department of...

Read moreDetails

NGA Releases RFI for Foundation GEOINT System Support Services

by Miles Jamison
September 19, 2024
NGA Releases RFI for Foundation GEOINT System Support Services

The National Geospatial-Intelligence Agency has issued a request for information from potential contractors regarding the Foundation Geospatial-Intelligence system.According to the notice posted on SAM.gov Tuesday, the Mapping, Charting and...

Read moreDetails

GSA Assessing Industry Suggestions for FedRAMP Operational Improvement

by Brenda Marie Rivers
October 4, 2019
GSA Assessing Industry Suggestions for FedRAMP Operational Improvement

The General Services Administration is in the process of analyzing industry's recommendations for improving the Federal Risk and Authorization Management Program’s vetting procedures, Federal Times reported Wednesday.

Read moreDetails

Navy Integrates AI Capabilities Into Shipboard Combat Networks

by Jane Edwards
December 8, 2017
Navy Integrates AI Capabilities Into Shipboard Combat Networks

The U.S. Navy has begun efforts to integrate artificial intelligence capabilities into shipboard warfare networks that work to facilitate communications between littoral combat ships, destroyers, submarines, tactical nodes...

Read moreDetails
Sign Up For Our Newsletter
Subscribe to our mailing list to receives daily updates direct to your inbox!
Invalid email address
Your privacy is guranteed.
Thanks for subscribing!

Sponsors

About ExecutiveGov

ExecutiveGov, published by Executive Mosaic, is a site dedicated to the news and headlines in the federal government. ExecutiveGov serves as a news source for the hot topics and issues facing federal government departments and agencies such as Gov 2.0, cybersecurity policy, health IT, green IT and national security. We also aim to spotlight various federal government employees and interview key government executives whose impact resonates beyond their agency.

CATEGORIES

  • Acquisition & Procurement
  • Announcements
  • Articles
  • Artificial Intelligence
  • Australia
  • Awards
  • Big Data & Analytics News
  • C4ISR
  • C5ISR
  • Cloud
  • Contract Awards
  • Cybersecurity
  • Defense And Intelligence
  • Defense Security Cooperation
  • Department of War
  • DHS
  • Digital Assets
  • Digital Modernization
  • Events
  • Executive Moves
  • Executive Spotlights
  • Federal Civilian
  • Financial Reports
  • Foreign Military Sales
  • General News
  • GovCon Expert
  • Government Cloud
  • Government Technology
  • GSA
  • Healthcare IT
  • Industry News
  • Intelligence Community
  • Legislation
  • M&A Activity
  • Middle East
  • National Security
  • News
  • Policy Updates
  • Press Releases
  • Profiles
  • Space
  • Technology
  • Videos
  • Wash100
Sign Up For Our Newsletter
Subscribe to our mailing list to receives daily updates direct to your inbox!
Invalid email address
Your privacy is guranteed.
Thanks for subscribing!

Copyright 2026 Executive Mosaic. All Rights Reserved. Site Archive

No Result
View All Result
  • Home
  • Acquisition & Procurement
  • Agencies
    • Department of War
    • Intelligence Community
    • DHS
    • Federal Civilian
    • Space
  • Cybersecurity
  • Technology
  • News
  • About
  • Wash100
  • Contact Us
    • Advertising
    • Submit your news

Copyright 2026 Executive Mosaic. All Rights Reserved. Site Archive

Get your free GovCon news!

Get your latest GovCon news and insights. Become a VIP and subscribe to the GovConWire Daily News.

Invalid email address
We promise not to spam you. You can unsubscribe at any time.
Thanks for subscribing!