Tue 17 Nov 2020 09:40 - 10:00 at SPLASH-III - T-2-Onward Chair(s): Avraham Shinnar
Tue 17 Nov 2020 21:40 - 22:00 at SPLASH-III - T-2-Onward Chair(s): Jonathan Edwards
Tue 17 Nov 2020 21:40 - 22:00 at SPLASH-III - T-2-Onward Chair(s): Jonathan Edwards
The paper describes and critiques the certification of U.S. aviation software. Flight-critical software certification and regulation need external academic review and intervention. Industry is driven to generate profits over prioritizing public safety concerns and has failed to develop adequately proven methods of certifying that flight-critical software is safe to deploy.
The opinions expressed in this paper are the views of the author and do not reflect the official policy or position of any agency of the U.S. government.
Tue 17 NovDisplayed time zone: Central Time (US & Canada) change
Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change
09:00 - 10:20 | |||
09:00 20mTalk | Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Onward! Papers Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Jakob Edding Hasso Plattner Institute, University of Potsdam, Jonas Hering Hasso Plattner Institute, University of Potsdam, Bastian König Hasso Plattner Institute, University of Potsdam, Kolya Opahle Hasso Plattner Institute, University of Potsdam, Nico Scordialo Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany Link to publication DOI Pre-print Media Attached | ||
09:20 20mTalk | End-User Software Customization by Direct Manipulation of Tabular Data Onward! Papers Link to publication Pre-print | ||
09:40 20mTalk | Discussion of Aviation Software Oversight Improvement Onward! Essays Marc Ronell U.S. Federal Aviation Administration Link to publication DOI | ||
10:00 20mTalk | A Case Study in Language-Based Security: Building an I/O Library for Wyvern Onward! Papers Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
21:00 - 22:20 | |||
21:00 20mTalk | Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Onward! Papers Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Jakob Edding Hasso Plattner Institute, University of Potsdam, Jonas Hering Hasso Plattner Institute, University of Potsdam, Bastian König Hasso Plattner Institute, University of Potsdam, Kolya Opahle Hasso Plattner Institute, University of Potsdam, Nico Scordialo Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany Link to publication DOI Pre-print Media Attached | ||
21:20 20mTalk | End-User Software Customization by Direct Manipulation of Tabular Data Onward! Papers Link to publication Pre-print | ||
21:40 20mTalk | Discussion of Aviation Software Oversight Improvement Onward! Essays Marc Ronell U.S. Federal Aviation Administration Link to publication DOI | ||
22:00 20mTalk | A Case Study in Language-Based Security: Building an I/O Library for Wyvern Onward! Papers Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University Link to publication | ||