@misc(acumenURL,
 title        = {Acumen implementation},
 howpublished = {https://bitbucket.org/effective/acumen-dev/downloads},
)
@book(Alur93,
 author       = {Rajeev Alur and Costas Courcoubetis and Thomas A Henzinger and Pei-Hsin Ho},
 year         = {1993},
 title        = {Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems},
 publisher    = {Springer},
 doi          = {10.1007/3-540-57318-6_30},
)
@inproceedings(CHARON,
 author       = {Rajeev Alur and Radu Grosu and Yerang Hur and Vijay Kumar and Insup Lee},
 year         = {2000},
 title        = {Modular Specification of Hybrid Systems in {CHARON}},
 booktitle    = {Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control},
 series       = {HSCC '00},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/3-540-46430-1_5},
)
@inproceedings(bak,
 author       = {Stanley Bak and Sergiy Bogomolov and Thomas A Henzinger and Taylor T Johnson and Pradyot Prakash},
 year         = {2016},
 title        = {Scalable static hybridization methods for analysis of nonlinear systems},
 booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
 organization = {ACM},
 pages        = {155--164},
 doi          = {10.1145/2883817.2883837},
)
@inproceedings(hyst,
 author       = {Stanley Bak and Sergiy Bogomolov and Taylor T Johnson},
 year         = {2015},
 title        = {HYST: a source transformation and translation tool for hybrid automaton models},
 booktitle    = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
 organization = {ACM},
 pages        = {128--133},
 doi          = {10.1145/2728606.2728630},
)
@phdthesis(goswamicompass,
 author       = {Hsu Chen},
 year         = {2007},
 title        = {Passive dynamic walking with knees: A point foot model},
 school       = {Massachusetts Institute of Technology},
)
@inproceedings(flowstar,
 author       = {Xin Chen and Erika {\'A}brah{\'a}m and Sriram Sankaranarayanan},
 year         = {2013},
 title        = {Flow*: An analyzer for non-linear hybrid systems},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {258--263},
 doi          = {10.1007/978-3-642-39799-8_18},
)
@article(christensenaccurate,
 author       = {Niels H. Christensen and Robert Gl\"{u}ck},
 year         = {2004},
 title        = {Offline Partial Evaluation Can Be As Accurate As Online Partial Evaluation},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {26},
 number       = {1},
 pages        = {191--220},
 doi          = {10.1145/963778.963784},
)
@article(cornellBiped,
 author       = {Steve Collins and Andy Ruina and Russ Tedrake and Martijn Wisse},
 year         = {2005},
 title        = {Efficient bipedal robots based on passive-dynamic walkers},
 journal      = {Science},
 volume       = {307},
 number       = {5712},
 pages        = {1082--1085},
 doi          = {10.1126/science.1107799},
)
@article(tempo,
 author       = {Charles Consel and Julia L Lawall and Le Meur, Anne-Fran{\c{c}}oise},
 year         = {2004},
 title        = {A tour of Tempo: A program specializer for the C language},
 journal      = {Science of Computer Programming},
 volume       = {52},
 number       = {1},
 pages        = {341--370},
 doi          = {10.1016/j.scico.2004.03.011},
)
@incollection(metaOCamel,
 author       = {Krzysztof Czarnecki and O\IeC{\textquoteright}Donnell, John T and J{\"o}rg Striegnitz and Walid Taha},
 year         = {2004},
 title        = {DSL implementation in MetaOCaml, Template Haskell, and C++},
 booktitle    = {Domain-Specific Program Generation},
 publisher    = {Springer},
 pages        = {51--72},
 doi          = {10.1007/978-3-540-25935-0_4},
)
@phdthesis(adam,
 author       = {Adam Duracz},
 year         = {2016},
 title        = {Rigorous Simulation: Its Theory and Applications},
 school       = {Halmstad University Press},
)
@inproceedings(phaver,
 author       = {Goran Frehse},
 year         = {2005},
 title        = {PHAVer: Algorithmic verification of hybrid systems past HyTech},
 booktitle    = {International workshop on hybrid systems: computation and control},
 organization = {Springer},
 pages        = {258--273},
 doi          = {10.1007/s10009-007-0062-x},
)
@inproceedings(spaceex,
 author       = {Goran Frehse and Le Guernic, Colas and Alexandre Donz{\'e} and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler},
 year         = {2011},
 title        = {SpaceEx: Scalable verification of hybrid systems},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {379--395},
 doi          = {10.1007/978-3-642-22110-1_30},
)
@inproceedings(dreal,
 author       = {Sicun Gao and Soonho Kong and Edmund M Clarke},
 year         = {2013},
 title        = {dReal: An SMT solver for nonlinear theories over the reals},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {208--214},
 doi          = {10.1007/978-3-642-38574-2_14},
)
@inproceedings(CMix,
 author       = {Arne J. Glenstrup and Henning Makholm and Jens P. Secher},
 year         = {1999},
 title        = {C-MIX: Specialization of C Programs},
 booktitle    = {Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {108--154},
 doi          = {10.1007/3-540-47018-2_4},
 url          = {http://dl.acm.org/citation.cfm?id=645795.665921},
)
@article(Gomard91,
 author       = {Carsten K Gomard and Neil D Jones},
 year         = {1991},
 title        = {A partial evaluator for the untyped lambda-calculus},
 journal      = {Journal of functional programming},
 volume       = {1},
 number       = {01},
 pages        = {21--69},
 doi          = {10.1017/S0956796800000058},
)
@inproceedings(HyTech,
 author       = {Thomas A Henzinger and Pei-Hsin Ho and Wong-Toi, Howard},
 year         = {1997},
 title        = {HyTech: A model checker for hybrid systems},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {460--463},
 doi          = {10.1007/s100090050008},
)
@incollection(Hudak97,
 author       = {Paul Hudak},
 year         = {1998},
 title        = {Domain Specific Languages},
 booktitle    = {Handbook of Programming Languages, Vol.\ III: Little Languages and Tools},
 chapter      = {3},
 publisher    = {MacMillan, Indianapolis},
 pages        = {39--60},
 doi          = {10.1145/1925844.1922397},
)
@inproceedings(Jones85,
 author       = {Neil D Jones and Peter Sestoft and S{\o}ndergaard, Harald},
 year         = {1985},
 title        = {An experiment in partial evaluation: the generation of a compiler generator},
 booktitle    = {Rewriting techniques and applications},
 organization = {Springer},
 pages        = {124--140},
 doi          = {10.1007/3-540-15976-2_6},
)
@article(cristiano06,
 author       = {Ik-Soon Kim and Kwangkeun Yi and Cristiano Calcagno},
 year         = {2006},
 title        = {A Polymorphic Modal Type System for Lisp-like Multi-staged Languages},
 journal      = {SIGPLAN Not.},
 volume       = {41},
 number       = {1},
 pages        = {257--268},
 doi          = {10.1145/1111320.1111060},
)
@inproceedings(dreach,
 author       = {Soonho Kong and Sicun Gao and Wei Chen and Edmund Clarke},
 year         = {2015},
 title        = {dReach: $\delta$-reachability analysis for hybrid systems},
 booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {200--205},
 doi          = {10.1007/978-3-662-46681-0_15},
)
@article(Mernik05,
 author       = {Marjan Mernik and Jan Heering and Anthony M. Sloane},
 year         = {2005},
 title        = {When and How to Develop Domain-specific Languages},
 journal      = {ACM Comput. Surv.},
 volume       = {37},
 number       = {4},
 pages        = {316--344},
 doi          = {10.1145/1118890.1118892},
)
@article(Moggi97,
 author       = {Eugenio Moggi},
 year         = {1997},
 title        = {A categorical account of two-level languages},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {6},
 pages        = {272},
 doi          = {10.1016/S1571-0661(05)80155-0},
)
@inproceedings(LMS,
 author       = {Tiark Rompf and Martin Odersky},
 year         = {2010},
 title        = {Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs},
 booktitle    = {Acm Sigplan Notices},
 volume       = {46},
 organization = {ACM},
 pages        = {127--136},
 doi          = {10.1007/s10990-011-9072-1},
)
@inproceedings(VPP,
 author       = {Cherif Salama and Gregory Malecha and Walid Taha and Jim Grundy and John O'Leary},
 year         = {2009},
 title        = {Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions},
 booktitle    = {Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation},
 organization = {ACM},
 pages        = {121--130},
 doi          = {10.1007/s10990-011-9072-1},
)
@inproceedings(templateHaskell,
 author       = {Tim Sheard and Simon Peyton Jones},
 year         = {2002},
 title        = {Template meta-programming for Haskell},
 booktitle    = {Proceedings of the 2002 ACM SIGPLAN workshop on Haskell},
 organization = {ACM},
 pages        = {1--16},
 doi          = {10.1145/636517.636528},
)
@inproceedings(freshML,
 author       = {Mark R Shinwell and Andrew M Pitts and Murdoch J Gabbay},
 year         = {2003},
 title        = {FreshML: Programming with binders made simple},
 booktitle    = {ACM SIGPLAN Notices},
 volume       = {38},
 organization = {ACM},
 pages        = {263--274},
 doi          = {10.1145/944746.944729},
)
@inproceedings(Aaron2D,
 author       = {Ryan W. Sinnet and Aaron D. Ames},
 year         = {2009},
 title        = {{2D bipedal walking with knees and feet: A hybrid control approach}},
 booktitle    = {Conference on Decision and Control},
 pages        = {3200--3207},
 doi          = {10.1109/CDC.2009.5400503},
)
@article(Sujeeth14,
 author       = {Arvind K. Sujeeth and Kevin J. Brown and Hyoukjoong Lee and Tiark Rompf and Hassan Chafi and Martin Odersky and Kunle Olukotun},
 year         = {2014},
 title        = {Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages},
 journal      = {ACM Trans. Embed. Comput. Syst.},
 volume       = {13},
 number       = {4s},
 pages        = {134:1--134:25},
 doi          = {10.1145/2584665},
)