Doctor of Philosophy

dissertationRecent breakthroughs in silicon photonics technology are enabling the integration of optical devices into silicon-based semiconductor processes. Photonics technology enables high-speed, high-bandwidth, and high-fidelity communications on the chip-scale-an important development in an increasingly communications-oriented semiconductor world. Significant developments in silicon photonic manufacturing and integration are also enabling investigations into applications beyond that of traditional telecom: sensing, filtering, signal processing, quantum technology-and even optical computing. In effect, we are now seeing a convergence of communications and computation, where the traditional roles of optics and microelectronics are becoming blurred. As the applications for opto-electronic integrated circuits (OEICs) are developed, and manufacturing capabilities expand, design support is necessary to fully exploit the potential of this optics technology. Such design support for moving beyond custom-design to automated synthesis and optimization is not well developed. Scalability requires abstractions, which in turn enables and requires the use of optimization algorithms and design methodology flows. Design automation represents an opportunity to take OEIC design to a larger scale, facilitating design-space exploration, and laying the foundation for current and future optical applications-thus fully realizing the potential of this technology. This dissertation proposes design automation for integrated optic system design. Using a buildingblock model for optical devices, we provide an EDA-inspired design flow and methodologies for optical design automation. Underlying these flows and methodologies are new supporting techniques in behavioral and physical synthesis, as well as device-resynthesis techniques for thermal-aware system integration. We also provide modeling for optical devices and determine optimization and constraint parameters that guide the automation techniques. Our techniques and methodologies are then applied to the design and optimization of optical circuits and devices. Experimental results are analyzed to evaluate their efficacy. We conclude with discussions on the contributions and limitations of the approaches in the context of optical design automation, and describe the tremendous opportunities for future research in design automation for integrated optics

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Computer Aided Verification

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volum

Compact Anthology of World Literature II: Volumes 4, 5, and 6

The Compact Anthology of World Literature, Parts 4, 5, and 6 is designed as an e-book to be accessible on a variety of devices: smart phone, tablet, e-reader, laptop, or desktop computer. Students have reported ease of accessibility and readability on all these devices. To access the ePub text on a laptop, desktop, or tablet, you will need to download a program through which you can read the text. We recommend Readium, an application available through Google. If you plan to read the text on an Android device, you will need to download an application called Lithium from the App Store. On an iPhone, the text will open in iBooks. Affordable Learning Georgia has also converted the .epub files to PDF. Because .epub does not easily convert to other formats, the left margin of the .pdf is very narrow. ALG recommends using the .epub version. Although the text is designed to look like an actual book, the Table of Contents is composed of hyperlinks that will take you to each introductory section and then to each text. The three parts of the text are organized into the following units: Part 4—The Seventeenth and Eighteenth Centuries Unit I: The Age of Reason Unit II: The Near East and Asia Part 5—The Long Nineteenth Century Unit I Romanticism Unit II Realism Part 6—The Twentieth Century and Contemporary Literature Unit I Modernism Unit II Postcolonial Literature Unit III Contemporary Literature Texts from a variety of genres and cultures are included in each unit. Additionally, each selection or collection includes a brief introduction about the author and text(s), and each includes 3 – 5 discussion questions. Texts in the public domain--those published or translated before 1923--are replicated here. Texts published or translated after 1923 are not yet available in the public domain. In those cases, we have provided a link to a stable site that includes the text. Thus, in Part 6, most of the texts are accessible in the form of links to outside sites. In every case, we have attempted to connect to the most stable links available. The following texts have been prepared with the assistance of the University of North Georgia Press in its role as Affordable Learning Georgia\u27s Partner Press. Affordable Learning Georgia partners with the University of North Georgia Press to assist grantees with copyright clearance, peer review, production and design, and other tasks required to produce quality Open Educational Resources (OER). The University Press is a peer-reviewed, academic press. Its mission is to produce scholarly work that contributes to the fields of innovative teaching, textbooks, and Open Educational Resources. Affordable Learning Georgia Textbook Transformation Grant funds may be used for services provided by the Press. To determine how the University Press can assist ALG grantees or anyone interested in developing OER with ALG, the University Press will provide advance free consultations. Please contact the Press at 706-864-1556 or [email protected]. “Textbook Transformation Grants” from Affordable Learning Georgia Accessible files with optical character recognition (OCR) and auto-tagging provided by the Center for Inclusive Design and Innovation.https://oer.galileo.usg.edu/english-textbooks/1018/thumbnail.jp