@inproceedings{HuangZS05, title = {Statically Safe Program Generation with SafeGen}, author = {Shan Shan Huang and David Zook and Yannis Smaragdakis}, year = {2005}, doi = {10.1007/11561347_21}, url = {http://dx.doi.org/10.1007/11561347_21}, tags = {program analysis, Variability-Aware Analysis, analysis, static analysis, context-aware}, researchr = {https://researchr.org/publication/HuangZS05}, cites = {0}, citedby = {0}, pages = {309-326}, booktitle = {GPCE}, } @inproceedings{HuangZS07, title = {cJ: enhancing java with safe type conditions}, author = {Shan Shan Huang and David Zook and Yannis Smaragdakis}, year = {2007}, doi = {10.1145/1218563.1218584}, url = {http://doi.acm.org/10.1145/1218563.1218584}, tags = {Java, Variability-Aware Analysis, analysis, context-aware}, researchr = {https://researchr.org/publication/HuangZS07}, cites = {0}, citedby = {1}, pages = {185-198}, booktitle = {AOSD}, } @inproceedings{Song:MoDELS:2010, title = {Inferring Meta-Models for Runtime System Data from the Client Code of Management APIs}, author = {Song and Shan Shan Huang and Xiong and Chauvel and Sun and Mei}, year = {2010}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Song%3AMoDELS%3A2010}, cites = {0}, citedby = {0}, booktitle = {MoDELS}, } @inproceedings{SmaragdakisHZ04, title = {Program generators and the tools to make them}, author = {Yannis Smaragdakis and Shan Shan Huang and David Zook}, year = {2004}, doi = {10.1145/1014007.1014017}, url = {http://doi.acm.org/10.1145/1014007.1014017}, researchr = {https://researchr.org/publication/SmaragdakisHZ04}, cites = {0}, citedby = {0}, pages = {92-100}, booktitle = {PEPM}, } @inproceedings{HuangZS07:0, title = {Morphing: Safely Shaping a Class in the Image of Others}, author = {Shan Shan Huang and David Zook and Yannis Smaragdakis}, year = {2007}, doi = {10.1007/978-3-540-73589-2_19}, url = {http://dx.doi.org/10.1007/978-3-540-73589-2_19}, researchr = {https://researchr.org/publication/HuangZS07%3A0}, cites = {0}, citedby = {1}, pages = {399-424}, booktitle = {ECOOP}, } @inproceedings{MarczakHBSLA10, title = {SecureBlox: customizable secure distributed data processing}, author = {William R. Marczak and Shan Shan Huang and Martin Bravenboer and Micah Sherr and Boon Thau Loo and Molham Aref}, year = {2010}, doi = {10.1145/1807167.1807246}, url = {http://doi.acm.org/10.1145/1807167.1807246}, tags = {data-flow}, researchr = {https://researchr.org/publication/MarczakHBSLA10}, cites = {0}, citedby = {0}, pages = {723-734}, booktitle = {SIGMOD}, } @inproceedings{HuangS06, title = {Easy language extension with {Meta-AspectJ}}, author = {Shan Shan Huang and Yannis Smaragdakis}, year = {2006}, doi = {10.1145/1134436}, url = {http://doi.acm.org/10.1145/1134436}, tags = {AspectJ, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/HuangS06}, cites = {0}, citedby = {1}, pages = {865-868}, booktitle = {ICSE}, } @inproceedings{ZookHS04, title = {Generating AspectJ Programs with Meta-AspectJ}, author = {David Zook and Shan Shan Huang and Yannis Smaragdakis}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=1}, tags = {AspectJ, meta programming, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ZookHS04}, cites = {0}, citedby = {3}, pages = {1-18}, booktitle = {GPCE}, } @inproceedings{BrownGHHW06, title = {An envolutionary path towards virtual shared memory with random access}, author = {Jonathan Leighton Brown and Sue Goudy and Mike Heroux and Shan Shan Huang and Zhaofang Wen}, year = {2006}, doi = {10.1145/1148109.1148130}, url = {http://doi.acm.org/10.1145/1148109.1148130}, researchr = {https://researchr.org/publication/BrownGHHW06}, cites = {0}, citedby = {0}, pages = {117}, booktitle = {spaa}, } @article{HuangZookSmaragdakis2011, title = {Statically Safe Program Generation with {SafeGen}}, author = {Shan Shan Huang and David Zook and Yannis Smaragdakis}, year = {2011}, month = {May}, doi = {10.1016/j.scico.2008.09.007}, url = {http://dx.doi.org/10.1016/j.scico.2008.09.007}, tags = {programming languages, Java, meta programming, model checking, meta-model, testing, writing, type checking, compiler, programming, Meta-Environment, reflection, systematic-approach, meta-objects}, researchr = {https://researchr.org/publication/HuangZookSmaragdakis2011}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {76}, number = {5}, pages = {376-391}, } @inproceedings{HuangS07, title = {Building Scalable Libraries with cJ}, author = {Shan Shan Huang and Yannis Smaragdakis}, year = {2007}, doi = {10.1109/ICSECOMPANION.2007.26}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.26}, researchr = {https://researchr.org/publication/HuangS07}, cites = {0}, citedby = {0}, pages = {45-46}, booktitle = {ICSE}, } @inproceedings{HuangS08, title = {Expressive and safe static reflection with MorphJ}, author = {Shan Shan Huang and Yannis Smaragdakis}, year = {2008}, doi = {10.1145/1375581.1375592}, url = {http://doi.acm.org/10.1145/1375581.1375592}, tags = {programming languages, object-oriented programming, rule-based, Java, program analysis, meta programming, pattern language, generic programming, model checking, meta-model, Variability-Aware Analysis, language engineering, software language engineering, analysis, static analysis, type system, software engineering, model-driven engineering, C++, pattern matching, type checking, aspect oriented programming, programming, subject-oriented programming, context-aware, Meta-Environment, reflection, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/HuangS08}, cites = {0}, citedby = {1}, pages = {79-89}, booktitle = {PLDI}, } @inproceedings{HuangHBR08, title = {Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary}, author = {Shan Shan Huang and Amir Hormati and David F. Bacon and Rodric M. Rabbah}, year = {2008}, doi = {10.1007/978-3-540-70592-5_5}, url = {http://dx.doi.org/10.1007/978-3-540-70592-5_5}, tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming}, researchr = {https://researchr.org/publication/HuangHBR08}, cites = {0}, citedby = {2}, pages = {76-103}, booktitle = {ECOOP}, } @article{HuangZS08, title = {Domain-specific languages and program generation with {Meta-AspectJ}}, author = {Shan Shan Huang and David Zook and Yannis Smaragdakis}, year = {2008}, doi = {10.1145/1416563.1416566}, url = {http://doi.acm.org/10.1145/1416563.1416566}, tags = {generative programming, programming languages, AspectJ, object-oriented programming, type inference, rule-based, Java, meta programming, meta-model, little language, code generation, aspect oriented programming, programming, subject-oriented programming, context-aware, Meta-Environment, parsing, systematic-approach, feature-oriented programming, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/HuangZS08}, cites = {0}, citedby = {0}, journal = {TOSEM}, volume = {18}, number = {2}, } @inproceedings{HuangS07:0, title = {Morphing Software for Easier Evolution}, author = {Shan Shan Huang and Yannis Smaragdakis}, year = {2007}, tags = {software evolution}, researchr = {https://researchr.org/publication/HuangS07%3A0}, cites = {0}, citedby = {0}, pages = {71-80}, booktitle = {ECOOPW}, } @inproceedings{HuangGL11, title = {Datalog and emerging applications: an interactive tutorial}, author = {Shan Shan Huang and Todd Jeffrey Green and Boon Thau Loo}, year = {2011}, tags = {Datalog}, researchr = {https://researchr.org/publication/HuangGL11}, cites = {0}, citedby = {0}, pages = {1213-1216}, booktitle = {SIGMOD 2011}, }