| |
Bodin, Martin
|
DLS '18: "A Trustworthy Mechanized Formalization ..."
A Trustworthy Mechanized Formalization of R
Martin Bodin, Tomás Diaz, and Éric Tanter
(University of Chile, Chile)
@InProceedings{DLS18p15,
author = {Martin Bodin and Tomás Diaz and Éric Tanter},
title = {A Trustworthy Mechanized Formalization of R},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3276945.3276946},
year = {2018},
}
 Publisher's Version
Article: dls18main-id2-p doi:10.1145/3276945.3276946
|
| |
Chari, Guido
|
DLS '18: "Self-Contained Development ..."
Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, and Olivier Flückiger
(Czech Technical University, Czechia; Palantir Solutions, Argentina; Northeastern University, USA)
@InProceedings{DLS18p85,
author = {Guido Chari and Javier Pimás and Jan Vitek and Olivier Flückiger},
title = {Self-Contained Development Environments},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3276945.3276948},
year = {2018},
}
Publisher's Version
Article: dls18main-id8-p doi:10.1145/3276945.3276948
|
| |
Chen, Hanfeng |
DLS '18: "HorseIR: Bringing Array Programming ..."
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p43,
author = {Hanfeng Chen and Joseph Vinish D'silva and Hongji Chen and Bettina Kemme and Laurie Hendren},
title = {HorseIR: Bringing Array Programming Languages Together with Database Query Processing},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3276945.3276951},
year = {2018},
}
Publisher's Version
Article: dls18main-id13-p doi:10.1145/3276945.3276951
DLS '18: "Numerical Computing on the ..."
Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p99,
author = {David Herrera and Hanfeng Chen and Erick Lavoie and Laurie Hendren},
title = {Numerical Computing on the Web: Benchmarking for the Future},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3276945.3276968},
year = {2018},
}
Publisher's Version
Article: dls18main-id16-p doi:10.1145/3276945.3276968
|
| |
Chen, Hongji |
DLS '18: "HorseIR: Bringing Array Programming ..."
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p43,
author = {Hanfeng Chen and Joseph Vinish D'silva and Hongji Chen and Bettina Kemme and Laurie Hendren},
title = {HorseIR: Bringing Array Programming Languages Together with Database Query Processing},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3276945.3276951},
year = {2018},
}
Publisher's Version
Article: dls18main-id13-p doi:10.1145/3276945.3276951
|
| |
Diaz, Tomás
|
DLS '18: "A Trustworthy Mechanized Formalization ..."
A Trustworthy Mechanized Formalization of R
Martin Bodin, Tomás Diaz, and Éric Tanter
(University of Chile, Chile)
@InProceedings{DLS18p15,
author = {Martin Bodin and Tomás Diaz and Éric Tanter},
title = {A Trustworthy Mechanized Formalization of R},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3276945.3276946},
year = {2018},
}
Publisher's Version
Article: dls18main-id2-p doi:10.1145/3276945.3276946
|
| |
D'silva, Joseph Vinish |
DLS '18: "HorseIR: Bringing Array Programming ..."
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p43,
author = {Hanfeng Chen and Joseph Vinish D'silva and Hongji Chen and Bettina Kemme and Laurie Hendren},
title = {HorseIR: Bringing Array Programming Languages Together with Database Query Processing},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3276945.3276951},
year = {2018},
}
Publisher's Version
Article: dls18main-id13-p doi:10.1145/3276945.3276951
|
| |
Flückiger, Olivier
|
DLS '18: "Self-Contained Development ..."
Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, and Olivier Flückiger
(Czech Technical University, Czechia; Palantir Solutions, Argentina; Northeastern University, USA)
@InProceedings{DLS18p85,
author = {Guido Chari and Javier Pimás and Jan Vitek and Olivier Flückiger},
title = {Self-Contained Development Environments},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3276945.3276948},
year = {2018},
}
Publisher's Version
Article: dls18main-id8-p doi:10.1145/3276945.3276948
|
| |
Greenman, Ben
|
DLS '18: "The Behavior of Gradual Types: ..."
The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA; Northeastern University, USA)
@InProceedings{DLS18p1,
author = {Preston Tunnell Wilson and Ben Greenman and Justin Pombrio and Shriram Krishnamurthi},
title = {The Behavior of Gradual Types: A User Study},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3276945.3276947},
year = {2018},
}
Publisher's Version
Article: dls18main-id19-p doi:10.1145/3276945.3276947
|
| |
Harari, Gil
|
DLS '18: "Query-Based Object-Oriented ..."
Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, and Uri Kolodny
(cdl-lang.org, Netherlands; cdl-lang.org, Israel)
@InProceedings{DLS18p71,
author = {Yoav Seginer and Theo Vosse and Gil Harari and Uri Kolodny},
title = {Query-Based Object-Oriented Programming: A Declarative Web of Objects},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3276945.3276949},
year = {2018},
}
Publisher's Version
Article: dls18main-id10-p doi:10.1145/3276945.3276949
|
| |
Hendren, Laurie |
DLS '18: "HorseIR: Bringing Array Programming ..."
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p43,
author = {Hanfeng Chen and Joseph Vinish D'silva and Hongji Chen and Bettina Kemme and Laurie Hendren},
title = {HorseIR: Bringing Array Programming Languages Together with Database Query Processing},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3276945.3276951},
year = {2018},
}
Publisher's Version
Article: dls18main-id13-p doi:10.1145/3276945.3276951
DLS '18: "Numerical Computing on the ..."
Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p99,
author = {David Herrera and Hanfeng Chen and Erick Lavoie and Laurie Hendren},
title = {Numerical Computing on the Web: Benchmarking for the Future},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3276945.3276968},
year = {2018},
}
Publisher's Version
Article: dls18main-id16-p doi:10.1145/3276945.3276968
|
| |
Herrera, David |
DLS '18: "Numerical Computing on the ..."
Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p99,
author = {David Herrera and Hanfeng Chen and Erick Lavoie and Laurie Hendren},
title = {Numerical Computing on the Web: Benchmarking for the Future},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3276945.3276968},
year = {2018},
}
Publisher's Version
Article: dls18main-id16-p doi:10.1145/3276945.3276968
|
| |
Kemme, Bettina
|
DLS '18: "HorseIR: Bringing Array Programming ..."
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p43,
author = {Hanfeng Chen and Joseph Vinish D'silva and Hongji Chen and Bettina Kemme and Laurie Hendren},
title = {HorseIR: Bringing Array Programming Languages Together with Database Query Processing},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3276945.3276951},
year = {2018},
}
Publisher's Version
Article: dls18main-id13-p doi:10.1145/3276945.3276951
|
| |
Kolodny, Uri |
DLS '18: "Query-Based Object-Oriented ..."
Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, and Uri Kolodny
(cdl-lang.org, Netherlands; cdl-lang.org, Israel)
@InProceedings{DLS18p71,
author = {Yoav Seginer and Theo Vosse and Gil Harari and Uri Kolodny},
title = {Query-Based Object-Oriented Programming: A Declarative Web of Objects},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3276945.3276949},
year = {2018},
}
Publisher's Version
Article: dls18main-id10-p doi:10.1145/3276945.3276949
|
| |
Krishnamurthi, Shriram |
DLS '18: "The Behavior of Gradual Types: ..."
The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA; Northeastern University, USA)
@InProceedings{DLS18p1,
author = {Preston Tunnell Wilson and Ben Greenman and Justin Pombrio and Shriram Krishnamurthi},
title = {The Behavior of Gradual Types: A User Study},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3276945.3276947},
year = {2018},
}
Publisher's Version
Article: dls18main-id19-p doi:10.1145/3276945.3276947
|
| |
Lavoie, Erick
|
DLS '18: "Numerical Computing on the ..."
Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, and Laurie Hendren
(McGill University, Canada)
@InProceedings{DLS18p99,
author = {David Herrera and Hanfeng Chen and Erick Lavoie and Laurie Hendren},
title = {Numerical Computing on the Web: Benchmarking for the Future},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3276945.3276968},
year = {2018},
}
Publisher's Version
Article: dls18main-id16-p doi:10.1145/3276945.3276968
|
| |
Marron, Mark
|
DLS '18: "Log++ Logging for a Cloud-Native ..."
Log++ Logging for a Cloud-Native World
Mark Marron
(Microsoft Research, USA)
@InProceedings{DLS18p29,
author = {Mark Marron},
title = {Log++ Logging for a Cloud-Native World},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3276945.3276952},
year = {2018},
}
Publisher's Version
Article: dls18main-id9-p doi:10.1145/3276945.3276952
|
| |
Pimás, Javier
|
DLS '18: "Self-Contained Development ..."
Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, and Olivier Flückiger
(Czech Technical University, Czechia; Palantir Solutions, Argentina; Northeastern University, USA)
@InProceedings{DLS18p85,
author = {Guido Chari and Javier Pimás and Jan Vitek and Olivier Flückiger},
title = {Self-Contained Development Environments},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3276945.3276948},
year = {2018},
}
Publisher's Version
Article: dls18main-id8-p doi:10.1145/3276945.3276948
|
| |
Pombrio, Justin |
DLS '18: "The Behavior of Gradual Types: ..."
The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA; Northeastern University, USA)
@InProceedings{DLS18p1,
author = {Preston Tunnell Wilson and Ben Greenman and Justin Pombrio and Shriram Krishnamurthi},
title = {The Behavior of Gradual Types: A User Study},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3276945.3276947},
year = {2018},
}
Publisher's Version
Article: dls18main-id19-p doi:10.1145/3276945.3276947
|
| |
Seginer, Yoav
|
DLS '18: "Query-Based Object-Oriented ..."
Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, and Uri Kolodny
(cdl-lang.org, Netherlands; cdl-lang.org, Israel)
@InProceedings{DLS18p71,
author = {Yoav Seginer and Theo Vosse and Gil Harari and Uri Kolodny},
title = {Query-Based Object-Oriented Programming: A Declarative Web of Objects},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3276945.3276949},
year = {2018},
}
Publisher's Version
Article: dls18main-id10-p doi:10.1145/3276945.3276949
|
| |
Serrano, Manuel |
DLS '18: "JavaScript AOT Compilation ..."
JavaScript AOT Compilation
Manuel Serrano
(Inria, France; University of Côte d'Azur, France)
@InProceedings{DLS18p57,
author = {Manuel Serrano},
title = {JavaScript AOT Compilation},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3276945.3276950},
year = {2018},
}
Publisher's Version
Article: dls18main-id7-p doi:10.1145/3276945.3276950
|
| |
Tanter, Éric
|
DLS '18: "A Trustworthy Mechanized Formalization ..."
A Trustworthy Mechanized Formalization of R
Martin Bodin, Tomás Diaz, and Éric Tanter
(University of Chile, Chile)
@InProceedings{DLS18p15,
author = {Martin Bodin and Tomás Diaz and Éric Tanter},
title = {A Trustworthy Mechanized Formalization of R},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3276945.3276946},
year = {2018},
}
Publisher's Version
Article: dls18main-id2-p doi:10.1145/3276945.3276946
|
| |
Tunnell Wilson, Preston |
DLS '18: "The Behavior of Gradual Types: ..."
The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA; Northeastern University, USA)
@InProceedings{DLS18p1,
author = {Preston Tunnell Wilson and Ben Greenman and Justin Pombrio and Shriram Krishnamurthi},
title = {The Behavior of Gradual Types: A User Study},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3276945.3276947},
year = {2018},
}
Publisher's Version
Article: dls18main-id19-p doi:10.1145/3276945.3276947
|
| |
Vitek, Jan
|
DLS '18: "Self-Contained Development ..."
Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, and Olivier Flückiger
(Czech Technical University, Czechia; Palantir Solutions, Argentina; Northeastern University, USA)
@InProceedings{DLS18p85,
author = {Guido Chari and Javier Pimás and Jan Vitek and Olivier Flückiger},
title = {Self-Contained Development Environments},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3276945.3276948},
year = {2018},
}
Publisher's Version
Article: dls18main-id8-p doi:10.1145/3276945.3276948
|
| |
Vosse, Theo |
DLS '18: "Query-Based Object-Oriented ..."
Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, and Uri Kolodny
(cdl-lang.org, Netherlands; cdl-lang.org, Israel)
@InProceedings{DLS18p71,
author = {Yoav Seginer and Theo Vosse and Gil Harari and Uri Kolodny},
title = {Query-Based Object-Oriented Programming: A Declarative Web of Objects},
booktitle = {Proc.\ DLS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3276945.3276949},
year = {2018},
}
Publisher's Version
Article: dls18main-id10-p doi:10.1145/3276945.3276949
|