Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/toplas/Appel15,
  author       = {Andrew W. Appel},
  title        = {Verification of a Cryptographic Primitive: {SHA-256}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {2},
  pages        = {7:1--7:31},
  year         = {2015},
  url          = {https://doi.org/10.1145/2701415},
  doi          = {10.1145/2701415},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Appel15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BettsCDKQTW15,
  author       = {Adam Betts and
                  Nathan Chong and
                  Alastair F. Donaldson and
                  Jeroen Ketema and
                  Shaz Qadeer and
                  Paul Thomson and
                  John Wickerson},
  title        = {The Design and Implementation of a Verification Technique for {GPU}
                  Kernels},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {3},
  pages        = {10:1--10:49},
  year         = {2015},
  url          = {https://doi.org/10.1145/2743017},
  doi          = {10.1145/2743017},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BettsCDKQTW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BugliesiCEM15,
  author       = {Michele Bugliesi and
                  Stefano Calzavara and
                  Fabienne Eigner and
                  Matteo Maffei},
  title        = {Affine Refinement Types for Secure Distributed Programming},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {4},
  pages        = {11:1--11:66},
  year         = {2015},
  url          = {https://doi.org/10.1145/2743018},
  doi          = {10.1145/2743018},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BugliesiCEM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FrechtlingL15,
  author       = {Michael Frechtling and
                  Philip Heng Wai Leong},
  title        = {{MCALIB:} Measuring Sensitivity to Rounding Error with Monte Carlo
                  Programming},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {2},
  pages        = {5:1--5:25},
  year         = {2015},
  url          = {https://doi.org/10.1145/2665073},
  doi          = {10.1145/2665073},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/FrechtlingL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GrosserV015,
  author       = {Tobias Grosser and
                  Sven Verdoolaege and
                  Albert Cohen},
  title        = {Polyhedral {AST} Generation Is More Than Scanning Polyhedra},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {4},
  pages        = {12:1--12:50},
  year         = {2015},
  url          = {https://doi.org/10.1145/2743016},
  doi          = {10.1145/2743016},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GrosserV015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KasikciZC15,
  author       = {Baris Kasikci and
                  Cristian Zamfir and
                  George Candea},
  title        = {Automated Classification of Data Races Under Both Strong and Weak
                  Memory Models},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {3},
  pages        = {8:1--8:44},
  year         = {2015},
  url          = {https://doi.org/10.1145/2734118},
  doi          = {10.1145/2734118},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/KasikciZC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LeavensN15,
  author       = {Gary T. Leavens and
                  David A. Naumann},
  title        = {Behavioral Subtyping, Specification Inheritance, and Modular Reasoning},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {4},
  pages        = {13:1--13:88},
  year         = {2015},
  url          = {https://doi.org/10.1145/2766446},
  doi          = {10.1145/2766446},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LeavensN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/PatrignaniAS0CP15,
  author       = {Marco Patrignani and
                  Pieter Agten and
                  Raoul Strackx and
                  Bart Jacobs and
                  Dave Clarke and
                  Frank Piessens},
  title        = {Secure Compilation to Protected Module Architectures},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {2},
  pages        = {6:1--6:50},
  year         = {2015},
  url          = {https://doi.org/10.1145/2699503},
  doi          = {10.1145/2699503},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/PatrignaniAS0CP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/WangSH15,
  author       = {Farn Wang and
                  Sven Schewe and
                  Chung{-}Hao Huang},
  title        = {An Extension of {ATL} with Strategy Interaction},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {3},
  pages        = {9:1--9:41},
  year         = {2015},
  url          = {https://doi.org/10.1145/2734117},
  doi          = {10.1145/2734117},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/WangSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DemetrescuFR14,
  author       = {Camil Demetrescu and
                  Irene Finocchi and
                  Andrea Ribichini},
  title        = {Reactive Imperative Programming with Dataflow Constraints},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {1},
  pages        = {3:1--3:53},
  year         = {2014},
  url          = {https://doi.org/10.1145/2623200},
  doi          = {10.1145/2623200},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DemetrescuFR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GangeNSSS14,
  author       = {Graeme Gange and
                  Jorge A. Navas and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Peter J. Stuckey},
  title        = {Interval Analysis and Machine Arithmetic: Why Signedness Ignorance
                  Is Bliss},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {1},
  pages        = {1:1--1:35},
  year         = {2014},
  url          = {https://doi.org/10.1145/2651360},
  doi          = {10.1145/2651360},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GangeNSSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/NowatzkiSCSER14,
  author       = {Tony Nowatzki and
                  Michael Sartin{-}Tarm and
                  Lorenzo De Carli and
                  Karthikeyan Sankaralingam and
                  Cristian Estan and
                  Behnam Robatmili},
  title        = {A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving
                  Theories},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {1},
  pages        = {2:1--2:30},
  year         = {2014},
  url          = {https://doi.org/10.1145/2658993},
  doi          = {10.1145/2658993},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/NowatzkiSCSER14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Palsberg14,
  author       = {Jens Palsberg},
  title        = {Editorial},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {1},
  pages        = {1e:1},
  year         = {2014},
  url          = {https://doi.org/10.1145/2683389},
  doi          = {10.1145/2683389},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Palsberg14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/PorterBRMW14,
  author       = {Donald E. Porter and
                  Michael D. Bond and
                  Indrajit Roy and
                  Kathryn S. McKinley and
                  Emmett Witchel},
  title        = {Practical Fine-Grained Information Flow Control Using Laminar},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {37},
  number       = {1},
  pages        = {4:1--4:51},
  year         = {2014},
  url          = {https://doi.org/10.1145/2638548},
  doi          = {10.1145/2638548},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/PorterBRMW14.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.