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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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