Search dblp for Publications

export results for "toc:db/journals/sigplan/sigplan47.bht:"

 download as .bib file

@article{DBLP:journals/sigplan/000112,
  author       = {Benjamin Zorn},
  title        = {{CACM} research highlights annual report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {11--12},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448983},
  doi          = {10.1145/2442776.2448983},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/000112.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/000112a,
  author       = {Michael Hicks},
  title        = {POPL'12 program chair's report: (or, how to run a medium-sized conference)},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {19--27},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442779},
  doi          = {10.1145/2442776.2442779},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/000112a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BallMMR12,
  author       = {Thomas Ball and
                  Rupak Majumdar and
                  Todd D. Millstein and
                  Sriram K. Rajamani},
  title        = {Automatic predicate abstraction of {C} programs},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {37--47},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442783},
  doi          = {10.1145/2442776.2442783},
  timestamp    = {Tue, 09 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/BallMMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Black12,
  author       = {Andrew P. Black},
  title        = {{SIGPLAN} secretary's report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {4--5},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448979},
  doi          = {10.1145/2442776.2448979},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Black12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Cifuentes12,
  author       = {Cristina Cifuentes},
  title        = {{SIGPLAN} treasurer's report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {6},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448980},
  doi          = {10.1145/2442776.2448980},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Cifuentes12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/CzajkowskiD12,
  author       = {Grzegorz Czajkowski and
                  Laurent Dayn{\`{e}}s},
  title        = {Multitasking without compromise: a virtual machine evolution},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {60--73},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442785},
  doi          = {10.1145/2442776.2442785},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/CzajkowskiD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Danvy12,
  author       = {Olivier Danvy},
  title        = {On submissions and resubmissions},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {28--29},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442780},
  doi          = {10.1145/2442776.2442780},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Danvy12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FisherGW12,
  author       = {Kathleen Fisher and
                  Ronald Garcia and
                  Stephanie Weirich},
  title        = {Nourishing the future of the field: the programming language mentoring
                  workshop 2012},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {14--15},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448985},
  doi          = {10.1145/2442776.2448985},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/FisherGW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Grossman12,
  author       = {Dan Grossman},
  title        = {Report on the {SIGPLAN} education board and related activities},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {9--10},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448982},
  doi          = {10.1145/2442776.2448982},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Grossman12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Hosking12,
  author       = {Antony L. Hosking},
  title        = {Most influential papers of ICFP, OOPSLA, PLDI, and {POPL}},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {7--8},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448981},
  doi          = {10.1145/2442776.2448981},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Hosking12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Hutton12,
  author       = {Graham Hutton},
  title        = {{SIGPLAN} vice-chair's report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {3},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448978},
  doi          = {10.1145/2442776.2448978},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Hutton12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/NeculaMW12,
  author       = {George C. Necula and
                  Scott McPeak and
                  Westley Weimer},
  title        = {CCured: type-safe retrofitting of legacy code},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {74--85},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442786},
  doi          = {10.1145/2442776.2442786},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/NeculaMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Petrank012,
  author       = {Erez Petrank and
                  Benjamin Zorn},
  title        = {{SIGPLAN} professional activities committee report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {13},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448984},
  doi          = {10.1145/2442776.2448984},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Petrank012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Russo12,
  author       = {Claudio V. Russo},
  title        = {Recursive structures for standard {ML}},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {48--59},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442784},
  doi          = {10.1145/2442776.2442784},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Russo12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Sagiv12,
  author       = {Mooly Sagiv},
  title        = {POPL'11 program chair's report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {16--18},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442778},
  doi          = {10.1145/2442776.2442778},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Sagiv12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/VitekK12,
  author       = {Jan Vitek and
                  Tomas Kalibera},
  title        = {{R3:} repeatability, reproducibility and rigor},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {30--36},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2442781},
  doi          = {10.1145/2442776.2442781},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/VitekK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Wadler12,
  author       = {Philip Wadler},
  title        = {{SIGPLAN} chair's report},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {47},
  number       = {4a},
  pages        = {1--2},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442776.2448977},
  doi          = {10.1145/2442776.2448977},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Wadler12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics