| |
Ashouri, Mohammadreza
|
SCALA '20: "Kaizen: A Scalable Concolic ..."
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Mohammadreza Ashouri
(University of Potsdam, Germany)
@InProceedings{SCALA20p43,
author = {Mohammadreza Ashouri},
title = {Kaizen: A Scalable Concolic Fuzzing Tool for Scala},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3426426.3428487},
year = {2020},
}
 Publisher's Version
Article: scala20main-p5-p doi:10.1145/3426426.3428487
|
| |
Biboudis, Aggelos
|
SCALA '20: "Semantics-Preserving Inlining ..."
Semantics-Preserving Inlining for Metaprogramming
Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{SCALA20p29,
author = {Nicolas Stucki and Aggelos Biboudis and Sébastien Doeraene and Martin Odersky},
title = {Semantics-Preserving Inlining for Metaprogramming},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426426.3428486},
year = {2020},
}
Publisher's Version
Article: scala20main-p4-p doi:10.1145/3426426.3428486
|
| |
Darulova, Eva
|
SCALA '20: "Towards a Sound Approximating ..."
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Eva Darulova
(MPI-SWS, Germany)
@InProceedings{SCALA20p1,
author = {Eva Darulova},
title = {Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3426426.3434065},
year = {2020},
}
Publisher's Version
Article: scala20main-ivt1-p doi:10.1145/3426426.3434065
|
| |
Doeraene, Sébastien |
SCALA '20: "Semantics-Preserving Inlining ..."
Semantics-Preserving Inlining for Metaprogramming
Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{SCALA20p29,
author = {Nicolas Stucki and Aggelos Biboudis and Sébastien Doeraene and Martin Odersky},
title = {Semantics-Preserving Inlining for Metaprogramming},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426426.3428486},
year = {2020},
}
Publisher's Version
Article: scala20main-p4-p doi:10.1145/3426426.3428486
|
| |
Laddad, Shadaj
|
SCALA '20: "ScalaPy: Seamless Python Interoperability ..."
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Shadaj Laddad and Koushik Sen
(University of California at Berkeley, USA)
@InProceedings{SCALA20p15,
author = {Shadaj Laddad and Koushik Sen},
title = {ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3426426.3428485},
year = {2020},
}
Publisher's Version
Article: scala20main-p3-p doi:10.1145/3426426.3428485
|
| |
Merritt, Alexander
|
SCALA '20: "ONNX-Scala: Typeful, Functional ..."
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Alexander Merritt
@InProceedings{SCALA20p57,
author = {Alexander Merritt},
title = {ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3426426.3434120},
year = {2020},
}
Publisher's Version
Article: scala20main-ivt2-p doi:10.1145/3426426.3434120
|
| |
Odersky, Martin
|
SCALA '20: "Semantics-Preserving Inlining ..."
Semantics-Preserving Inlining for Metaprogramming
Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{SCALA20p29,
author = {Nicolas Stucki and Aggelos Biboudis and Sébastien Doeraene and Martin Odersky},
title = {Semantics-Preserving Inlining for Metaprogramming},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426426.3428486},
year = {2020},
}
Publisher's Version
Article: scala20main-p4-p doi:10.1145/3426426.3428486
|
| |
Sen, Koushik
|
SCALA '20: "ScalaPy: Seamless Python Interoperability ..."
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Shadaj Laddad and Koushik Sen
(University of California at Berkeley, USA)
@InProceedings{SCALA20p15,
author = {Shadaj Laddad and Koushik Sen},
title = {ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3426426.3428485},
year = {2020},
}
Publisher's Version
Article: scala20main-p3-p doi:10.1145/3426426.3428485
|
| |
Stucki, Nicolas |
SCALA '20: "Semantics-Preserving Inlining ..."
Semantics-Preserving Inlining for Metaprogramming
Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{SCALA20p29,
author = {Nicolas Stucki and Aggelos Biboudis and Sébastien Doeraene and Martin Odersky},
title = {Semantics-Preserving Inlining for Metaprogramming},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426426.3428486},
year = {2020},
}
Publisher's Version
Article: scala20main-p4-p doi:10.1145/3426426.3428486
|