{"id":"https://openalex.org/G5706889890","display_name":"SHF: Small: Data Model Verification for Web Applications","description":"A typical web application is a complicated distributed system\r\nthat consists of multiple components that run concurrently on multiple\r\nmachines and interact with each other in complex ways via the Internet.\r\nAs one would expect, developing such software systems is an error-prone\r\ntask, and existing software development processes are not robust enough\r\nto produce dependable web applications. The tools developed as part of this\r\nproject could have a broad impact by enable software developers to eliminate \r\nprogramming errors in web applications before they are deployed to end users.\r\n\r\nThe fundamental building block of a web application is the data model that\r\nspecifies the types of objects and the relations among the objects stored by\r\nthe application, the constraints on the relations, and the actions that update \r\nthe data by sending queries to the back-end datastore based on the user input.  \r\nThe project develops techniques that automatically extract a formal \r\nmodel from a given web application that characterizes how its data is stored\r\nand modified based on user actions, and infers properties about the formal data\r\nmodel.  It is then possible to check the inferred properties by converting correctness \r\nqueries about the data model to queries about satisfiability of logical formulas,\r\nand repair the data model to enforce the properties that are expected\r\nto hold.","funder_award_id":"1423623","funder":{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","doi":"https://doi.org/10.13039/100000001"},"funded_outputs":["https://openalex.org/W2045176168","https://openalex.org/W2511961348","https://openalex.org/W2904268094"],"funded_outputs_count":3,"parent_awards":[],"sub_awards":[],"sub_awards_count":0,"amount":499888.0,"currency":"USD","amount_usd":499888.0,"amount_usd_basis":"usd_native","recipients":[],"recipient_countries":[],"recipient_regions":[],"research_scope":{"is_research":true,"basis":"funder_default","tier":1},"funding_type":"grant","funder_scheme":"Standard Grant","start_date":"2014-07-15","end_date":"2018-06-30","start_year":2014,"end_year":2018,"landing_page_url":"https://www.nsf.gov/awardsearch/showAward?AWD_ID=1423623","doi":null,"provenance":"nsf_award_search","lead_investigator":{"given_name":"Tevfik","family_name":"Bultan","orcid":null,"role_start":null,"affiliation":{"name":"University of California-Santa Barbara","country":"United States","ids":null},"author":{"id":"https://openalex.org/A5039991493","display_name":"Tevfik Bultan","orcid":"https://orcid.org/0000-0003-2993-1215"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}]},"co_lead_investigator":null,"investigators":null,"works_api_url":"https://api.openalex.org/works?filter=awards.id:G5706889890","primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.385,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.385,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.301,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12601","display_name":"Web Applications and Data Management","score":0.1985,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/web-application","display_name":"web application","score":0.721},{"id":"https://openalex.org/keywords/satisfiability-checking","display_name":"satisfiability checking","score":0.703},{"id":"https://openalex.org/keywords/logical-formulas","display_name":"logical formulas","score":0.609},{"id":"https://openalex.org/keywords/software-dependability","display_name":"software dependability","score":0.522},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.38}],"sustainable_development_goals":[],"institution_awarded":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"updated_date":"2026-11-13T03:01:57.000Z","created_date":"2026-07-13T04:41:43.000Z"}