NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks (ICSE 2021 - DEMO - Demonstrations) - ICSE 2021

Write a Blog >>

Mon 17 May - Sat 5 June 2021

Who

Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath

Track

ICSE 2021 DEMO - Demonstrations

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 26 May 2021 18:15 - 18:45 at Demonstration Room - 2.2. Verification Chair(s): Francisco Servant

Link to Preprint

https://arxiv.org/abs/2103.00124

Muhammad Usman

University of Texas at Austin, USA

Yannic Noller

National University of Singapore

Singapore

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Youcheng Sun

Queen's University Belfast, UK

Divya Gopinath

NASA Ames (KBR Inc.)

United States

YT Video

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 26 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	18:15 - 18:45	2.2. VerificationDEMO - Demonstrations at Demonstration Room Chair(s): Francisco Servant Virginia Tech Each demo makes a 1-minute presentation (displayed in the Demo room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

	18:15 30m Demonstration		Metrinome: Path Complexity Predicts Symbolic Execution Path ExplosionDemonstration DEMO - Demonstrations Gabriel Bessler Harvey Mudd College, Josh Cordova Harvey Mudd College, Shaheen Cullen-Baratloo Harvey Mudd College, Sofiane Dissem Harvey Mudd College, Emily Lu Scripps College, Ibrahim Abughararh Harvey Mudd College, Sofia Devin Harvey Mudd College, Lucas Bang Harvey Mudd College Pre-print Media Attached
	18:15 30m Demonstration		Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep LearningDemonstration DEMO - Demonstrations Pengyu Nie University of Texas at Austin, Karl Palmskog KTH Royal Institute of Technology, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin Pre-print Media Attached
	18:15 30m Demonstration		NEUROSPF: A Tool For the Symbolic Analysis of Neural NetworksDemonstration DEMO - Demonstrations Muhammad Usman University of Texas at Austin, USA, Yannic Noller National University of Singapore, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Youcheng Sun Queen's University Belfast, UK, Divya Gopinath NASA Ames (KBR Inc.) Pre-print Media Attached