@inproceedings{RickenC09, title = {ConcJUnit: unit testing for concurrent programs}, author = {Mathias Ricken and Robert Cartwright}, year = {2009}, doi = {10.1145/1596655.1596676}, url = {http://doi.acm.org/10.1145/1596655.1596676}, tags = {meta programming, exceptions, meta-model, testing, model-driven development, writing, programming, Meta-Environment}, researchr = {https://researchr.org/publication/RickenC09}, cites = {0}, citedby = {0}, pages = {129-132}, booktitle = {PPPJ}, } @inproceedings{ChengNRW04, title = {Abstract factories and the shape calculator}, author = {Eric Cheng and Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2004}, doi = {10.1145/1028664.1028705}, url = {http://doi.acm.org/10.1145/1028664.1028705}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ChengNRW04}, cites = {0}, citedby = {0}, pages = {101-102}, booktitle = {OOPSLA}, } @inproceedings{NguyenRW04, title = {Design patterns for marine biology simulation}, author = {Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2004}, doi = {10.1145/971300.971459}, url = {http://doi.acm.org/10.1145/971300.971459}, tags = {control systems, design science, case study, meta-model, visitor, data-flow, object-role modeling, e-science, abstraction, Meta-Environment, design, meta-objects}, researchr = {https://researchr.org/publication/NguyenRW04}, cites = {0}, citedby = {0}, pages = {467-471}, booktitle = {sigcse}, } @misc{Zung-NguyenWongRickenCheng2006, title = {Object-Oriented Design Festival}, author = {Dung "Zung" Nguyen and Stephen Wong and Mathias Ricken and Eric Cheng}, year = {2006}, month = {March}, tags = {interaction design, object-oriented programming, program analysis, meta programming, meta-model, composition, domain analysis, analysis, principles, object-role modeling, programming, subject-oriented programming, abstraction, Meta-Environment, design, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/Zung-NguyenWongRickenCheng2006}, cites = {0}, citedby = {0}, } @inproceedings{ChengNRW04a, title = {Marine biology simulation}, author = {Eric Cheng and Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2004}, doi = {10.1145/1028664.1028708}, url = {http://doi.acm.org/10.1145/1028664.1028708}, tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, design, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/ChengNRW04a}, cites = {0}, citedby = {0}, pages = {109-110}, booktitle = {OOPSLA}, } @inproceedings{WestbrookRIYAT10, title = {Mint: Java multi-stage programming using weak separability}, author = {Edwin Westbrook and Mathias Ricken and Jun Inoue and Yilong Yao and Tamer Abdelatif and Walid Taha}, year = {2010}, doi = {10.1145/1806596.1806642}, url = {http://doi.acm.org/10.1145/1806596.1806642}, tags = {programming languages, rule-based, Java, type soundness, functional programming, language design, type system, code generation, programming, abstraction, staged computation, design, systematic-approach}, researchr = {https://researchr.org/publication/WestbrookRIYAT10}, cites = {0}, citedby = {0}, pages = {400-411}, booktitle = {PLDI}, } @mastersthesis{Ricken2007, title = {A Framework for Testing Concurrent Programs}, author = {Mathias Ricken}, year = {2007}, month = {October}, tags = {programming languages, Java, model checking, testing, model-driven development, programming, incremental, reliability}, researchr = {https://researchr.org/publication/Ricken2007}, cites = {0}, citedby = {0}, school = {Rice University}, } @inproceedings{RickenWestbrookTaha2010, title = {Agile and Efficient Domain-Specific Languages using Multi-Stage Programming in Java Mint}, author = {Mathias Ricken and Edwin Westbrook and Walid Taha}, year = {2010}, tags = {programming languages, optimization, object-oriented programming, type inference, rule-based, Java, meta programming, interpreter, language design, parallel programming, constraints, compiler, DSL, programming, subject-oriented programming, program optimization, Meta-Environment, design, feature-oriented programming, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/RickenWestbrookTaha2010}, cites = {0}, citedby = {0}, } @inproceedings{PayneCaveRamanRickenCartwrightSarkarPayneCaveRamanRickenCartwrightSarkar2011, title = {Tool Demonstration: DrHJ - A Lightweight Pedagogic IDE for Habanero Java}, author = {Jarred Payne and Vincent Cavé and Raghavan Raman and Mathias Ricken and Robert Cartwright and Vivek Sarkar}, year = {2011}, tags = {programming languages, rule-based, Java, Eclipse, meta programming, functional programming, parallel programming, introductory programming, e-science, programming, Meta-Environment}, researchr = {https://researchr.org/publication/PayneCaveRamanRickenCartwrightSarkarPayneCaveRamanRickenCartwrightSarkar2011}, cites = {0}, citedby = {0}, } @inproceedings{Cave:2011:DCY:2048147.2048150, title = {DrHJ: the cure to your multicore programming woes}, author = {Vincent Cavé and Jarred Payne and Raghavan Raman and Mathias Ricken and Robert Cartwright and Vivek Sarkar}, year = {2011}, month = {October}, doi = {10.1145/2048147.2048150}, url = {http://doi.acm.org/10.1145/2048147.2048150}, tags = {programming languages, Java, parallel programming, programming}, researchr = {https://researchr.org/publication/Cave%3A2011%3ADCY%3A2048147.2048150}, cites = {10}, citedby = {0}, pages = {5-6}, booktitle = {Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion}, } @inproceedings{PayneCRRCS11, title = {DrHJ: a lightweight pedagogic IDE for Habanero Java}, author = {Jarred Payne and Vincent Cavé and Raghavan Raman and Mathias Ricken and Robert Cartwright and Vivek Sarkar}, year = {2011}, doi = {10.1145/2093157.2093180}, url = {http://doi.acm.org/10.1145/2093157.2093180}, researchr = {https://researchr.org/publication/PayneCRRCS11}, cites = {0}, citedby = {0}, pages = {147-150}, booktitle = {PPPJ}, } @inproceedings{NguyenRW05, title = {Design patterns for parsing}, author = {Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2005}, doi = {10.1145/1047344.1047497}, url = {http://doi.acm.org/10.1145/1047344.1047497}, tags = {model-to-model transformation, rule-based, meta-model, modeling, visitor, source-to-source, rules, object-role modeling, model transformation, Meta-Environment, higher-order transformations, parsing, design, process modeling, systematic-approach, meta-objects, transformation, grammar}, researchr = {https://researchr.org/publication/NguyenRW05}, cites = {0}, citedby = {0}, pages = {477-481}, booktitle = {sigcse}, } @techreport{WestbrookRickenInoueYaoAbdelatifTaha2009, title = {Multi-stage Programming for Mainstream Languages (TR09-02)}, author = {Edwin Westbrook and Mathias Ricken and Jun Inoue and Yilong Yao and Tamer Abdelatif and Walid Taha}, year = {2009}, month = {July}, tags = {programming languages, rule-based, Java, type soundness, functional programming, language design, type system, code generation, programming, abstraction, staged computation, design, systematic-approach}, researchr = {https://researchr.org/publication/WestbrookRickenInoueYaoAbdelatifTaha2009}, cites = {0}, citedby = {0}, institution = {Rice University}, number = {TR09-02}, } @phdthesis{Ricken2011, title = {A Framework for Testing Concurrent Programs}, author = {Mathias Ricken}, year = {2011}, month = {April}, tags = {control systems, optimization, rule-based, Java, synchronization, operating system, meta programming, model checking, meta-model, testing, model-driven development, debugging, random testing, compiler, programming, program optimization, Meta-Environment, process modeling, systematic-approach}, researchr = {https://researchr.org/publication/Ricken2011}, cites = {0}, citedby = {0}, school = {Rice University}, } @inproceedings{CavePRRCS11, title = {DrHJ: the cure to your multicore programming woes}, author = {Vincent Cavé and Jarred Payne and Raghavan Raman and Mathias Ricken and Corky Cartwright and Vivek Sarkar}, year = {2011}, doi = {10.1145/2048147.2048150}, url = {http://doi.acm.org/10.1145/2048147.2048150}, researchr = {https://researchr.org/publication/CavePRRCS11}, cites = {0}, citedby = {0}, pages = {5-6}, booktitle = {OOPSLA}, } @misc{Ricken2010, title = {Mint: A Multi-stage Extension of Java (Purdue University Computer Science Colloquia)}, author = {Mathias Ricken}, year = {2010}, month = {March}, tags = {programming languages, design science, rule-based, Java, type soundness, functional programming, language design, type system, e-science, compiler, programming, abstraction, staged computation, design}, researchr = {https://researchr.org/publication/Ricken2010}, cites = {0}, citedby = {0}, } @inproceedings{RickenC10, title = {Test-first Java concurrency for the classroom}, author = {Mathias Ricken and Robert Cartwright}, year = {2010}, doi = {10.1145/1734263.1734340}, url = {http://doi.acm.org/10.1145/1734263.1734340}, tags = {Java, meta programming, meta-model, testing, model-driven development, writing, programming, Meta-Environment}, researchr = {https://researchr.org/publication/RickenC10}, cites = {0}, citedby = {0}, pages = {219-223}, booktitle = {sigcse}, } @book{1643721, title = {A Framework for Testing Concurrent Programs: Concutest}, author = {Mathias Ricken}, year = {2009}, tags = {programming languages, Java, model checking, testing, model-driven development, programming, incremental, reliability}, researchr = {https://researchr.org/publication/1643721}, cites = {0}, citedby = {0}, address = {Saarbrücken, Germany}, publisher = {VDM Verlag}, isbn = {3639150740, 9783639150742}, }