Search dblp for Publications

export results for "toc:db/journals/toplas/toplas38.bht:"

 download as .bib file

@article{DBLP:journals/toplas/BalabonskiPP16,
  author       = {Thibaut Balabonski and
                  Fran{\c{c}}ois Pottier and
                  Jonathan Protzenko},
  title        = {The Design and Formalization of Mezzo, a Permission-Based Programming
                  Language},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {4},
  pages        = {14:1--14:94},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2837022},
  timestamp    = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BalabonskiPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BhaskaracharyaB16,
  author       = {Somashekaracharya G. Bhaskaracharya and
                  Uday Bondhugula and
                  Albert Cohen},
  title        = {Automatic Storage Optimization for Arrays},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {3},
  pages        = {11:1--11:23},
  year         = {2016},
  url          = {https://doi.org/10.1145/2845078},
  doi          = {10.1145/2845078},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BhaskaracharyaB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BlackburnDHSABB16,
  author       = {Stephen M. Blackburn and
                  Amer Diwan and
                  Matthias Hauswirth and
                  Peter F. Sweeney and
                  Jos{\'{e}} Nelson Amaral and
                  Tim Brecht and
                  Lubom{\'{\i}}r Bulej and
                  Cliff Click and
                  Lieven Eeckhout and
                  Sebastian Fischmeister and
                  Daniel Frampton and
                  Laurie J. Hendren and
                  Michael Hind and
                  Antony L. Hosking and
                  Richard E. Jones and
                  Tomas Kalibera and
                  Nathan Keynes and
                  Nathaniel Nystrom and
                  Andreas Zeller},
  title        = {The Truth, The Whole Truth, and Nothing But the Truth: {A} Pragmatic
                  Guide to Assessing Empirical Evaluations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {4},
  pages        = {15:1--15:20},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2983574},
  timestamp    = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BlackburnDHSABB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BondhugulaA016,
  author       = {Uday Bondhugula and
                  Aravind Acharya and
                  Albert Cohen},
  title        = {The Pluto+ Algorithm: {A} Practical Approach for Parallelization and
                  Locality Optimization of Affine Loop Nests},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {3},
  pages        = {12:1--12:32},
  year         = {2016},
  url          = {https://doi.org/10.1145/2896389},
  doi          = {10.1145/2896389},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BondhugulaA016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BrockschmidtE0F16,
  author       = {Marc Brockschmidt and
                  Fabian Emmes and
                  Stephan Falke and
                  Carsten Fuhs and
                  J{\"{u}}rgen Giesl},
  title        = {Analyzing Runtime and Size Complexity of Integer Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {4},
  pages        = {13:1--13:50},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2866575},
  timestamp    = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BrockschmidtE0F16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DissegnaLR16,
  author       = {Stefano Dissegna and
                  Francesco Logozzo and
                  Francesco Ranzato},
  title        = {An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {2},
  pages        = {7:1--7:50},
  year         = {2016},
  url          = {https://doi.org/10.1145/2853131},
  doi          = {10.1145/2853131},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DissegnaLR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DoddsJPSB16,
  author       = {Mike Dodds and
                  Suresh Jagannathan and
                  Matthew J. Parkinson and
                  Kasper Svendsen and
                  Lars Birkedal},
  title        = {Verifying Custom Synchronization Constructs Using Higher-Order Separation
                  Logic},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {2},
  pages        = {4:1--4:72},
  year         = {2016},
  url          = {https://doi.org/10.1145/2818638},
  doi          = {10.1145/2818638},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DoddsJPSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MarinoSMMN16,
  author       = {Daniel Marino and
                  Abhayendra Singh and
                  Todd D. Millstein and
                  Madanlal Musuvathi and
                  Satish Narayanasamy},
  title        = {DRF\emph{x}: An Understandable, High Performance, and Flexible Memory
                  Model for Concurrent Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {4},
  pages        = {16:1--16:40},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2925988},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/MarinoSMMN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/NorrisD16,
  author       = {Brian Norris and
                  Brian Demsky},
  title        = {A Practical Approach for Model Checking {C/C++11} Code},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {3},
  pages        = {10:1--10:51},
  year         = {2016},
  url          = {https://doi.org/10.1145/2806886},
  doi          = {10.1145/2806886},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/NorrisD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/OhLHYY16,
  author       = {Hakjoo Oh and
                  Wonchan Lee and
                  Kihong Heo and
                  Hongseok Yang and
                  Kwangkeun Yi},
  title        = {Selective X-Sensitive Analysis Guided by Impact Pre-Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {2},
  pages        = {6:1--6:45},
  year         = {2016},
  url          = {https://doi.org/10.1145/2821504},
  doi          = {10.1145/2821504},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/OhLHYY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Ryu16,
  author       = {Sukyoung Ryu},
  title        = {ThisType for Object-Oriented Languages: From Theory to Practice},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {3},
  pages        = {8:1--8:66},
  year         = {2016},
  url          = {https://doi.org/10.1145/2888392},
  doi          = {10.1145/2888392},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Ryu16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/WagnerLBF16,
  author       = {Gregor Wagner and
                  Per Larsen and
                  Stefan Brunthaler and
                  Michael Franz},
  title        = {Thinking Inside the Box: Compartmentalized Garbage Collection},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {3},
  pages        = {9:1--9:37},
  year         = {2016},
  url          = {https://doi.org/10.1145/2866576},
  doi          = {10.1145/2866576},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/WagnerLBF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/YiapanisBL16,
  author       = {Paraskevas Yiapanis and
                  Gavin Brown and
                  Mikel Luj{\'{a}}n},
  title        = {Compiler-Driven Software Speculation for Thread-Level Parallelism},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {2},
  pages        = {5:1--5:45},
  year         = {2016},
  url          = {https://doi.org/10.1145/2821505},
  doi          = {10.1145/2821505},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/YiapanisBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BiernackiDM15,
  author       = {Dariusz Biernacki and
                  Olivier Danvy and
                  Kevin Millikin},
  title        = {A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {1},
  pages        = {2:1--2:25},
  year         = {2015},
  url          = {https://doi.org/10.1145/2794078},
  doi          = {10.1145/2794078},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BiernackiDM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DAntoniVLM15,
  author       = {Loris D'Antoni and
                  Margus Veanes and
                  Benjamin Livshits and
                  David Molnar},
  title        = {Fast: {A} Transducer-Based Language for Tree Manipulation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {1},
  pages        = {1:1--1:32},
  year         = {2015},
  url          = {https://doi.org/10.1145/2791292},
  doi          = {10.1145/2791292},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DAntoniVLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GesbertGL15,
  author       = {Nils Gesbert and
                  Pierre Genev{\`{e}}s and
                  Nabil Laya{\"{\i}}da},
  title        = {A Logical Approach to Deciding Semantic Subtyping},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {1},
  pages        = {3:1--3:31},
  year         = {2015},
  url          = {https://doi.org/10.1145/2812805},
  doi          = {10.1145/2812805},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GesbertGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.