No Security Risks Detected
This domain appears to be safe and secure
Disclaimer: This assessment is based on automated analysis of publicly available information. Results are for informational purposes only. For critical applications, consult security professionals.
Scan Information
Refresh page after 10 minutes
for updated results
Page Information
Host Information
Technologies
SSL Certificate
Performance Statistics
HTTP Headers
Technology Stack Analysis
LiteSpeed
LiteSpeed is a high-scalability web server.
HTTP/3
HTTP/3 is the third major version of the Hypertext Transfer Protocol used to exchange information on the World Wide Web.
External Links 32
UPenn
cis.upenn.edu
Benjamin Pierce
cis.upenn.edu
NSF Graduate Research Fellowship
nsfgrfp.org
Nvidia
www.nvidia.com
Amazon Web Services
www.amazon.science
Philadelphia Runner Track Club
www.philadelphiarunnertrackclub.com
Fail Faster: Staging and Fast Randomness for High-Performance PBT
arxiv.org
POPL '26
conf.researchr.org
Pattern Matching in AI Compilers and its Formalization
dl.acm.org
CGO '25
2025.cgo.org
Stream Types
dl.acm.org
[Extended Version]
arxiv.org
[Talk Video]
www.youtube.com
[Implementation]
github.com
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
dl.acm.org
OOPSLA '24
2024.splashcon.org
Property-Based Testing in Practice
harrisongoldste.in
ICSE '24
conf.researchr.org
ICFP '20
icfp20.sigplan.org
[Extended Version]
arxiv.org
[Talk Video]
youtu.be
Dafny Workshop '24
popl24.sigplan.org
[Talk Video]
www.youtube.com
Some Problems with Properties: A Study on Property-Based Testing in Industry
harrisongoldste.in
HATRA Workshop '22
2022.splashcon.org
REPL
penn-repl.github.io
Emeka Nkurumeh
emekoi.github.io
Will Sturgeon
www.linkedin.com
Tanner Duve
www.linkedin.com
1:19:51
mychiptime.com
Restaurants in Philly
seas.upenn.edu
Joomy Korkut
joomy.korkutblech.com