ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Wed 18 Nov 2020 11:00 - 11:20 at SPLASH-V - Scala Symposium

Scala is an open-source programming language created by Martin Odersky in 2001 and released under the BSD or Berkeley Software Distribution license. The language consolidates object-oriented and functional programming in one high-level and robust language. Scala also maintains static types that help to reduce tricky errors in real-world software systems.

In this paper, we introduce the first Scala-specific security analysis too that works based on a concolic based fuzzing for evaluating large-scale codes written in Scala, we call our tool Kaizen. To evaluated our approach, we have analyzed 1,000 real-world projects and core libraries written in Scala existing on GitHub. As a result, our testing system could report 101 vulnerabilities some of those were unknown before. Furthermore, the outcome of our performance analysis on ScalaBench illustrates 49% runtime overhead that proves the efficiently of Kaizen in comparison with related tools in the JVM ecosystem.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 14:20: Scala SymposiumScala at SPLASH-V
10:00 - 10:05
Day opening
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt
10:05 - 10:40
Keynote
Scala
10:40 - 11:00
Talk
Scala
11:00 - 11:20
Paper
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
11:40 - 12:00
Talk
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
12:00 - 12:20
Paper
Scala
Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley
12:20 - 12:40
Paper
Scala
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Sébastien DoeraeneEPFL, Switzerland, Martin OderskyEPFL
12:40 - 13:00
Talk
Scala
Ifaz KabirUniversity of Alberta, Karim AliUniversity of Alberta
13:00 - 13:20
Day closing
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt