BibTeX records: Chucky Ellison

download as .bib file

@inproceedings{DBLP:conf/pldi/HathhornER15,
  author    = {Chris Hathhorn and
               Chucky Ellison and
               Grigore Rosu},
  editor    = {David Grove and
               Stephen M. Blackburn},
  title     = {Defining the undefinedness of {C}},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {336--345},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2737924.2737979},
  doi       = {10.1145/2737924.2737979},
  timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/HathhornER15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/entcs/SerbanutaALELR14,
  author    = {Traian{-}Florin Serbanuta and
               Andrei Arusoaie and
               David Lazar and
               Chucky Ellison and
               Dorel Lucanu and
               Grigore Rosu},
  title     = {The {K} Primer (version 3.3)},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {304},
  pages     = {57--80},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2014.05.003},
  doi       = {10.1016/j.entcs.2014.05.003},
  timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/entcs/SerbanutaALELR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/LazarASEMLR12,
  author    = {David Lazar and
               Andrei Arusoaie and
               Traian{-}Florin Serbanuta and
               Chucky Ellison and
               Radu Mereuta and
               Dorel Lucanu and
               Grigore Rosu},
  editor    = {Dimitra Giannakopoulou and
               Dominique M{\'{e}}ry},
  title     = {Executing Formal Semantics with the {K} Tool},
  booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7436},
  pages     = {267--271},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9\_23},
  doi       = {10.1007/978-3-642-32759-9\_23},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/LazarASEMLR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/RegehrCCEEY12,
  author    = {John Regehr and
               Yang Chen and
               Pascal Cuoq and
               Eric Eide and
               Chucky Ellison and
               Xuejun Yang},
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {Test-case reduction for {C} compiler bugs},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages     = {335--346},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2254064.2254104},
  doi       = {10.1145/2254064.2254104},
  timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/RegehrCCEEY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/EllisonR12,
  author    = {Chucky Ellison and
               Grigore Rosu},
  editor    = {John Field and
               Michael Hicks},
  title     = {An executable formal semantics of {C} with applications},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  pages     = {533--544},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2103656.2103719},
  doi       = {10.1145/2103656.2103719},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/EllisonR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/ArusoaieSER12,
  author    = {Andrei Arusoaie and
               Traian{-}Florin Serbanuta and
               Chucky Ellison and
               Grigore Rosu},
  editor    = {Francisco Dur{\'{a}}n},
  title     = {Making Maude Definitions More Interactive},
  booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
               {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
               March 24-25, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7571},
  pages     = {83--98},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34005-5\_5},
  doi       = {10.1007/978-3-642-34005-5\_5},
  timestamp = {Mon, 28 Jun 2021 11:09:20 +0200},
  biburl    = {https://dblp.org/rec/conf/wrla/ArusoaieSER12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/RosuES10,
  author    = {Grigore Rosu and
               Chucky Ellison and
               Wolfram Schulte},
  editor    = {Michael Johnson and
               Dusko Pavlovic},
  title     = {Matching Logic: An Alternative to Hoare/Floyd Logic},
  booktitle = {Algebraic Methodology and Software Technology - 13th International
               Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6486},
  pages     = {142--162},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17796-5\_9},
  doi       = {10.1007/978-3-642-17796-5\_9},
  timestamp = {Sun, 25 Oct 2020 23:16:25 +0100},
  biburl    = {https://dblp.org/rec/conf/amast/RosuES10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/EllisonSR08,
  author    = {Chucky Ellison and
               Traian{-}Florin Serbanuta and
               Grigore Rosu},
  editor    = {Andrea Corradini and
               Ugo Montanari},
  title     = {A Rewriting Logic Approach to Type Inference},
  booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
               Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5486},
  pages     = {135--151},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-642-03429-9\_10},
  doi       = {10.1007/978-3-642-03429-9\_10},
  timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl    = {https://dblp.org/rec/conf/wadt/EllisonSR08.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.