JavaScript Required To protect our systems and ensure reliable access for all users, Archive-It uses a bot protection system that requires JavaScript. Please enable JavaScript in your browser and try again. Some browser extensions may block JavaScript, so disabling them may help.…

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…