Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Thu 24 Oct 2019 12:07 - 12:30 at Attica - Language Design Chair(s): Tiark Rompf

The Scala programming language offers two distinctive language features implicit parameters and implicit conversions, often referred together as implicits. Announced without fanfare in 2004, implicits have quickly grown to become a widely and pervasively used feature of the language. They provide a way to reduce the boilerplate code in Scala programs. They are also used to implement certain language features without having to modify the compiler. We report on a large-scale study of the use of implicits in the wild. For this, we analyzed 7,280 Scala projects hosted on GitHub, spanning over 8.1M call sites involving implicits and 370.7K implicit declarations across 18.7M lines of Scala code.

Thu 24 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Language DesignOOPSLA at Attica
Chair(s): Tiark Rompf Purdue University
11:00
22m
Talk
DeepSEA: A Language for Certified System Software
OOPSLA
Vilhelm Sjöberg Yale University, Yuyang Sang Yale University, Shu-chun Weng Yale University, Zhong Shao Yale University
DOI Pre-print
11:22
22m
Talk
Weakening WebAssembly
OOPSLA
Conrad Watt University of Cambridge, Andreas Rossberg Dfinity Stiftung, Jean Pichon-Pharabod University of Cambridge
DOI
11:45
22m
Talk
Safer Smart Contract Programming with Scilla
OOPSLA
Ilya Sergey Yale-NUS College and National University of Singapore, Vaivaswatha Nagaraj Zilliqa Research, Jacob Johannsen Zilliqa Research, Amrit Kumar Zilliqa Research, Anton Trunov Zilliqa Research, Ken Chan Zilliqa Research
DOI Pre-print File Attached
12:07
22m
Talk
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
OOPSLA
Filip Křikava Czech Technical University, Heather Miller Carnegie Mellon University, Jan Vitek Northeastern University
DOI Pre-print