BibTeX records: Hugo Pacheco 0001

download as .bib file

@article{DBLP:journals/corr/abs-1911-03262,
  author    = {Hugo Pacheco and
               Nuno Macedo},
  title     = {{ROSY:} An elegant language to teach the pure reactive nature of robot
               programming},
  journal   = {CoRR},
  volume    = {abs/1911.03262},
  year      = {2019},
  url       = {http://arxiv.org/abs/1911.03262},
  archivePrefix = {arXiv},
  eprint    = {1911.03262},
  timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1911-03262},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlmeidaCM0P18,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Alcino Cunha and
               Nuno Macedo and
               Hugo Pacheco and
               Jos{\'{e}} Proen{\c{c}}a},
  title     = {Teaching how to program using automated assessment and functional
               glossy games (experience report)},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {82:1--82:17},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236777},
  doi       = {10.1145/3236777},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/AlmeidaCM0P18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlmeidaBB0PP18,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Hugo Pacheco and
               Vitor Pereira and
               Bernardo Portela},
  title     = {Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing
               {MPC} Frameworks},
  booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
               United Kingdom, July 9-12, 2018},
  pages     = {132--146},
  year      = {2018},
  crossref  = {DBLP:conf/csfw/2018},
  url       = {https://doi.org/10.1109/CSF.2018.00017},
  doi       = {10.1109/CSF.2018.00017},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/AlmeidaBB0PP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlmeidaBBPPP18,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Hugo Pacheco and
               Vitor Pereira and
               Bernardo Portela},
  title     = {Enforcing ideal-world leakage bounds in real-world secret sharing
               {MPC} frameworks},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2018},
  pages     = {404},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/404},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/AlmeidaBBPPP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlmeidaBBBGLOPS17,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Gilles Barthe and
               Arthur Blot and
               Benjamin Gr{\'{e}}goire and
               Vincent Laporte and
               Tiago Oliveira and
               Hugo Pacheco and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {Jasmin: High-Assurance and High-Speed Cryptography},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  pages     = {1807--1823},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017},
  url       = {https://doi.org/10.1145/3133956.3134078},
  doi       = {10.1145/3133956.3134078},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AlmeidaBBBGLOPS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AlmeidaBPP16,
  author    = {Jos{\'{e}} Bacelar Almeida and
               Manuel Barbosa and
               Hugo Pacheco and
               Vitor Pereira},
  title     = {A Tool-Chain for High-Assurance Cryptographic Software},
  journal   = {{ERCIM} News},
  volume    = {2016},
  number    = {106},
  year      = {2016},
  url       = {http://ercim-news.ercim.eu/en106/special/a-tool-chain-for-high-assurance-cryptographic-software},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/AlmeidaBPP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/FischerHP15,
  author    = {Sebastian Fischer and
               Zhenjiang Hu and
               Hugo Pacheco},
  title     = {The essence of bidirectional programming},
  journal   = {{SCIENCE} {CHINA} Information Sciences},
  volume    = {58},
  number    = {5},
  pages     = {1--21},
  year      = {2015},
  url       = {https://doi.org/10.1007/s11432-015-5316-8},
  doi       = {10.1007/s11432-015-5316-8},
  timestamp = {Mon, 01 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/chinaf/FischerHP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FischerHP15,
  author    = {Sebastian Fischer and
               Zhenjiang Hu and
               Hugo Pacheco},
  title     = {A Clear Picture of Lens Laws - Functional Pearl},
  booktitle = {Mathematics of Program Construction - 12th International Conference,
               {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
               Proceedings},
  pages     = {215--223},
  year      = {2015},
  crossref  = {DBLP:conf/mpc/2015},
  url       = {https://doi.org/10.1007/978-3-319-19797-5\_10},
  doi       = {10.1007/978-3-319-19797-5\_10},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/FischerHP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/MacedoCP14,
  author    = {Nuno Macedo and
               Alcino Cunha and
               Hugo Pacheco},
  title     = {Towards a Framework for Multidirectional Model Transformations},
  booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
               {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
  pages     = {71--74},
  year      = {2014},
  crossref  = {DBLP:conf/edbt/2014w},
  url       = {http://ceur-ws.org/Vol-1133/paper-11.pdf},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/MacedoCP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HuPF14,
  author    = {Zhenjiang Hu and
               Hugo Pacheco and
               Sebastian Fischer},
  title     = {Validity Checking of Putback Transformations in Bidirectional Programming},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {1--15},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_1},
  doi       = {10.1007/978-3-319-06410-9\_1},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HuPF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZanPH14,
  author    = {Tao Zan and
               Hugo Pacheco and
               Zhenjiang Hu},
  title     = {Writing bidirectional model transformations as intentional updates},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  pages     = {488--491},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014c},
  url       = {https://doi.org/10.1145/2591062.2591102},
  doi       = {10.1145/2591062.2591102},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/ZanPH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PachecoHF14,
  author    = {Hugo Pacheco and
               Zhenjiang Hu and
               Sebastian Fischer},
  title     = {Monadic combinators for "Putback" style bidirectional programming},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  pages     = {39--50},
  year      = {2014},
  crossref  = {DBLP:conf/pepm/2014},
  url       = {https://doi.org/10.1145/2543728.2543737},
  doi       = {10.1145/2543728.2543737},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/PachecoHF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PachecoZH14,
  author    = {Hugo Pacheco and
               Tao Zan and
               Zhenjiang Hu},
  title     = {BiFluX: {A} Bidirectional Functional Update Language for {XML}},
  booktitle = {Proceedings of the 16th International Symposium on Principles and
               Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
               September 8-10, 2014},
  pages     = {147--158},
  year      = {2014},
  crossref  = {DBLP:conf/ppdp/2014},
  url       = {https://doi.org/10.1145/2643135.2643141},
  doi       = {10.1145/2643135.2643141},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/PachecoZH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MacedoPSC14,
  author    = {Nuno Macedo and
               Hugo Pacheco and
               Nuno Rocha Sousa and
               Alcino Cunha},
  title     = {Bidirectional spreadsheet formulas},
  booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
               {VL/HCC} 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014},
  pages     = {161--168},
  year      = {2014},
  crossref  = {DBLP:conf/vl/2014},
  url       = {https://doi.org/10.1109/VLHCC.2014.6883041},
  doi       = {10.1109/VLHCC.2014.6883041},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/MacedoPSC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MacedoPCO13,
  author    = {Nuno Macedo and
               Hugo Pacheco and
               Alcino Cunha and
               Jos{\'{e}} Nuno Oliveira},
  title     = {Composing Least-change Lenses},
  journal   = {{ECEASST}},
  volume    = {57},
  year      = {2013},
  url       = {https://doi.org/10.14279/tuj.eceasst.57.868},
  doi       = {10.14279/tuj.eceasst.57.868},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/MacedoPCO13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PachecoMCV13,
  author    = {Hugo Pacheco and
               Nuno Macedo and
               Alcino Cunha and
               Janis Voigtl{\"{a}}nder},
  title     = {A Generic Scheme and Properties of Bidirectional Transformations},
  journal   = {CoRR},
  volume    = {abs/1306.4473},
  year      = {2013},
  url       = {http://arxiv.org/abs/1306.4473},
  archivePrefix = {arXiv},
  eprint    = {1306.4473},
  timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PachecoMCV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PachecoCH12,
  author    = {Hugo Pacheco and
               Alcino Cunha and
               Zhenjiang Hu},
  title     = {Delta Lenses over Inductive Types},
  journal   = {{ECEASST}},
  volume    = {49},
  year      = {2012},
  url       = {https://doi.org/10.14279/tuj.eceasst.49.713},
  doi       = {10.14279/tuj.eceasst.49.713},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/PachecoCH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MacedoPC12,
  author    = {Nuno Macedo and
               Hugo Pacheco and
               Alcino Cunha},
  title     = {Relations as Executable Specifications: Taming Partiality and Non-determinism
               Using Invariants},
  booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  pages     = {146--161},
  year      = {2012},
  crossref  = {DBLP:conf/RelMiCS/2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9\_10},
  doi       = {10.1007/978-3-642-33314-9\_10},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/MacedoPC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/PachecoC12,
  author    = {Hugo Pacheco and
               Alcino Cunha},
  title     = {Multifocal: {A} Strategic Bidirectional Transformation Language for
               {XML} Schemas},
  booktitle = {Theory and Practice of Model Transformations - 5th International Conference,
               {ICMT} 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
  pages     = {89--104},
  year      = {2012},
  crossref  = {DBLP:conf/icmt/2012},
  url       = {https://doi.org/10.1007/978-3-642-30476-7\_6},
  doi       = {10.1007/978-3-642-30476-7\_6},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmt/PachecoC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/CunhaFMPS12,
  author    = {J{\'{a}}come Cunha and
               Jo{\~{a}}o Paulo Fernandes and
               Jorge Mendes and
               Hugo Pacheco and
               Jo{\~{a}}o Saraiva},
  title     = {Bidirectional Transformation of Model-Driven Spreadsheets},
  booktitle = {Theory and Practice of Model Transformations - 5th International Conference,
               {ICMT} 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
  pages     = {105--120},
  year      = {2012},
  crossref  = {DBLP:conf/icmt/2012},
  url       = {https://doi.org/10.1007/978-3-642-30476-7\_7},
  doi       = {10.1007/978-3-642-30476-7\_7},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmt/CunhaFMPS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CunhaP11,
  author    = {Alcino Cunha and
               Hugo Pacheco},
  title     = {Algebraic Specialization of Generic Functions for Recursive Types},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {229},
  number    = {5},
  pages     = {57--74},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.02.016},
  doi       = {10.1016/j.entcs.2011.02.016},
  timestamp = {Mon, 01 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CunhaP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PachecoC11,
  author    = {Hugo Pacheco and
               Alcino Cunha},
  title     = {Calculating with lenses: optimising bidirectional transformations},
  booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
               2011},
  pages     = {91--100},
  year      = {2011},
  crossref  = {DBLP:conf/pepm/2011},
  url       = {https://doi.org/10.1145/1929501.1929520},
  doi       = {10.1145/1929501.1929520},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/PachecoC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PachecoC10,
  author    = {Hugo Pacheco and
               Alcino Cunha},
  title     = {Generic Point-free Lenses},
  booktitle = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  pages     = {331--352},
  year      = {2010},
  crossref  = {DBLP:conf/mpc/2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3\_19},
  doi       = {10.1007/978-3-642-13321-3\_19},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/PachecoC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CunhaP09,
  author    = {Alcino Cunha and
               Hugo Pacheco},
  title     = {Mapping between Alloy Specifications and Database Implementations},
  booktitle = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages     = {285--294},
  year      = {2009},
  crossref  = {DBLP:conf/sefm/2009},
  url       = {https://doi.org/10.1109/SEFM.2009.27},
  doi       = {10.1109/SEFM.2009.27},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/CunhaP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BerdaguerCPV07,
  author    = {Pablo Berdaguer and
               Alcino Cunha and
               Hugo Pacheco and
               Joost Visser},
  title     = {Coupled Schema Transformation and Data Conversion for {XML} and {SQL}},
  booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
               {PADL} 2007, Nice, France, January 14-15, 2007},
  pages     = {290--304},
  year      = {2007},
  crossref  = {DBLP:conf/padl/2007},
  url       = {https://doi.org/10.1007/978-3-540-69611-7\_19},
  doi       = {10.1007/978-3-540-69611-7\_19},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/BerdaguerCPV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csfw/2018,
  title     = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
               United Kingdom, July 9-12, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8428826/proceeding},
  isbn      = {978-1-5386-6680-7},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csfw/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2017,
  editor    = {Bhavani M. Thuraisingham and
               David Evans and
               Tal Malkin and
               Dongyan Xu},
  title     = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
               November 03, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133956},
  doi       = {10.1145/3133956},
  isbn      = {978-1-4503-4946-8},
  timestamp = {Tue, 06 Nov 2018 11:07:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
  editor    = {Ralf Hinze and
               Janis Voigtl{\"{a}}nder},
  title     = {Mathematics of Program Construction - 12th International Conference,
               {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9129},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19797-5},
  doi       = {10.1007/978-3-319-19797-5},
  isbn      = {978-3-319-19796-8},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edbt/2014w,
  editor    = {K. Sel{\c{c}}uk Candan and
               Sihem Amer{-}Yahia and
               Nicole Schweikardt and
               Vassilis Christophides and
               Vincent Leroy},
  title     = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
               {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1133},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1133},
  urn       = {urn:nbn:de:0074-1133-4},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2014,
  editor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  title     = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9},
  doi       = {10.1007/978-3-319-06410-9},
  isbn      = {978-3-319-06409-3},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014c,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2591062},
  isbn      = {978-1-4503-2768-8},
  timestamp = {Sun, 18 May 2014 16:18:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2014,
  editor    = {Wei{-}Ngan Chin and
               Jurriaan Hage},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2543728},
  isbn      = {978-1-4503-2619-3},
  timestamp = {Thu, 09 Jan 2014 10:44:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
  editor    = {Olaf Chitil and
               Andy King and
               Olivier Danvy},
  title     = {Proceedings of the 16th International Symposium on Principles and
               Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
               September 8-10, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2643135},
  isbn      = {978-1-4503-2947-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2014,
  editor    = {Scott D. Fleming and
               Andrew Fish and
               Christopher Scaffidi},
  title     = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
               {VL/HCC} 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6878991/proceeding},
  isbn      = {978-1-4799-4035-6},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2012,
  editor    = {Wolfram Kahl and
               Timothy G. Griffin},
  title     = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7560},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9},
  doi       = {10.1007/978-3-642-33314-9},
  isbn      = {978-3-642-33313-2},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmt/2012,
  editor    = {Zhenjiang Hu and
               Juan de Lara},
  title     = {Theory and Practice of Model Transformations - 5th International Conference,
               {ICMT} 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7307},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30476-7},
  doi       = {10.1007/978-3-642-30476-7},
  isbn      = {978-3-642-30475-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icmt/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2011,
  editor    = {Siau{-}Cheng Khoo and
               Jeremy G. Siek},
  title     = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1929501},
  isbn      = {978-1-4503-0485-6},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2010,
  editor    = {Claude Bolduc and
               Jules Desharnais and
               B{\'{e}}chir Ktari},
  title     = {Mathematics of Program Construction, 10th International Conference,
               {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6120},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13321-3},
  doi       = {10.1007/978-3-642-13321-3},
  isbn      = {978-3-642-13320-6},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2009,
  editor    = {Dang Van Hung and
               Padmanabhan Krishnan},
  title     = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5368044/proceeding},
  isbn      = {978-0-7695-3870-9},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2007,
  editor    = {Michael Hanus},
  title     = {Practical Aspects of Declarative Languages, 9th International Symposium,
               {PADL} 2007, Nice, France, January 14-15, 2007},
  series    = {Lecture Notes in Computer Science},
  volume    = {4354},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69611-7},
  doi       = {10.1007/978-3-540-69611-7},
  isbn      = {978-3-540-69608-7},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics