559 results found (page 1 of 38)
https://dblp.org/pid/a/RAlur.html

dblp: Rajeev Alur default search action combined dblp search author search venue search publication search ask others Google Google Scholar Semantic Scholar Internet Archive Scholar CiteSeerX ORCID Persons affiliation: University of Pennsylvania, Philadelphia, PA, USA award (2024…

US Home
https://taoscav.org

Zumbathon Fundraiser! WE ARE OPEN! HOW WE CAN HELP BUSINESS SPONSORS CAV THRIFT STORE OPEN DAILY! VOLUNTEER/ WORK FOR US Zumbathon Fundraiser! Join us for an afternoon of high-energy dancing in support of survivors of sexual and domestic violence at Zumbathon 2026! To get your ti…

https://cs.nyu.edu/wies

Thomas Wies: Homepage New York University COURANT Computer Science I am a Professor of Computer Science at the Courant Institute of New York University and a member of the Analysis of Computer Systems Group See my curriculum vitae for further details. I presently serve as Chair o…

US Home
https://www.taoscav.org

Zumbathon Fundraiser! WE ARE OPEN! HOW WE CAN HELP BUSINESS SPONSORS CAV THRIFT STORE OPEN DAILY! VOLUNTEER/ WORK FOR US Zumbathon Fundraiser! Join us for an afternoon of high-energy dancing in support of survivors of sexual and domestic violence at Zumbathon 2026! To get your ti…

https://cseweb.ucsd.edu/~ldantoni

Loris D'Antoni Loris D'Antoni Jacobs Faculty Scholar & Associate Professor Computer Science and Engineering - UCSD (Office 3214) 3235 Voigt Dr, La Jolla, CA 92093 USA ldantoni@ucsd.edu My research is about helping people write trustworthy software. I'm a professor in the Programm…

https://en.wikipedia.org/wiki/CD-ROM

Pre-pressed compact disc containing computer data A CD-ROM (, compact disc read-only memory ) is a type of read-only memory consisting of a pre-pressed optical compact disc that contains data computers can read, but not write or erase. Some CDs, called enhanced CDs , hold both co…