Domain > d3j3avs91mhabp.cloudfront.net

More information on this domain is in AlienVault OTX

Whois

Property	Value
Email	hostmaster@amazon.com
NameServer	NS-1597.AWSDNS-07.CO.UK
Created	2008-04-25 00:00:00
Changed	2014-02-25 00:00:00
Expires	2017-04-25 00:00:00
Registrar	MARKMONITOR INC.

DNS Resolutions

Date	IP Address
2019-07-22	13.249.109.54 (ClassC)
2019-07-28	13.33.155.136 (ClassC)
2019-08-10	143.204.142.21 (ClassC)
2019-08-10	13.249.122.117 (ClassC)
2019-08-10	13.249.122.72 (ClassC)
2019-08-23	99.86.66.76 (ClassC)
2019-08-23	99.86.66.14 (ClassC)
2019-08-23	99.86.66.3 (ClassC)
2019-08-23	99.86.66.67 (ClassC)
2019-08-24	99.84.104.9 (ClassC)
2019-08-28	99.86.230.62 (ClassC)
2019-08-29	13.249.22.125 (ClassC)
2019-08-29	13.249.22.75 (ClassC)
2019-08-29	13.249.55.65 (ClassC)
2019-08-29	13.249.22.88 (ClassC)
2019-08-30	13.249.55.15 (ClassC)
2019-08-30	13.249.55.53 (ClassC)
2019-09-05	13.249.44.13 (ClassC)
2019-09-08	99.86.77.68 (ClassC)
2019-09-08	99.86.77.93 (ClassC)
2019-09-15	13.249.22.79 (ClassC)
2019-09-17	99.86.77.13 (ClassC)
2019-09-17	99.86.77.29 (ClassC)
2019-10-25	13.35.115.113 (ClassC)
2019-10-26	13.35.115.44 (ClassC)
2019-11-05	54.230.193.37 (ClassC)
2019-11-05	54.230.193.198 (ClassC)
2019-11-06	54.230.193.169 (ClassC)
2019-11-09	54.230.193.36 (ClassC)
2019-11-10	52.85.135.249 (ClassC)
2019-11-10	52.85.135.49 (ClassC)
2019-11-20	99.84.101.41 (ClassC)
2019-11-20	99.84.101.78 (ClassC)
2019-12-11	13.32.83.93 (ClassC)
2019-12-11	13.32.83.69 (ClassC)
2019-12-11	13.32.83.80 (ClassC)
2020-06-20	54.230.250.35 (ClassC)
2024-11-25	3.163.24.30 (ClassC)
2025-02-27	3.165.160.97 (ClassC)
2025-04-17	3.163.24.124 (ClassC)
2025-04-30	3.165.160.128 (ClassC)
2025-05-04	3.175.34.56 (ClassC)
2025-06-10	3.165.160.106 (ClassC)
2025-07-16	3.163.24.48 (ClassC)
2025-08-06	3.163.24.63 (ClassC)

HTTP/1.1 200 OKContent-Type: text/htmlContent-Length: 3673Connection: keep-aliveDate: Mon, 19 Feb 2024 13:49:41 GMTLast-Modified: Tue, 30 Jan 2018 22:45:39 GMTETag: 0cd49201410368c4863fc1cb33b95b5bAcc

!DOCTYPE html>head>title>MemSynth/title>meta charsetutf-8>meta nameviewport contentwidthdevice-width, initial-scale1.0>meta nametwitter:card contentsummary />meta propertyog:title contentMemSynth />meta propertyog:description contentMemSynth is an advanced automated reasoning tool for memory consistency model specifications. It can synthesize specifications from example litmus tests, and refine those specifications by generati... />link relstylesheet href/css/pure-min.css>link relstylesheet href/css/typebase.css>link relstylesheet href/css/custom.css?20170609>link relstylesheet href/css/colorful.css>/head>body>div idcontent>h1 idmemsynth>MemSynth/h1>h2 classsubhead>Synthesis-Aided Memory Model Development/h2>p>MemSynth is an advanced automated reasoning tool fora hrefhttp://homes.cs.washington.edu/~bornholt/post/memory-models.html>memory consistency models/a>.It synthesizes axiomatic memory model specifications from a em>framework sketch/em>and example em>litmus tests/em>,and refines those specifications by generating new litmus testsexposing unresolved ambiguities.MemSynth also offers standard memory model verification and equivalence queriesand outperforms existing tools./p>p>We used MemSynth to synthesize memory model specifications for the x86and PowerPC architectures in just a few seconds. In both cases, MemSynth found severalambiguities (including in the Intel documentation)and generated new litmus tests to resolve them.We also used MemSynth to synthesize a repair for an existing memory model toolthat we could not fix by hand./p>p>MemSynth’s reasoning engine is built on a hrefhttp://jamesbornholt.github.io/ocelot/>Ocelot/a>,an embedding of relational logic (like a hrefhttp://alloy.mit.edu>Alloy/a>)in the a hrefhttp://emina.github.io/rosette/>Rosette/a> solver-aided programming language./p>p>MemSynth is developed at the a hrefhttp://cs.washington.edu>University of Washington/a>by a hrefhttp://homes.cs.washington.edu/~bornholt/>James Bornholt/a>and a hrefhttp://homes.cs.washington.edu/~emina/>Emina Torlak/a

Subdomains

Date	Domain	IP
d1jds163rs6100.cloudfront.net	2024-09-17	3.163.24.123
d1atqi1n69j100.cloudfront.net	2025-01-11	204.246.191.96
di7jquifqm100.cloudfront.net	2018-08-19	13.32.0.104

View on OTX | View on ThreatMiner

Data with thanks to AlienVault OTX, VirusTotal, Malwr and others. [Sitemap]

Domain > d3j3avs91mhabp.cloudfront.net

Is this malicious?

Whois

DNS Resolutions

Port 80

Port 443

Subdomains