Skip to main content
Appalachian Today
News and events at Appalachian State University
  • For the media
  • COVID updates
  • Contact
  • Events
  • Webcams
  • Galleries
  • In the Media
  • Grants
  • Speakers
  • All Posts
  • Topics
  • Accolades
  • Alumni
  • Arts and Humanities
  • Athletics
  • Awards and Honors
  • Community Engagement
  • Diversity
  • Events
  • Faculty and Staff
  • Gifts and Grants
  • Global
  • Health and Wellness
  • Publications
  • Research
  • Safety
  • Scholarships
  • Students
  • Sustainability
☰ Menu
  • Events
  • Webcams
  • Galleries
  • In the Media
  • Grants
  • Speakers
  • All Posts
  • Topics
  • For the media
  • COVID updates
  • Contact

NSF grant supports indexing programming project at Appalachian

Posted Feb. 16, 2018 at 4:55 p.m.

BOONE, N.C. — Dr. Patricia Johann, professor in Appalachian State University’s Department of Computer Science, was awarded $463,504 in funding from the National Science Foundation (NSF) for her project exploring new foundations in indexed programming that will help ensure secure and reliable software systems.

Johann said testing of programs has dominated the last 50 years of software development, but the next 50 years will see an increased demand for provably correct software.

“This is partly because modern applications are increasingly safety critical, partly because testing is, by its very nature, only a partial correctness guarantee and partly because programming language technology has now advanced to the stage where it is feasible to formally verify critical programs,” she said.

“Language-based verification uses a language’s type system to guarantee program correctness so that type checking a program becomes tantamount to verifying its correctness. Thus, the more program properties a type system can express, the more the compiler can automatically verify.”

According to Johann, indexed programming is a key technique for using a language’s type system to express more and more sophisticated properties of programs.

“Indexed programming uses the extra information present in type indices to help close the so-called semantic gap between what programmers know about their programs and what type systems can express about them,” she said.

In her commentary on the project, Johann writes, “The intellectual merits of this project lie in providing a principled methodology for transferring knowledge about effective programming and proving between languages supporting type indexing of types and those supporting term indexing of types, developing a semantic framework that enhances researchers’ and practitioners’ understanding of the nature of indexed types in general, and opening the way for new forms of indexing that can enforce even greater correctness guarantees.”

She said the broader impact of this project is to use indexed types to develop better and more widely applicable formal program verification methods, and, thereby, to help ensure that even large and sophisticated software systems are safe and reliable.

“Because it will lead to provably correct and secure software, this project has the potential to impact any application area, and thus any sector of the economy, for which such software is paramount,” said Johann.

About the Department of Computer Science

Appalachian’s Department of Computer Science provides a rigorous, high-quality education that prepares students for the computing industry or graduate education. It offers a Bachelor of Science degree in computer science, which is accredited by the Computing Accreditation Commission of ABET, and a Master of Science degree in computer science. Learn more at https://compsci.appstate.edu.

About Appalachian State University

As the premier public undergraduate institution in the Southeast, Appalachian State University prepares students to lead purposeful lives as global citizens who understand and engage their responsibilities in creating a sustainable future for all. The Appalachian Experience promotes a spirit of inclusion that brings people together in inspiring ways to acquire and create knowledge, to grow holistically, to act with passion and determination, and to embrace diversity and difference. Located in the Blue Ridge Mountains, Appalachian is one of 17 campuses in the University of North Carolina System. Appalachian enrolls nearly 21,000 students, has a low student-to-faculty ratio and offers more than 150 undergraduate and graduate majors.

What do you think?

Share your feedback on this story.

Share

Topics

  • Gifts and Grants
  • Research
  • Sustainability

What do you think?

Share your feedback on this story.

Archives

Appalachian Today is an online publication of Appalachian State University. This website consolidates university news, feature stories, events, photo galleries, videos and podcasts.

The migration of materials from other sites is still incomplete, so if you cannot find what you're looking for here, please refer to the following sources:

  • Additional feature stories may be found at Appalachian Magazine
  • Podcasts may be found at Appalachian Magazine
  • Photo galleries and videos published prior to Jan. 1, 2015 may be found at Appalachian Magazine
  • A university-wide Google Calendar may be found at Events at Appalachian

What do you think?

Share your feedback on this story.

Share

Topics

  • Gifts and Grants
  • Research
  • Sustainability

Other Recent Posts

  • With expansion almost complete, App State’s Child Development Center nearly doubles in capacity
    With expansion almost complete, App State’s Child Development Center nearly doubles in capacity
  • A bright finish for Team Sunergy: App State solar vehicle team takes 2nd place in 2022 American Solar Challenge
    A bright finish for Team Sunergy: App State solar vehicle team takes 2nd place in 2022 American Solar Challenge
  • 2022 Alumni Awards: John Thomas Roos ’84 — Outstanding Service Award
    2022 Alumni Awards: John Thomas Roos ’84 — Outstanding Service Award
  • 2022 Alumni Awards: Douglas Middleton Jr. ’15 ’18 — Young Alumni Award
    2022 Alumni Awards: Douglas Middleton Jr. ’15 ’18 — Young Alumni Award
  • 2022 Alumni Awards: Mark E. Ricks ’84 — Distinguished Alumni Award
    2022 Alumni Awards: Mark E. Ricks ’84 — Distinguished Alumni Award
  • 2022 Alumni Awards: June Wilson Hege ’65 — Outstanding Service Award
    2022 Alumni Awards: June Wilson Hege ’65 — Outstanding Service Award
  • Campus emergency siren test to be conducted Aug. 3
    Campus emergency siren test to be conducted Aug. 3
  • 5 faculty teams awarded 2022 Chancellor’s Innovation grants for projects at App State
    5 faculty teams awarded 2022 Chancellor’s Innovation grants for projects at App State
  • App State alumna Juliet Irving ’19: A multimedia designer in the performance world
    App State alumna Juliet Irving ’19: A multimedia designer in the performance world
  • Appalachian Energy Summit reports $1.6 billion in avoided energy costs statewide
    Appalachian Energy Summit reports $1.6 billion in avoided energy costs statewide
  • App State’s Team Sunergy qualifies for American Solar Challenge with solid performance at Formula Sun Grand Prix
    App State’s Team Sunergy qualifies for American Solar Challenge with solid performance at Formula Sun Grand Prix
  • Reich College of Education staff coach Northwestern NC’s new teachers
    Reich College of Education staff coach Northwestern NC’s new teachers

Archives

Appalachian Today is an online publication of Appalachian State University. This website consolidates university news, feature stories, events, photo galleries, videos and podcasts.

The migration of materials from other sites is still incomplete, so if you cannot find what you're looking for here, please refer to the following sources:

  • Additional feature stories may be found at Appalachian Magazine
  • Podcasts may be found at Appalachian Magazine
  • Photo galleries and videos published prior to Jan. 1, 2015 may be found at Appalachian Magazine
  • A university-wide Google Calendar may be found at Events at Appalachian
  • Events
  • Videos
  • Galleries
  • In the Media
  • Grants
  • Speakers
  • All Posts
  • Topics
  • For the media
  • COVID updates
  • Contact

Appalachian State University

Copyright 2022 Appalachian State University. All rights reserved.

University Communications
ASU Box 32153
Boone, NC 28608
828-262-6156
ucomm@appstate.edu

Abouts

Disclaimer | EO Policy | Accessibility | Website manager: montaldipa (beltmr) .. | Website Feedback

Facebook Twitter YouTube Instagram LinkedIn Snapchat