Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Research
  5. José Pedro Magalhães
  6. Publications

José Pedro Magalhães : Publications

Click here to download all publications in a single bibtex file

@inproceedings{jpm:fghm:14,
  title = "Functional Generation of Harmony and Melody",
  author = "Magalh\~aes, Jos\'e Pedro and Koops, Hendrik Vincent",
  year = "2014",
  booktitle = "Proceedings of the Second ACM SIGPLAN Workshop on Functional Art, Music, Modeling \& Design",
  publisher = "ACM",
  series = "FARM~'14",
  doi = "10.1145/2633638.2633645",
}
@inproceedings{jpm:osie:14,
  title = "Optimizing {SYB} is Easy!",
  author = "Adams, Michael D. and Farmer, Andrew and Magalh\~aes, Jos\'e Pedro",
  year = "2014",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation",
  pages = "71--82",
  publisher = "ACM",
  series = "PEPM~'14",
  doi = "10.1145/2543728.2543730",
}
@incollection{jpm:gpmp:14,
  title = "Generic Programming with Multiple Parameters",
  author = "Magalh\~aes, Jos\'e Pedro",
  year = "2014",
  booktitle = "Functional and Logic Programming",
  editor = "Codish, Michael and Sumii, Eijiro",
  isbn = "978-3-319-07150-3",
  pages = "136--151",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-319-07151-0_9",
  volume = "8475",
  doi = "10.1007/978-3-319-07151-0_9",
}
@incollection{jpm:ggp:14,
  title = "Generic Generic Programming",
  author = "Magalh\~aes, Jos\'e Pedro and L\"oh, Andres",
  year = "2014",
  booktitle = "Practical Aspects of Declarative Languages",
  editor = "Flatt, Matthew and Guo, Hai-Feng",
  pages = "216--231",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  volume = "8324",
  doi = "10.1007/978-3-319-04132-2\_15",
}
@article{jpm:hafha:13,
  title = "{HarmTrace}: Automatic Functional Harmonic Analysis",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans and Veltkamp, Remco C.",
  year = "2013",
  journal = "Computer Music Journal",
  pages = "37--53",
  volume = "37:4",
  doi = "10.1162/COMJ_a_00209",
}
@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@inproceedings{jpm:ogpi:13,
  title = "Optimisation of Generic Programs through Inlining",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@inproceedings{jpm:grtt:13,
  title = "Generic Representations of Tree Transformations",
  author = "Bransen, Jeroen and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2013",
  booktitle = "Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming",
  location = "Boston, Massachusetts, USA",
  pages = "73--84",
  publisher = "ACM",
  series = "WGP '13",
  doi = "10.1145/2502488.2502490",
}
@inproceedings{jpm:faamh:13,
  title = "A Functional Approach to Automatic Melody Harmonisation",
  author = "Koops, Hendrik Vincent and Magalh\~{a}es, Jos{\'e} Pedro and De Haas, W. Bas",
  year = "2013",
  booktitle = "Proceedings of the First ACM SIGPLAN Workshop on Functional Art, Music, Modeling \& Design",
  location = "Boston, Massachusetts, USA",
  pages = "47--58",
  publisher = "ACM",
  series = "FARM '13",
  doi = "10.1145/2505341.2505343",
}
@incollection{HMW13Dua,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalhães, José Pedro and Wu, Nicolas",
  year = "2013",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151-167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-40355-2_11",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2_11",
}
@incollection{jpm:ogpi:13,
  title = "Optimisation of Generic Programs Through Inlining",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2013",
  booktitle = "Implementation and Application of Functional Languages",
  editor = "Hinze, Ralf",
  pages = "104--121",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  doi = "10.1007/978-3-642-41582-1\_7",
}
@incollection{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Implementation and Application of Functional Languages",
  editor = "Hinze, Ralf",
  isbn = "978-3-642-41581-4",
  pages = "207--223",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  doi = "10.1007/978-3-642-41582-1\_13",
}
@incollection{jpm:ds:13,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalh\~aes, Jos\'e Pedro and Wu, Nicolas",
  year = "2013",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151--167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2\_11",
}
@unpublished{HJWHM12Sor,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
  year = "2012",
  month = "May",
  note = "Accepted to WGP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}
@inproceedings{jpm:iactehmk:12,
  title = "Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans",
  year = "2012",
  booktitle = "Proceedings of the 13th International Society for Music Information Retrieval Conference",
  editor = "Fabien Gouyon and Perfecto Herrera and Luis Gustavo Martins and Meinard M{\"u}ller",
  isbn = "978-972-752-144-9",
  location = "Porto, Portugal",
  pages = "295--300",
  publisher = "FEUP Edi\c{c}{\~o}es",
  series = "ISMIR '12",
}
@inproceedings{jpm:epdtecp:11,
  title = "Equality proofs and deferred type errors: a compiler pearl",
  author = "Vytiniotis, Dimitrios and Peyton Jones, Simon and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming",
  isbn = "978-1-4503-1054-3",
  location = "Copenhagen, Denmark",
  pages = "341--352",
  publisher = "ACM",
  series = "ICFP '12",
  doi = "10.1145/2364527.2364554",
}
@inproceedings{jpm:trkgp:12,
  title = "The right kind of generic programming",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-1576-0",
  location = "Copenhagen, Denmark",
  pages = "13--24",
  publisher = "ACM",
  series = "WGP '12",
  doi = "10.1145/2364394.2364397",
}
@inproceedings{jpm:sbdl:12,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-1576-0",
  location = "Copenhagen, Denmark",
  pages = "69--80",
  publisher = "ACM",
  series = "WGP '12",
  doi = "10.1145/2364394.2364405",
}
@inproceedings{jpm:ghp:12,
  title = "Giving {H}askell a Promotion",
  author = "Yorgey, Brent A. and Weirich, Stephanie and Cretin, Julien and Peyton Jones, Simon and Vytiniotis, Dimitrios and Magalh\~aes, Jos\'e Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation",
  location = "Philadelphia, PA, USA",
  pages = "53--66",
  publisher = "ACM",
  series = "TLDI '12",
  doi = "10.1145/2103786.2103795",
}
@inproceedings{jpm:fcadgp:12,
  title = "A Formal Comparison of Approaches to Datatype-Generic Programming",
  author = "Magalh\~aes, Jos\'e Pedro and L\"oh, Andres",
  year = "2012",
  booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012",
  editor = "Chapman, James and Levy, Paul Blain",
  pages = "50--67",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  volume = "76",
  doi = "10.4204/EPTCS.76.6",
}
@techreport{RR-12-06,
  title = "Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)",
  author = "Ralf Hinze (editor)",
  year = "2012",
  institution = "DCS",
  number = "RR-12-06",
  pages = "560",
}
@phdthesis{jpm:thesis:12,
  title = "Less Is More: Generic Programming Theory and Practice",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  isbn = "978-90-393-5823-8",
  school = "Universiteit Utrecht",
}
@inproceedings{jpm:gpid:11,
  title = "Generic programming for indexed datatypes",
  author = "Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "37--46",
  publisher = "ACM",
  series = "WGP '11",
}
@inproceedings{jpm:gpif:11,
  title = "Generic programming with indexed functors",
  author = "L\"{o}h, Andres and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "1--12",
  publisher = "ACM",
  series = "WGP '11",
}
@inproceedings{jpm:fmmh:11,
  title = "Functional modelling of musical harmony: an experience report",
  author = "Magalh\~{a}es, Jos{\'e} Pedro and de Haas, W. Bas",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  pages = "156--162",
  publisher = "ACM",
  series = "ICFP '11",
}
@inproceedings{jpm:hihseufha:11,
  title = "{HarmTrace}: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Veltkamp, Remco C. and Wiering, Frans",
  year = "2011",
  booktitle = "Proceedings of the 12th International Society for Music Information Retrieval Conference",
  pages = "67--72",
  series = "ISMIR '11",
}
@techreport{jpm:fmmhtr:11,
  title = "Experience Report: Functional Modelling of Musical Harmony",
  author = "Magalh\~aes, Jos\'e Pedro and de Haas, W. Bas",
  year = "2011",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2011-007",
}
@techreport{jpm:gpidtr:11,
  title = "Generic Programming for Indexed Datatypes",
  author = "Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2011",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2011-021",
}
@techreport{jpm:hafhatr:11,
  title = "{HarmTrace}: Automatic Functional Harmonic Analysis",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans and Veltkamp, Remco C.",
  year = "2011",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2011-023",
}
@article{jpm:ladgr:10,
  title = "A lightweight approach to datatype-generic rewriting",
  author = "Noort, Thomas van and Rodriguez Yakushev, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalh\~aes, Jos\'e Pedro",
  year = "2010",
  journal = "Journal of Functional Programming",
  number = "Special Issue 3-4",
  pages = "375-413",
  volume = "20",
  doi = "10.1017/S0956796810000183",
}
@inproceedings{jpm:gpdr:10,
  title = "Generic Programming for Domain Reasoners",
  author = "Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan",
  year = "2010",
  booktitle = "Proceedings of the 10th Symposium on Trends in Functional Programming",
  editor = "Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok and Peter Achten and Pieter Koopman",
  isbn = "9781841504056",
  pages = "113--128",
  publisher = "Intellect",
  series = "TFP '09",
  url = "{http://dreixel.net/research/pdf/gpdr.pdf}",
}
@inproceedings{jpm:ogie:10,
  title = "Optimizing Generics Is Easy!",
  author = "Magalh\~aes, Jos\'e Pedro and Holdermans, Stefan and Jeuring, Johan and L\"{o}h, Andres",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation",
  isbn = "978-1-60558-727-1",
  location = "Madrid, Spain",
  pages = "33--42",
  publisher = "ACM",
  series = "PEPM '10",
  doi = "10.1145/1706356.1706366",
}
@inproceedings{jpm:gdmh:10,
  title = "A generic deriving mechanism for {Haskell}",
  author = "Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 3rd ACM Haskell Symposium on Haskell",
  isbn = "978-1-4503-0252-4",
  location = "Baltimore, Maryland, USA",
  pages = "37--48",
  publisher = "ACM",
  series = "Haskell '10",
  doi = "10.1145/1863523.1863529",
}
@inproceedings{jpm:gss:10,
  title = "Generic selections of subexpressions",
  author = "Steenbergen, Martijn van and Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0251-7",
  location = "Baltimore, Maryland, USA",
  pages = "37--48",
  publisher = "ACM",
  series = "WGP '10",
  doi = "10.1145/1863495.1863501",
}
@techreport{jpm:ladgrtr:10,
  title = "A Lightweight Approach to Datatype-generic Rewriting",
  author = "Noort, Thomas~van and Rodriguez Yakushev, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalh\~aes, Jos\'e Pedro",
  year = "2010",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2010-008",
}
@techreport{jpm:gdmhtr:10,
  title = "A generic deriving mechanism for {H}askell",
  author = "Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres",
  year = "2010",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2010-017",
}
@inproceedings{jpm:lgph:09,
  title = "Libraries for Generic Programming in {H}askell",
  author = "Jeuring, Johan and Leather, Sean and Magalh\~aes, {Jos\'e Pedro} and {Rodriguez Yakushev}, Alexey",
  year = "2009",
  booktitle = "Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures",
  editor = "Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse",
  isbn = "978-3-642-04651-3",
  pages = "165--229",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5832",
}
@inproceedings{jpm:cstog:09,
  title = "Coherent Spatial and Temporal Occlusion Generation",
  author = "Klein Gunnewiek and Rene and Berretty, Robert-Paul and Barenbrug, Bart and Magalh\~aes, Jos\'e Pedro",
  year = "2009",
  booktitle = "Proceedings of the SPIE Volume 7237, Stereoscopic Displays and Applications XX",
  editor = "Andrew J. Woods and Nicolas S. Holliman and John O. Merritt",
  isbn = "9780819474872",
  publisher = "SPIE",
  url = "{http://dreixel.net/research/pdf/cstog.pdf}",
}
@techreport{jpm:ogietr:09,
  title = "Optimizing Generics Is Easy!",
  author = "Magalh\~aes, Jos\'e Pedro and Holdermans, Stefan and Jeuring, Johan and L{\"o}h, Andres",
  year = "2009",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2009-022",
  url = "{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-022.pdf}",
}
@techreport{jpm:gpdrtr:09,
  title = "Generic Programming for Domain Reasoners",
  author = "Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan",
  year = "2009",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2009-016",
  url = "{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}",
}
@techreport{jpm:lgphtr:08,
  title = "Libraries for Generic Programming in {Haskell}",
  author = "Jeuring, Johan and Leather, Sean and {Magalh\~aes}, Jos\'e Pedro and {Rodriguez Yakushev}, Alexey",
  year = "2008",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2008-025",
  url = "{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.pdf}",
}
@inproceedings{jpm:fvip:07,
  title = "Formally Verifying Imperative Programs",
  author = "Correia, Jos\'e Pedro and Magalh\~aes, Jos\'e Pedro and {Sousa Pinto}, Jorge",
  year = "2007",
  booktitle = "Proceedings of the Conference on Compilers, Related Technologies and Applications",
  editor = "Henriques, P. and Santos, V. and Sousa, S.",
  isbn = "978-972-8790-70-7",
  pages = "74--85",
  publisher = "Beira Interior University",
  series = "{CoRTA} '07",
}
@misc{jpm:ovr:07,
  title = "Occluded video retrieval---Using temporal information for automatic generation of an occlusion layer from {2D} content for {3D} rendering",
  author = "Magalh\~aes, Jos\'e Pedro",
  year = "2007",
  note = "Final internship report, Minho University (confidential until 2012)",
}

About Us

Back to Top