BibTeX records: Julian Seward

download as .bib file

@inproceedings{DBLP:conf/pldi/NethercoteS07,
  author       = {Nicholas Nethercote and
                  Julian Seward},
  editor       = {Jeanne Ferrante and
                  Kathryn S. McKinley},
  title        = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
                  Language Design and Implementation, San Diego, California, USA, June
                  10-13, 2007},
  pages        = {89--100},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1250734.1250746},
  doi          = {10.1145/1250734.1250746},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NethercoteS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vee/NethercoteS07,
  author       = {Nicholas Nethercote and
                  Julian Seward},
  editor       = {Chandra Krintz and
                  Steven Hand and
                  David Tarditi},
  title        = {How to shadow every byte of memory used by a program},
  booktitle    = {Proceedings of the 3rd International Conference on Virtual Execution
                  Environments, {VEE} 2007, San Diego, California, USA, June 13-15,
                  2007},
  pages        = {65--74},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1254810.1254820},
  doi          = {10.1145/1254810.1254820},
  timestamp    = {Tue, 20 Dec 2022 17:33:09 +0100},
  biburl       = {https://dblp.org/rec/conf/vee/NethercoteS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/usenix/SewardN05,
  author       = {Julian Seward and
                  Nicholas Nethercote},
  title        = {Using Valgrind to Detect Undefined Value Errors with Bit-Precision},
  booktitle    = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
                  10-15, 2005, Anaheim, CA, {USA}},
  pages        = {17--30},
  publisher    = {{USENIX}},
  year         = {2005},
  url          = {http://www.usenix.org/events/usenix05/tech/general/seward.html},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/SewardN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NethercoteS03,
  author       = {Nicholas Nethercote and
                  Julian Seward},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Valgrind: {A} Program Supervision Framework},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {44--66},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81042-9},
  doi          = {10.1016/S1571-0661(04)81042-9},
  timestamp    = {Fri, 16 Dec 2022 11:03:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NethercoteS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcc/Seward01,
  author       = {Julian Seward},
  title        = {Space-Time Tradeoffs in the Inverse {B-W} Transform},
  booktitle    = {Data Compression Conference, {DCC} 2001, Snowbird, Utah, USA, March
                  27-29, 2001},
  pages        = {439--448},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/DCC.2001.917175},
  doi          = {10.1109/DCC.2001.917175},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/Seward01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcc/Seward00,
  author       = {Julian Seward},
  title        = {On the Performance of {BWT} Sorting Algorithms},
  booktitle    = {Data Compression Conference, {DCC} 2000, Snowbird, Utah, USA, March
                  28-30, 2000},
  pages        = {173--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/DCC.2000.838157},
  doi          = {10.1109/DCC.2000.838157},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/Seward00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/JonesES00,
  author       = {Simon L. Peyton Jones and
                  Jean{-}Marc Eber and
                  Julian Seward},
  editor       = {Martin Odersky and
                  Philip Wadler},
  title        = {Composing contracts: an adventure in financial engineering, functional
                  pearl},
  booktitle    = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '00), Montreal, Canada, September
                  18-21, 2000},
  pages        = {280--292},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351240.351267},
  doi          = {10.1145/351240.351267},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/JonesES00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Seward95,
  author       = {Julian Seward},
  editor       = {Alan Mycroft},
  title        = {Beyond Prototype Implementations: Polymorphic Projection Analysis
                  for Glasgow Haskell},
  booktitle    = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
                  UK, September 25-27, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {983},
  pages        = {382--399},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60360-3\_51},
  doi          = {10.1007/3-540-60360-3\_51},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Seward95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Seward93,
  author       = {Julian Seward},
  editor       = {John T. O'Donnell and
                  Kevin Hammond},
  title        = {Solving recursive domain equations by term rewriting},
  booktitle    = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
                  Ayr, Scotland, UK, July 5-7, 1993},
  series       = {Workshops in Computing},
  pages        = {265--279},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-1-4471-3236-3\_21},
  doi          = {10.1007/978-1-4471-3236-3\_21},
  timestamp    = {Mon, 24 Jun 2019 15:54:14 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Seward93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Seward93,
  author       = {Julian Seward},
  editor       = {David A. Schmidt},
  title        = {Polymorphic Strictness Analysis using Frontiers},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
                  and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
                  June 14-16, 1993},
  pages        = {186--193},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/154630.154649},
  doi          = {10.1145/154630.154649},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/Seward93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwmm/Seward92,
  author       = {Julian Seward},
  editor       = {Yves Bekkers and
                  Jacques Cohen},
  title        = {Generational Garbage Collection for Lazy Graph Reduction},
  booktitle    = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
                  September 17-19, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {637},
  pages        = {200--217},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0017191},
  doi          = {10.1007/BFB0017191},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/Seward92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:books/daglib/0018739,
  author       = {Julian Seward},
  title        = {Towards a strictness analyser for Haskell - putting theory into practice},
  school       = {University of Manchester, {UK}},
  year         = {1991},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0018739.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.