Host 129.97.186.80
Canada
UWATERLOO
Ubuntu
Software information

Apache Apache 2.4.58

tcp/443 tcp/80

  • SSH is potenitally vulnerable
    IP: 129.97.186.80
    Port: 22
    First seen 2025-12-04 20:05
    Last seen 2026-02-08 13:12
    Open for 65 days
    Create report
  • Git configuration and history exposed
    First seen 2021-05-27 04:37
    Last seen 2022-11-27 19:24
    Open for 549 days

    • Fingerprint: 2580fa947178c88602b1737db148c044b81b03713d63bb82370a65227fd01d1f

      [core]
	repositoryformatversion = 0
	filemode = true
	bare = false
	logallrefupdates = true
[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = gitlab@git.uwaterloo.ca:marianna.rapoport/plg.git
[branch "master"]
	remote = origin
	merge = refs/heads/master
[receive]
	denyCurrentBranch = ignore
      Found on 2021-05-27 04:37
      312 Bytes
    Create report
  • Git configuration and history exposed
    First seen 2021-11-29 12:48
    Last seen 2022-11-17 12:52
    Open for 353 days

    • Severity: medium
      Fingerprint: 2580fa947178c88602b1737db148c044b81b03713d63bb82370a65227fd01d1f

      [core]
	repositoryformatversion = 0
	filemode = true
	bare = false
	logallrefupdates = true
[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = gitlab@git.uwaterloo.ca:marianna.rapoport/plg.git
[branch "master"]
	remote = origin
	merge = refs/heads/master
[receive]
	denyCurrentBranch = ignore
      Found on 2021-11-29 12:48
      312 Bytes
    Create report

  • Open service 129.97.186.80:443

    2026-01-26 15:22 

    HTTP/1.1 200 OK
Date: Mon, 26 Jan 2026 15:22:21 GMT
Server: Apache/2.4.58 (Ubuntu)
Cache-Control: private, max-age=0, must-revalidate
Accept-Ranges: bytes
Vary: Accept-Encoding
Connection: close
Transfer-Encoding: chunked
Content-Type: text/html

Page title: 
		Cforall
		
	


<!--
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-->

<!DOCTYPE html> <!--HTML 5-->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
	<title>
		Cforall
		
	</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<link href="https://plg.uwaterloo.ca/bootstrap/dist/css/bootstrap.min.css" rel="stylesheet">
	<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
	<!--
		popper is needed to make dropdown work in nav-pills
	-->
	<script src="https://plg.uwaterloo.ca/bootstrap/thirdparty/js/popper.min.js"></script>
	<script src="https://plg.uwaterloo.ca/bootstrap/dist/js/bootstrap.min.js"></script>
	<link href="/style.css" rel="stylesheet">
	<link rel="shortcut icon" href="/pic/logo.png" type="image/png">
</head>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


<body>

	<nav class="navbar navbar-expand-sm navbar-light bg-light clearfix">
	<div class="container">
		<a href="https://plg.uwaterloo.ca">
			<img alt="" src="https://plg.uwaterloo.ca/pic/turing-logo.png" id="logo">
		</a>
		<a class="brand" href="/">
			<!--<span class="cfa">C&forall;</span>-->
			<img src="logo.svg" width="40" height="40" alt="Cforall">
		</a>
		<button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar" aria-label="Toggle navigation">
			<span class="navbar-toggler-icon"></span>
		</button>
		<div id="navbar" class="collapse navbar-collapse">
			<ul class="navbar-nav mr-auto">
				<li  class="nav-item"><a class="nav-link" href="/features">
						Features
					</a>
				</li>
				<li  class="nav-item dropdown">
					<a href="#" id="navbarDropdown" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						Parsing
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdown">
						<a class="dropdown-item" href="/parser.shtml">
							grammar
						</a>
						<a class="dropdown-item" href="/lex.shtml">
							lex
						</a>
					</div>
				</li>
				<li  class="nav-item"><a class="nav-link" href="/papers">
						Papers
					</a>
				</li>
			</ul>
			<ul class="nav navbar-nav navbar-right">
				<li  class="nav-item">
					<a class="nav-link" href="/people">
						People
					</a>
				</li>
				<li  >
					<a class="nav-link" href="/contacts">
						Contacts
					</a>
				</li>
			</ul>
		</div>
	</div>
</nav>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


	<div class="container content">
		<div class="header clearfix">
		</div>

		<div class="jumbotron head jumboLocal">
			<h1 id="plgheading">
				<!--<span class="cfa">C&forall;</span>-->
				<img style="padding-top: 4px;" src="logo.svg" width="55" height="55" alt="Cforall">
				<a style="padding-left:10px" href="https://plg.uwaterloo.ca">Programming Language</a></h1>
			<p style="padding-top: 12px;">
				located at <a href="https://uwaterloo.ca"><img width="125" alt="University of Waterloo" src="pic/UWlogo.gif"></a>
			</p>
			<p>
				powered by <a href="http://www.huawei.com/en"><img width="100" alt="Huawei" src="pic/Huawei_logo.png"></a>
			</p>
		</div>
		<p style="text-align: justify">
		<!--<span class="cfa">C&forall;</span>-->
		<span style="display:inline"><img src="logo.svg" width="27" height="27" alt="Cforall"></span>
			(C-for-all) is an open-source project extending ISO C with modern safety
			and productivity features, while still ensuring backwards compatibility with C and its programmers.
			C&forall; is designed to have an orthogonal feature-set based closely on the C programming paradigm
			(non-object-oriented) and these features can be added incrementally to an existing C code-base allowing
			programmers to learn C&forall; on an as-needed basis.  In many ways, C&forall; is to C
			as <a href="http://www.scala-lang.org/files/archive/spec/2.11">Scala</a>
    Found 2026-01-26 by HttpPlugin
    Create report

  • Open service 129.97.186.80:22

    2026-01-22 18:07 

    
                            
    
                                 Found 2026-01-22 by
                                SSHOpenPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · grossman.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Thu, 08 Jan 2026 21:50:30 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://grossman.uwaterloo.ca/
Content-Length: 325
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://grossman.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at grossman.uwaterloo.ca Port 80</address>
</body></html>

    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · cforall.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Thu, 08 Jan 2026 21:49:51 GMT
Server: Apache/2.4.58 (Ubuntu)
Cache-Control: private, max-age=0, must-revalidate
Accept-Ranges: bytes
Vary: Accept-Encoding
Connection: close
Transfer-Encoding: chunked
Content-Type: text/html

Page title: 
		Cforall
		
	


<!--
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-->

<!DOCTYPE html> <!--HTML 5-->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
	<title>
		Cforall
		
	</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<link href="https://plg.uwaterloo.ca/bootstrap/dist/css/bootstrap.min.css" rel="stylesheet">
	<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
	<!--
		popper is needed to make dropdown work in nav-pills
	-->
	<script src="https://plg.uwaterloo.ca/bootstrap/thirdparty/js/popper.min.js"></script>
	<script src="https://plg.uwaterloo.ca/bootstrap/dist/js/bootstrap.min.js"></script>
	<link href="/style.css" rel="stylesheet">
	<link rel="shortcut icon" href="/pic/logo.png" type="image/png">
</head>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


<body>

	<nav class="navbar navbar-expand-sm navbar-light bg-light clearfix">
	<div class="container">
		<a href="https://plg.uwaterloo.ca">
			<img alt="" src="https://plg.uwaterloo.ca/pic/turing-logo.png" id="logo">
		</a>
		<a class="brand" href="/">
			<!--<span class="cfa">C&forall;</span>-->
			<img src="logo.svg" width="40" height="40" alt="Cforall">
		</a>
		<button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar" aria-label="Toggle navigation">
			<span class="navbar-toggler-icon"></span>
		</button>
		<div id="navbar" class="collapse navbar-collapse">
			<ul class="navbar-nav mr-auto">
				<li  class="nav-item"><a class="nav-link" href="/features">
						Features
					</a>
				</li>
				<li  class="nav-item dropdown">
					<a href="#" id="navbarDropdown" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						Parsing
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdown">
						<a class="dropdown-item" href="/parser.shtml">
							grammar
						</a>
						<a class="dropdown-item" href="/lex.shtml">
							lex
						</a>
					</div>
				</li>
				<li  class="nav-item"><a class="nav-link" href="/papers">
						Papers
					</a>
				</li>
			</ul>
			<ul class="nav navbar-nav navbar-right">
				<li  class="nav-item">
					<a class="nav-link" href="/people">
						People
					</a>
				</li>
				<li  >
					<a class="nav-link" href="/contacts">
						Contacts
					</a>
				</li>
			</ul>
		</div>
	</div>
</nav>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


	<div class="container content">
		<div class="header clearfix">
		</div>

		<div class="jumbotron head jumboLocal">
			<h1 id="plgheading">
				<!--<span class="cfa">C&forall;</span>-->
				<img style="padding-top: 4px;" src="logo.svg" width="55" height="55" alt="Cforall">
				<a style="padding-left:10px" href="https://plg.uwaterloo.ca">Programming Language</a></h1>
			<p style="padding-top: 12px;">
				located at <a href="https://uwaterloo.ca"><img width="125" alt="University of Waterloo" src="pic/UWlogo.gif"></a>
			</p>
			<p>
				powered by <a href="http://www.huawei.com/en"><img width="100" alt="Huawei" src="pic/Huawei_logo.png"></a>
			</p>
		</div>
		<p style="text-align: justify">
		<!--<span class="cfa">C&forall;</span>-->
		<span style="display:inline"><img src="logo.svg" width="27" height="27" alt="Cforall"></span>
			(C-for-all) is an open-source project extending ISO C with modern safety
			and productivity features, while still ensuring backwards compatibility with C and its programmers.
			C&forall; is designed to have an orthogonal feature-set based closely on the C programming paradigm
			(non-object-oriented) and these features can be added incrementally to an existing C code-base allowing
			programmers to learn C&forall; on an as-needed basis.  In many ways, C&forall; is to C
			as <a href="http://www.scala-lang.org/files/archive/spec/2.11">Scala</a> 
    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · grossman.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Thu, 08 Jan 2026 21:49:51 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Tue, 13 Oct 2020 18:13:48 GMT
ETag: "20242-5b191605edb61"
Accept-Ranges: bytes
Content-Length: 131650
Vary: Accept-Encoding
Connection: close
Content-Type: text/html


<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:w="urn:schemas-microsoft-com:office:word"
xmlns:m="https://schemas.microsoft.com/office/2004/12/omml"
xmlns="https://www.w3.org/TR/REC-html40">

<head>
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 15">
<meta name=Originator content="Microsoft Word 15">
<link rel=File-List
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/filelist.xml">
<link rel=Edit-Time-Data
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/editdata.mso">
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style>
<![endif]--><!--[if gte mso 9]><xml>
 <o:OfficeDocumentSettings>
  <o:RemovePersonalInformation/>
  <o:RemoveDateAndTime/>
  <o:TargetScreenSize>800x600</o:TargetScreenSize>
 </o:OfficeDocumentSettings>
</xml><![endif]-->
<link rel=dataStoreItem
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/item0001.xml"
target="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/props002.xml">
<link rel=themeData
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/themedata.thmx">
<link rel=colorSchemeMapping
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/colorschememapping.xml">
<!--[if gte mso 9]><xml>
 <w:WordDocument>
  <w:EmbedTrueTypeFonts/>
  <w:SaveSubsetFonts/>
  <w:ActiveWritingStyle Lang="EN-US" VendorID="64" DLLVersion="131078"
   NLCheck="1">0</w:ActiveWritingStyle>
  <w:GrammarState>Clean</w:GrammarState>
  <w:TrackMoves>false</w:TrackMoves>
  <w:TrackFormatting/>
  <w:AutoHyphenation/>
  <w:ValidateAgainstSchemas/>
  <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
  <w:IgnoreMixedContent>false</w:IgnoreMixedContent>
  <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
  <w:DoNotPromoteQF/>
  <w:LidThemeOther>EN-CA</w:LidThemeOther>
  <w:LidThemeAsian>X-NONE</w:LidThemeAsian>
  <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
  <w:Compatibility>
   <w:BreakWrappedTables/>
   <w:SnapToGridInCell/>
   <w:WrapTextWithPunct/>
   <w:UseAsianBreakRules/>
   <w:UseWord2002TableStyleRules/>
   <w:UseWord2010TableStyleRules/>
   <w:DontUseIndentAsNumberingTabStop/>
   <w:FELineBreak11/>
   <w:WW11IndentRules/>
   <w:DontAutofitConstrainedTables/>
   <w:AutofitLikeWW11/>
   <w:HangulWidthLikeWW11/>
   <w:UseNormalStyleForList/>
   <w:DontVertAlignCellWithSp/>
   <w:DontBreakConstrainedForcedTables/>
   <w:DontVertAlignInTxbx/>
   <w:Word11KerningPairs/>
   <w:CachedColBalance/>
  </w:Compatibility>
  <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
  <m:mathPr>
   <m:mathFont m:val="Cambria Math"/>
   <m:brkBin m:val="before"/>
   <m:brkBinSub m:val="&#45;-"/>
   <m:smallFrac m:val="off"/>
   <m:dispDef/>
   <m:lMargin m:val="0"/>
   <m:rMargin m:val="0"/>
   <m:defJc m:val="centerGroup"/>
   <m:wrapIndent m:val="1440"/>
   <m:intLim m:val="subSup"/>
   <m:naryLim m:val="undOvr"/>
  </m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false"
  DefSemiHidden="false" DefQFormat="false" LatentStyleCount="371">
  <w:LsdException Locked="false" QFormat="true" Name="Normal"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 1"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 2"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 3"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 4"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 5"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 6"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 7"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 8"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 9"/>
  <w:
    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · cforall.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Thu, 08 Jan 2026 21:50:30 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Sat, 26 Apr 2025 16:56:30 GMT
ETag: "b1a-633b155160b80"
Accept-Ranges: bytes
Content-Length: 2842
Vary: Accept-Encoding
Connection: close
Content-Type: text/html

Page title: G. V. Cormack (gvcormack@uwaterloo.ca)

<TITLE>G. V. Cormack (gvcormack@uwaterloo.ca)</TITLE>

<a href="http://plg.uwaterloo.ca/~gvcormac/gvc1.jpg"><img style="width:58.5%;" src="http://plg.uwaterloo.ca/~gvcormac/Professor_Emeritus_Gordon_Cormack.jpg"  align=right alt="[my photo]"></a>
<!-- <a href=https://zezvaz.com/cartoons/><img style="width:39%" src=https://zezvaz.com/wp-content/uploads/cybertruckman_zezvaz.webp"></a> -->

<H1>
Gordon V. Cormack
</H1>
<h3>
<A href=http://plg.uwaterloo.ca/~gvcormac/cv.html>Professor Emeritus</a>
<br>
<A href = "http://www.cs.uwaterloo.ca/">
David R. Cheriton School of Computer Science</A> 
<br>
<A href = "http://www.uwaterloo.ca">
University of Waterloo</A>
</h3>
<em>
2502 Davis Centre
<br>
University of Waterloo
<br>
Waterloo, Ontario N2L 3G1
<br>
Canada
<p>
tel:  (519) 888 4567 (34450)
<br>
fax:  (519) 885 1208
<p>
<a href=mailto:gvcormack@uwaterloo.ca>gvcormack@uwaterloo.ca</a>
</em>
<p>
<a href=dvcormack.pdf>In memoriam:  Douglas Villy Cormack 1926 - 2024</a>
<p>
<b>My comments on Covid-19 misinformation spread by a handful of my colleagues:  </b><a href=covidargument.pdf>covidargument.pdf</a>.
See also <a href=https://arxiv.org/abs/2202.04204>The absurdity of death estimates from the Vaccine Adverse Event Reporting System (VAERS)</a>
<p>
My current research involves high-stakes information retrieval, in which demonstrating
the reliability and thoroughness of retrieval methods is of primary importance.
A specific instance of high-stakes information retrieval is <a href=jolt>technology-assisted review (TAR)</a>
for electronic discovery in <a href=http://cormack.uwaterloo.ca/CITES.html>legal matters</a>.
My past research has involved programming languages, compilers,
data structures, concurrency, and distributed computing.
Here is a <A href = "http://plg.uwaterloo.ca/~gvcormac/PAPERSx.html">list of my publications</A>.
<p>
I'm a member of the program committee for the <a href=http://trec.nist.gov/>Text Retrieval Conference (TREC)</a>, coordinator of the <a href=http://trec-total-recall.org>TREC Total Recall Track</a>, past coordinator of the TREC <a href=http://trec-legal.umiacs.umd.edu/>Legal Track</a> and <a href=http://trec.nist.gov/data/spam.html>Spam Track</a>.
<p>
For twelve years I was coach of Waterloo's ACM International Collegiate Programming
Contest team, qualifying for the World Finals every year, winning one <a href=https://icpc.baylor.edu/community/history-icpc-1999>World Championship</a>, and two <a href=https://icpc.baylor.edu/community/results-1998>North</a>
<a href=https://icpc.baylor.edu/community/results-2000>American</a> Championships.
For six years I served as a member of the International Scientific Committee of The
International Olympiad for Informatics, and served as Scientific Director when Canada
hosted <a href=http://www.ioi2010.org/>IOI '2010</a> in Waterloo.
<p>

    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · plg.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Thu, 08 Jan 2026 21:49:50 GMT
Server: Apache/2.4.58 (Ubuntu)
Accept-Ranges: bytes
Vary: Accept-Encoding
Connection: close
Transfer-Encoding: chunked
Content-Type: text/html

Page title: 
		PLG
		
	


<!--
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-->

<!DOCTYPE html> <!--HTML 5-->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
	<title>
		PLG
		
	</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<link href="/bootstrap/dist/css/bootstrap.min.css" rel="stylesheet">
	<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
	<!--
		popper is needed to make dropdown work in nav-pills
	-->
	<script src="/bootstrap/thirdparty/js/popper.min.js"></script>
	<script src="/bootstrap/dist/js/bootstrap.min.js"></script>
	<link href="/style.css" rel="stylesheet">
	<link rel="shortcut icon" href="/pic/turing-logo-bg.png" type="image/png">
</head>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


<body>

	<nav class="navbar navbar-expand-sm navbar-light bg-light clearfix">
	<div class="container">
		<a href="/">
			<img alt="" src="https://plg.uwaterloo.ca/pic/turing-logo.png" id="logo">
		</a>
		<a class="navbar-brand" href="/">
			PLG
		</a>
		<button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar" aria-label="Toggle navigation">
			<span class="navbar-toggler-icon"></span>
		</button>
		<div id="navbar" class="collapse navbar-collapse">
			<ul class="navbar-nav mr-auto">
				<li  class="nav-item dropdown">
					<a href="events.shtml" id="navbarDropdownEvents" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						Events
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdownEvents">
						<a class="dropdown-item" href="events.shtml#meetings">
							Seminars
						</a>
						<!--
						<a class="dropdown-item" href="events.shtml#palaver">
							Lunch Palaver
						</a>
						-->
						<a class="dropdown-item" href="events.shtml#calendar">
							Calendar
						</a>
					</div>
				</li>
				<li class="nav-item dropdown">
					<a href="#" id="navbarDropdownMore" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						More
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdownMore">
						<a class="dropdown-item" href="/new-students.shtml">
							New Students
						</a>
						<a class="dropdown-item" href="https://lists.uwaterloo.ca/mailman/listinfo/proglang-research">
							Mailing List
						</a>
						<a class="dropdown-item" href="/courses.shtml">
							Courses
						</a>
						<a class="dropdown-item" href="/projects.shtml">
							Projects
						</a>
					</div>
				</li>
			</ul>
			<ul class="nav navbar-nav navbar-right">
				<li  class="nav-item">
					<a class="nav-link" href="/people">
						People
					</a>
				</li>
				<li  >
					<a class="nav-link" href="/contacts">
						Contacts
					</a>
				</li>
			</ul>
		</div>
	</div>
</nav>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


	<div class="container content">
		<div class="header clearfix">
		</div>

		<div class="jumbotron head jumboLocal">
			<h1 id="plgheading">Programming Languages Group</h1>
			<br>
			<p>
				<a href="https://cs.uwaterloo.ca">
					Computer Science
				</a>
				and
				<a href="https://uwaterloo.ca/electrical-computer-engineering">
					Electrical &amp; Computer Engineering
				</a>
				<br>
				<a href="https://uwaterloo.ca">
					University of Waterloo
				</a>
			</p>
			<!--
			  -->
		</div>

		<p style="text-align: justify">
			Every aspect of computer science depends on programming languages to transform human ideas
			into a practical, functioning form executable by a computer.
			<!--
			In fact, <i>programming</i> differentiates computer science from all other disciplines.
			 -->
			There are many different programming languages, each addressing a well-defined purp
    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · plg.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Thu, 08 Jan 2026 21:50:29 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://plg.uwaterloo.ca/
Content-Length: 315
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://plg.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at plg.uwaterloo.ca Port 80</address>
</body></html>

    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · cormack.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Thu, 08 Jan 2026 21:49:50 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Sat, 26 Apr 2025 16:56:30 GMT
ETag: "b1a-633b155160b80"
Accept-Ranges: bytes
Content-Length: 2842
Vary: Accept-Encoding
Connection: close
Content-Type: text/html

Page title: G. V. Cormack (gvcormack@uwaterloo.ca)

<TITLE>G. V. Cormack (gvcormack@uwaterloo.ca)</TITLE>

<a href="http://plg.uwaterloo.ca/~gvcormac/gvc1.jpg"><img style="width:58.5%;" src="http://plg.uwaterloo.ca/~gvcormac/Professor_Emeritus_Gordon_Cormack.jpg"  align=right alt="[my photo]"></a>
<!-- <a href=https://zezvaz.com/cartoons/><img style="width:39%" src=https://zezvaz.com/wp-content/uploads/cybertruckman_zezvaz.webp"></a> -->

<H1>
Gordon V. Cormack
</H1>
<h3>
<A href=http://plg.uwaterloo.ca/~gvcormac/cv.html>Professor Emeritus</a>
<br>
<A href = "http://www.cs.uwaterloo.ca/">
David R. Cheriton School of Computer Science</A> 
<br>
<A href = "http://www.uwaterloo.ca">
University of Waterloo</A>
</h3>
<em>
2502 Davis Centre
<br>
University of Waterloo
<br>
Waterloo, Ontario N2L 3G1
<br>
Canada
<p>
tel:  (519) 888 4567 (34450)
<br>
fax:  (519) 885 1208
<p>
<a href=mailto:gvcormack@uwaterloo.ca>gvcormack@uwaterloo.ca</a>
</em>
<p>
<a href=dvcormack.pdf>In memoriam:  Douglas Villy Cormack 1926 - 2024</a>
<p>
<b>My comments on Covid-19 misinformation spread by a handful of my colleagues:  </b><a href=covidargument.pdf>covidargument.pdf</a>.
See also <a href=https://arxiv.org/abs/2202.04204>The absurdity of death estimates from the Vaccine Adverse Event Reporting System (VAERS)</a>
<p>
My current research involves high-stakes information retrieval, in which demonstrating
the reliability and thoroughness of retrieval methods is of primary importance.
A specific instance of high-stakes information retrieval is <a href=jolt>technology-assisted review (TAR)</a>
for electronic discovery in <a href=http://cormack.uwaterloo.ca/CITES.html>legal matters</a>.
My past research has involved programming languages, compilers,
data structures, concurrency, and distributed computing.
Here is a <A href = "http://plg.uwaterloo.ca/~gvcormac/PAPERSx.html">list of my publications</A>.
<p>
I'm a member of the program committee for the <a href=http://trec.nist.gov/>Text Retrieval Conference (TREC)</a>, coordinator of the <a href=http://trec-total-recall.org>TREC Total Recall Track</a>, past coordinator of the TREC <a href=http://trec-legal.umiacs.umd.edu/>Legal Track</a> and <a href=http://trec.nist.gov/data/spam.html>Spam Track</a>.
<p>
For twelve years I was coach of Waterloo's ACM International Collegiate Programming
Contest team, qualifying for the World Finals every year, winning one <a href=https://icpc.baylor.edu/community/history-icpc-1999>World Championship</a>, and two <a href=https://icpc.baylor.edu/community/results-1998>North</a>
<a href=https://icpc.baylor.edu/community/results-2000>American</a> Championships.
For six years I served as a member of the International Scientific Committee of The
International Olympiad for Informatics, and served as Scientific Director when Canada
hosted <a href=http://www.ioi2010.org/>IOI '2010</a> in Waterloo.
<p>

    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · cormack.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 21:49

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Thu, 08 Jan 2026 21:50:29 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://cormack.uwaterloo.ca/
Content-Length: 323
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://cormack.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at cormack.uwaterloo.ca Port 80</address>
</body></html>

    
                            
    
                                 Found 2026-01-08 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:22
                                    
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-08 17:27

                                
    
                            
    

                            
    
                            
    
                                 Found 2026-01-08 by
                                SSHOpenPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:22
                                    
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2026-01-01 18:55

                                
    
                            
    

                            
    
                            
    
                                 Found 2026-01-01 by
                                SSHOpenPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · plg2.cs.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Tue, 23 Dec 2025 02:54:21 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Fri, 03 Mar 2023 13:44:49 GMT
Accept-Ranges: bytes
Content-Length: 2565
Vary: Accept-Encoding
Connection: close
Content-Type: text/html


<!--#set var="curpage" value="index" -->
<!--#include virtual="header.shtml"-->

<body>

	<!--#include virtual="navbar.shtml"-->

	<div class="container content">
		<div class="header clearfix">
		</div>

		<div class="jumbotron head jumboLocal">
			<h1 id="plgheading">Programming Languages Group</h1>
			<br>
			<p>
				<a href="https://cs.uwaterloo.ca">
					Computer Science
				</a>
				and
				<a href="https://uwaterloo.ca/electrical-computer-engineering">
					Electrical &amp; Computer Engineering
				</a>
				<br>
				<a href="https://uwaterloo.ca">
					University of Waterloo
				</a>
			</p>
			<!--
			  -->
		</div>

		<p style="text-align: justify">
			Every aspect of computer science depends on programming languages to transform human ideas
			into a practical, functioning form executable by a computer.
			<!--
			In fact, <i>programming</i> differentiates computer science from all other disciplines.
			 -->
			There are many different programming languages, each addressing a well-defined purpose
			across a number of diverse computing environments.  The Programming Languages Group (PLG)
			does research across this full spectrum: language design, parsing, type theory,
			static/dynamic analysis, code generation and runtime systems. PLG also examines the software
			life-cycle: development tools, code comprehension/transformation, performance, debugging,
			and programmer behaviour and productivity.  The research goal is to ease transforming human
			ideas into an executable form by a computer, which can be accomplished at multiple levels in
			the highly complex software stack.
		</p>

		<!--
		<p>
			The Programming Languages Group (PLG) conducts research in the following areas:
		</p>
		<div class="container">
			<div class="col-sm-6">
				<ul>
					<li>Concurrency</li>
					<li>Compiler construction</li>
					<li>Persistence</li>
					<li>Programming language design</li>
				</ul>
			</div>
			<div class="col-sm-6">
				<ul>
					<li>Software engineering</li>
					<li>Static program analysis</li>
					<li>Virtual machine design</li>
					<li>Type systems</li>
				</ul>
			</div>
		</div>
		-->

		<h3>Projects</h3>

		<!--#include virtual="projectlist.shtml"-->

		<h3>Mailing List</h3>
		To subscribe to the <a href="https://lists.uwaterloo.ca/mailman/listinfo/proglang-research">PLG mailing list</a>
		requires a confirmation from an existing PLG member. Contact a member to join.

	</div>

	<!--#include virtual="footer.shtml"-->

</body>

</html>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · plg2.cs.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Tue, 23 Dec 2025 02:54:20 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://plg2.cs.uwaterloo.ca/
Content-Length: 363
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://plg2.cs.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at <a href="mailto:[no address given]">plg2.cs.uwaterloo.ca</a> Port 80</address>
</body></html>

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · grossman.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Tue, 23 Dec 2025 02:54:06 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://grossman.uwaterloo.ca/
Content-Length: 325
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://grossman.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at grossman.uwaterloo.ca Port 80</address>
</body></html>

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · plg.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Tue, 23 Dec 2025 02:54:06 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://plg.uwaterloo.ca/
Content-Length: 315
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://plg.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at plg.uwaterloo.ca Port 80</address>
</body></html>

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · plg.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Tue, 23 Dec 2025 02:54:06 GMT
Server: Apache/2.4.58 (Ubuntu)
Accept-Ranges: bytes
Vary: Accept-Encoding
Connection: close
Transfer-Encoding: chunked
Content-Type: text/html

Page title: 
		PLG
		
	


<!--
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-->

<!DOCTYPE html> <!--HTML 5-->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
	<title>
		PLG
		
	</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<link href="/bootstrap/dist/css/bootstrap.min.css" rel="stylesheet">
	<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
	<!--
		popper is needed to make dropdown work in nav-pills
	-->
	<script src="/bootstrap/thirdparty/js/popper.min.js"></script>
	<script src="/bootstrap/dist/js/bootstrap.min.js"></script>
	<link href="/style.css" rel="stylesheet">
	<link rel="shortcut icon" href="/pic/turing-logo-bg.png" type="image/png">
</head>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


<body>

	<nav class="navbar navbar-expand-sm navbar-light bg-light clearfix">
	<div class="container">
		<a href="/">
			<img alt="" src="https://plg.uwaterloo.ca/pic/turing-logo.png" id="logo">
		</a>
		<a class="navbar-brand" href="/">
			PLG
		</a>
		<button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar" aria-label="Toggle navigation">
			<span class="navbar-toggler-icon"></span>
		</button>
		<div id="navbar" class="collapse navbar-collapse">
			<ul class="navbar-nav mr-auto">
				<li  class="nav-item dropdown">
					<a href="events.shtml" id="navbarDropdownEvents" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						Events
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdownEvents">
						<a class="dropdown-item" href="events.shtml#meetings">
							Seminars
						</a>
						<!--
						<a class="dropdown-item" href="events.shtml#palaver">
							Lunch Palaver
						</a>
						-->
						<a class="dropdown-item" href="events.shtml#calendar">
							Calendar
						</a>
					</div>
				</li>
				<li class="nav-item dropdown">
					<a href="#" id="navbarDropdownMore" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						More
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdownMore">
						<a class="dropdown-item" href="/new-students.shtml">
							New Students
						</a>
						<a class="dropdown-item" href="https://lists.uwaterloo.ca/mailman/listinfo/proglang-research">
							Mailing List
						</a>
						<a class="dropdown-item" href="/courses.shtml">
							Courses
						</a>
						<a class="dropdown-item" href="/projects.shtml">
							Projects
						</a>
					</div>
				</li>
			</ul>
			<ul class="nav navbar-nav navbar-right">
				<li  class="nav-item">
					<a class="nav-link" href="/people">
						People
					</a>
				</li>
				<li  >
					<a class="nav-link" href="/contacts">
						Contacts
					</a>
				</li>
			</ul>
		</div>
	</div>
</nav>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


	<div class="container content">
		<div class="header clearfix">
		</div>

		<div class="jumbotron head jumboLocal">
			<h1 id="plgheading">Programming Languages Group</h1>
			<br>
			<p>
				<a href="https://cs.uwaterloo.ca">
					Computer Science
				</a>
				and
				<a href="https://uwaterloo.ca/electrical-computer-engineering">
					Electrical &amp; Computer Engineering
				</a>
				<br>
				<a href="https://uwaterloo.ca">
					University of Waterloo
				</a>
			</p>
			<!--
			  -->
		</div>

		<p style="text-align: justify">
			Every aspect of computer science depends on programming languages to transform human ideas
			into a practical, functioning form executable by a computer.
			<!--
			In fact, <i>programming</i> differentiates computer science from all other disciplines.
			 -->
			There are many different programming languages, each addressing a well-defined purp
    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · grossman.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Tue, 23 Dec 2025 02:54:06 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Tue, 13 Oct 2020 18:13:48 GMT
ETag: "20242-5b191605edb61"
Accept-Ranges: bytes
Content-Length: 131650
Vary: Accept-Encoding
Connection: close
Content-Type: text/html


<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:w="urn:schemas-microsoft-com:office:word"
xmlns:m="https://schemas.microsoft.com/office/2004/12/omml"
xmlns="https://www.w3.org/TR/REC-html40">

<head>
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 15">
<meta name=Originator content="Microsoft Word 15">
<link rel=File-List
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/filelist.xml">
<link rel=Edit-Time-Data
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/editdata.mso">
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style>
<![endif]--><!--[if gte mso 9]><xml>
 <o:OfficeDocumentSettings>
  <o:RemovePersonalInformation/>
  <o:RemoveDateAndTime/>
  <o:TargetScreenSize>800x600</o:TargetScreenSize>
 </o:OfficeDocumentSettings>
</xml><![endif]-->
<link rel=dataStoreItem
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/item0001.xml"
target="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/props002.xml">
<link rel=themeData
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/themedata.thmx">
<link rel=colorSchemeMapping
href="MRG%20Full%20Bio%20with%20Photo%20(June%202020)_files/colorschememapping.xml">
<!--[if gte mso 9]><xml>
 <w:WordDocument>
  <w:EmbedTrueTypeFonts/>
  <w:SaveSubsetFonts/>
  <w:ActiveWritingStyle Lang="EN-US" VendorID="64" DLLVersion="131078"
   NLCheck="1">0</w:ActiveWritingStyle>
  <w:GrammarState>Clean</w:GrammarState>
  <w:TrackMoves>false</w:TrackMoves>
  <w:TrackFormatting/>
  <w:AutoHyphenation/>
  <w:ValidateAgainstSchemas/>
  <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
  <w:IgnoreMixedContent>false</w:IgnoreMixedContent>
  <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
  <w:DoNotPromoteQF/>
  <w:LidThemeOther>EN-CA</w:LidThemeOther>
  <w:LidThemeAsian>X-NONE</w:LidThemeAsian>
  <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
  <w:Compatibility>
   <w:BreakWrappedTables/>
   <w:SnapToGridInCell/>
   <w:WrapTextWithPunct/>
   <w:UseAsianBreakRules/>
   <w:UseWord2002TableStyleRules/>
   <w:UseWord2010TableStyleRules/>
   <w:DontUseIndentAsNumberingTabStop/>
   <w:FELineBreak11/>
   <w:WW11IndentRules/>
   <w:DontAutofitConstrainedTables/>
   <w:AutofitLikeWW11/>
   <w:HangulWidthLikeWW11/>
   <w:UseNormalStyleForList/>
   <w:DontVertAlignCellWithSp/>
   <w:DontBreakConstrainedForcedTables/>
   <w:DontVertAlignInTxbx/>
   <w:Word11KerningPairs/>
   <w:CachedColBalance/>
  </w:Compatibility>
  <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
  <m:mathPr>
   <m:mathFont m:val="Cambria Math"/>
   <m:brkBin m:val="before"/>
   <m:brkBinSub m:val="&#45;-"/>
   <m:smallFrac m:val="off"/>
   <m:dispDef/>
   <m:lMargin m:val="0"/>
   <m:rMargin m:val="0"/>
   <m:defJc m:val="centerGroup"/>
   <m:wrapIndent m:val="1440"/>
   <m:intLim m:val="subSup"/>
   <m:naryLim m:val="undOvr"/>
  </m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false"
  DefSemiHidden="false" DefQFormat="false" LatentStyleCount="371">
  <w:LsdException Locked="false" QFormat="true" Name="Normal"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 1"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 2"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 3"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 4"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 5"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 6"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 7"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 8"/>
  <w:LsdException Locked="false" QFormat="true" Name="heading 9"/>
  <w:
    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · cforall.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Tue, 23 Dec 2025 02:54:06 GMT
Server: Apache/2.4.58 (Ubuntu)
Cache-Control: private, max-age=0, must-revalidate
Accept-Ranges: bytes
Vary: Accept-Encoding
Connection: close
Transfer-Encoding: chunked
Content-Type: text/html

Page title: 
		Cforall
		
	


<!--
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-->

<!DOCTYPE html> <!--HTML 5-->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
	<title>
		Cforall
		
	</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<link href="https://plg.uwaterloo.ca/bootstrap/dist/css/bootstrap.min.css" rel="stylesheet">
	<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
	<!--
		popper is needed to make dropdown work in nav-pills
	-->
	<script src="https://plg.uwaterloo.ca/bootstrap/thirdparty/js/popper.min.js"></script>
	<script src="https://plg.uwaterloo.ca/bootstrap/dist/js/bootstrap.min.js"></script>
	<link href="/style.css" rel="stylesheet">
	<link rel="shortcut icon" href="/pic/logo.png" type="image/png">
</head>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


<body>

	<nav class="navbar navbar-expand-sm navbar-light bg-light clearfix">
	<div class="container">
		<a href="https://plg.uwaterloo.ca">
			<img alt="" src="https://plg.uwaterloo.ca/pic/turing-logo.png" id="logo">
		</a>
		<a class="brand" href="/">
			<!--<span class="cfa">C&forall;</span>-->
			<img src="logo.svg" width="40" height="40" alt="Cforall">
		</a>
		<button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar" aria-label="Toggle navigation">
			<span class="navbar-toggler-icon"></span>
		</button>
		<div id="navbar" class="collapse navbar-collapse">
			<ul class="navbar-nav mr-auto">
				<li  class="nav-item"><a class="nav-link" href="/features">
						Features
					</a>
				</li>
				<li  class="nav-item dropdown">
					<a href="#" id="navbarDropdown" class="nav-link dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">
						Parsing
						<span class="caret"></span>
					</a>
					<div class="dropdown-menu" aria-labelledby="navbarDropdown">
						<a class="dropdown-item" href="/parser.shtml">
							grammar
						</a>
						<a class="dropdown-item" href="/lex.shtml">
							lex
						</a>
					</div>
				</li>
				<li  class="nav-item"><a class="nav-link" href="/papers">
						Papers
					</a>
				</li>
			</ul>
			<ul class="nav navbar-nav navbar-right">
				<li  class="nav-item">
					<a class="nav-link" href="/people">
						People
					</a>
				</li>
				<li  >
					<a class="nav-link" href="/contacts">
						Contacts
					</a>
				</li>
			</ul>
		</div>
	</div>
</nav>

<!-- Local Variables: -->
<!-- tab-width: 4 -->
<!-- End: -->


	<div class="container content">
		<div class="header clearfix">
		</div>

		<div class="jumbotron head jumboLocal">
			<h1 id="plgheading">
				<!--<span class="cfa">C&forall;</span>-->
				<img style="padding-top: 4px;" src="logo.svg" width="55" height="55" alt="Cforall">
				<a style="padding-left:10px" href="https://plg.uwaterloo.ca">Programming Language</a></h1>
			<p style="padding-top: 12px;">
				located at <a href="https://uwaterloo.ca"><img width="125" alt="University of Waterloo" src="pic/UWlogo.gif"></a>
			</p>
			<p>
				powered by <a href="http://www.huawei.com/en"><img width="100" alt="Huawei" src="pic/Huawei_logo.png"></a>
			</p>
		</div>
		<p style="text-align: justify">
		<!--<span class="cfa">C&forall;</span>-->
		<span style="display:inline"><img src="logo.svg" width="27" height="27" alt="Cforall"></span>
			(C-for-all) is an open-source project extending ISO C with modern safety
			and productivity features, while still ensuring backwards compatibility with C and its programmers.
			C&forall; is designed to have an orthogonal feature-set based closely on the C programming paradigm
			(non-object-oriented) and these features can be added incrementally to an existing C code-base allowing
			programmers to learn C&forall; on an as-needed basis.  In many ways, C&forall; is to C
			as <a href="http://www.scala-lang.org/files/archive/spec/2.11">Scala</a> 
    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · cforall.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Tue, 23 Dec 2025 02:54:05 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Sat, 26 Apr 2025 16:56:30 GMT
ETag: "b1a-633b155160b80"
Accept-Ranges: bytes
Content-Length: 2842
Vary: Accept-Encoding
Connection: close
Content-Type: text/html

Page title: G. V. Cormack (gvcormack@uwaterloo.ca)

<TITLE>G. V. Cormack (gvcormack@uwaterloo.ca)</TITLE>

<a href="http://plg.uwaterloo.ca/~gvcormac/gvc1.jpg"><img style="width:58.5%;" src="http://plg.uwaterloo.ca/~gvcormac/Professor_Emeritus_Gordon_Cormack.jpg"  align=right alt="[my photo]"></a>
<!-- <a href=https://zezvaz.com/cartoons/><img style="width:39%" src=https://zezvaz.com/wp-content/uploads/cybertruckman_zezvaz.webp"></a> -->

<H1>
Gordon V. Cormack
</H1>
<h3>
<A href=http://plg.uwaterloo.ca/~gvcormac/cv.html>Professor Emeritus</a>
<br>
<A href = "http://www.cs.uwaterloo.ca/">
David R. Cheriton School of Computer Science</A> 
<br>
<A href = "http://www.uwaterloo.ca">
University of Waterloo</A>
</h3>
<em>
2502 Davis Centre
<br>
University of Waterloo
<br>
Waterloo, Ontario N2L 3G1
<br>
Canada
<p>
tel:  (519) 888 4567 (34450)
<br>
fax:  (519) 885 1208
<p>
<a href=mailto:gvcormack@uwaterloo.ca>gvcormack@uwaterloo.ca</a>
</em>
<p>
<a href=dvcormack.pdf>In memoriam:  Douglas Villy Cormack 1926 - 2024</a>
<p>
<b>My comments on Covid-19 misinformation spread by a handful of my colleagues:  </b><a href=covidargument.pdf>covidargument.pdf</a>.
See also <a href=https://arxiv.org/abs/2202.04204>The absurdity of death estimates from the Vaccine Adverse Event Reporting System (VAERS)</a>
<p>
My current research involves high-stakes information retrieval, in which demonstrating
the reliability and thoroughness of retrieval methods is of primary importance.
A specific instance of high-stakes information retrieval is <a href=jolt>technology-assisted review (TAR)</a>
for electronic discovery in <a href=http://cormack.uwaterloo.ca/CITES.html>legal matters</a>.
My past research has involved programming languages, compilers,
data structures, concurrency, and distributed computing.
Here is a <A href = "http://plg.uwaterloo.ca/~gvcormac/PAPERSx.html">list of my publications</A>.
<p>
I'm a member of the program committee for the <a href=http://trec.nist.gov/>Text Retrieval Conference (TREC)</a>, coordinator of the <a href=http://trec-total-recall.org>TREC Total Recall Track</a>, past coordinator of the TREC <a href=http://trec-legal.umiacs.umd.edu/>Legal Track</a> and <a href=http://trec.nist.gov/data/spam.html>Spam Track</a>.
<p>
For twelve years I was coach of Waterloo's ACM International Collegiate Programming
Contest team, qualifying for the World Finals every year, winning one <a href=https://icpc.baylor.edu/community/history-icpc-1999>World Championship</a>, and two <a href=https://icpc.baylor.edu/community/results-1998>North</a>
<a href=https://icpc.baylor.edu/community/results-2000>American</a> Championships.
For six years I served as a member of the International Scientific Committee of The
International Olympiad for Informatics, and served as Scientific Director when Canada
hosted <a href=http://www.ioi2010.org/>IOI '2010</a> in Waterloo.
<p>

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:443
                                     · cormack.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 200 OK
Date: Tue, 23 Dec 2025 02:54:05 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Sat, 26 Apr 2025 16:56:30 GMT
ETag: "b1a-633b155160b80"
Accept-Ranges: bytes
Content-Length: 2842
Vary: Accept-Encoding
Connection: close
Content-Type: text/html

Page title: G. V. Cormack (gvcormack@uwaterloo.ca)

<TITLE>G. V. Cormack (gvcormack@uwaterloo.ca)</TITLE>

<a href="http://plg.uwaterloo.ca/~gvcormac/gvc1.jpg"><img style="width:58.5%;" src="http://plg.uwaterloo.ca/~gvcormac/Professor_Emeritus_Gordon_Cormack.jpg"  align=right alt="[my photo]"></a>
<!-- <a href=https://zezvaz.com/cartoons/><img style="width:39%" src=https://zezvaz.com/wp-content/uploads/cybertruckman_zezvaz.webp"></a> -->

<H1>
Gordon V. Cormack
</H1>
<h3>
<A href=http://plg.uwaterloo.ca/~gvcormac/cv.html>Professor Emeritus</a>
<br>
<A href = "http://www.cs.uwaterloo.ca/">
David R. Cheriton School of Computer Science</A> 
<br>
<A href = "http://www.uwaterloo.ca">
University of Waterloo</A>
</h3>
<em>
2502 Davis Centre
<br>
University of Waterloo
<br>
Waterloo, Ontario N2L 3G1
<br>
Canada
<p>
tel:  (519) 888 4567 (34450)
<br>
fax:  (519) 885 1208
<p>
<a href=mailto:gvcormack@uwaterloo.ca>gvcormack@uwaterloo.ca</a>
</em>
<p>
<a href=dvcormack.pdf>In memoriam:  Douglas Villy Cormack 1926 - 2024</a>
<p>
<b>My comments on Covid-19 misinformation spread by a handful of my colleagues:  </b><a href=covidargument.pdf>covidargument.pdf</a>.
See also <a href=https://arxiv.org/abs/2202.04204>The absurdity of death estimates from the Vaccine Adverse Event Reporting System (VAERS)</a>
<p>
My current research involves high-stakes information retrieval, in which demonstrating
the reliability and thoroughness of retrieval methods is of primary importance.
A specific instance of high-stakes information retrieval is <a href=jolt>technology-assisted review (TAR)</a>
for electronic discovery in <a href=http://cormack.uwaterloo.ca/CITES.html>legal matters</a>.
My past research has involved programming languages, compilers,
data structures, concurrency, and distributed computing.
Here is a <A href = "http://plg.uwaterloo.ca/~gvcormac/PAPERSx.html">list of my publications</A>.
<p>
I'm a member of the program committee for the <a href=http://trec.nist.gov/>Text Retrieval Conference (TREC)</a>, coordinator of the <a href=http://trec-total-recall.org>TREC Total Recall Track</a>, past coordinator of the TREC <a href=http://trec-legal.umiacs.umd.edu/>Legal Track</a> and <a href=http://trec.nist.gov/data/spam.html>Spam Track</a>.
<p>
For twelve years I was coach of Waterloo's ACM International Collegiate Programming
Contest team, qualifying for the World Finals every year, winning one <a href=https://icpc.baylor.edu/community/history-icpc-1999>World Championship</a>, and two <a href=https://icpc.baylor.edu/community/results-1998>North</a>
<a href=https://icpc.baylor.edu/community/results-2000>American</a> Championships.
For six years I served as a member of the International Scientific Committee of The
International Olympiad for Informatics, and served as Scientific Director when Canada
hosted <a href=http://www.ioi2010.org/>IOI '2010</a> in Waterloo.
<p>

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                        
  • 
                            
    
                                
    
                                    
                                    Open service
                                    
                                    129.97.186.80:80
                                     · cormack.uwaterloo.ca
                                    
                                
    
                                
    
                                    
                                    
                                    
                                    2025-12-23 02:54

                                
    
                            
    

                            
    HTTP/1.1 301 Moved Permanently
Date: Tue, 23 Dec 2025 02:54:06 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://cormack.uwaterloo.ca/
Content-Length: 323
Connection: close
Content-Type: text/html; charset=iso-8859-1

Page title: 301 Moved Permanently

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>301 Moved Permanently</title>
</head><body>
<h1>Moved Permanently</h1>
<p>The document has moved <a href="https://cormack.uwaterloo.ca/">here</a>.</p>
<hr>
<address>Apache/2.4.58 (Ubuntu) Server at cormack.uwaterloo.ca Port 80</address>
</body></html>

    
                            
    
                                 Found 2025-12-23 by
                                HttpPlugin 
                                
    
                                     Create report
                                
    
                            
    
                        
    • 
                        
                    

                    

                        
                        

                            

                                
cforall.uwaterloo.cacormack.uwaterloo.cagrossman.uwaterloo.caplg.uwaterloo.ca

                            


                            

                                

                                    Fingerprint:
                                

                                

                                    0653a3f5b6c282aa042f5a61fb13fa5b96f172d94328bb6b87b520c21fde913a
                                

                            

                            

                                

                                    CN:
                                

                                

                                    cforall.uwaterloo.ca
                                

                            

                            

                                

                                    Key:
                                

                                

                                    ECDSA-256
                                

                                

                                    Issuer:
                                

                                

                                    E8
                                

                            

                            

                                

                                    Not before:
                                

                                

                                    2025-12-23 01:55
                                

                                

                                    Not after:
                                

                                

                                    2026-03-23 01:55
                                

                            

                        

                        
                        

                            

                                
plg2.cs.uwaterloo.ca

                            


                            

                                

                                    Fingerprint:
                                

                                

                                    cd6d40b3b26eb7a48d16e67f7f2b03f8dfe09cc7658acc53ffd9de80a4d57c0a
                                

                            

                            

                                

                                    CN:
                                

                                

                                    plg2.cs.uwaterloo.ca
                                

                            

                            

                                

                                    Key:
                                

                                

                                    ECDSA-256
                                

                                

                                    Issuer:
                                

                                

                                    E8
                                

                            

                            

                                

                                    Not before:
                                

                                

                                    2025-12-23 01:55
                                

                                

                                    Not after:
                                

                                

                                    2026-03-23 01:55
                                

                            

                        

                        
                    

                

            

        

        

            

            

                
Domain summary

                
                

                    

                        
                        plg.uwaterloo.ca
                        4
                        
                        grossman.uwaterloo.ca
                        3
                        
                        cforall.uwaterloo.ca
                        3
                        
                        cormack.uwaterloo.ca
                        3
                        
                        plg2.cs.uwaterloo.ca
                        1
                        
                    

                

                

                    5 recorded
                

                
            

            
        

    




  
  
  
  

      

          

              

                  
© 2026 LeakIX v2.0.49 
About LeakIX -
                      Credits -
                      Take-down and blacklist requests -
                      Security issues -
                      Terms and conditions -
                      Cookie policy -
                      Legal notice