Selected Papers since 2010 ACM SIGCOMM 2016 , NUMFabric: Fast and Flexible Bandwidth Allocation — [ pdf ] ACM SIGCOMM 2016 , Neutral Net Neutrality — [ pdf ] ACM SIGCOMM 2016 , Programmable Packet Scheduling — [ pdf ] USENIX NSDI 2016 , CliffHanger: Scaling Performance Cliffs in …
Research Type Theory and Category Theory Books Homotopy Type Theory: Univalent Foundations of Mathematics. June, 2013. [see the HoTT blog] PhD Thesis: Dependently Typed Programming with Domain-Specific Logics. Advised by Bob Harper . February, 2011. [pdf] [defense slides] [short …
Publications: CARF International Online Store Publications 2025 Standards Manuals & Workbooks ASAM Level of Care Certification General Publications Copyright © 2026 CARF International. Powered by Miva
Mayur Naik - Publications Mayur Naik Students Ph.D. Advisees Undergrad Researchers Publications Monographs Preprints Peer-Reviewed Papers Invited Articles Alumni Graduated Ph.D. Students Graduated Postdocs Sponsors Monographs Neurosymbolic Programming in Scallop: Principles and P…
Recent York Faculty Publications Recent York College Faculty Publications Click here to generate a list of publications by York College faculty that are included in the Scopus database. (See below to retrieve faculty publications from other databases.) Please note that coverage i…