@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970,
    title = "2015 Conference on Lasers and Electro-Optics (CLEO)",
    chapter = "Demonstration of the first monolithically integrated self-rolled-up tube based vertical photonic coupler",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970",
    id = "record",
    isbn = "978-1-55752-968-8"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823,
    title = "ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming",
    chapter = "Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823",
    id = "record",
    isbn = "1-59593-309-3",
    doi = "10.1145/1159803.1159826"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536,
    title = "MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding",
    chapter = "A computational approach to reflective meta-reasoning about languages with bindings",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536",
    id = "record",
    isbn = "1-59593-072-8",
    doi = "10.1145/1088454.1088456"
}