BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TYPO3/NONSGML News system (news)//EN
BEGIN:VEVENT
UID:news-22890@cs.au.dk
DTSTAMP:20210817T075607Z
DTSTART:20180315T110000Z
DTEND:20180315T120000Z
END:VEVENT
END:VCALENDAR




<div class="news news-single">
	<div class="article" itemscope="itemscope" itemtype="http://schema.org/Article">
		
	
			<script type="text/javascript">
				const showAllContentLangToken = "Vis alt indhold ";
			</script>

			
			

			<article class="typo3-delphinus delphinus-gutters">

				<!-- News PID: 4980 - used for finding folder/page which contains the news / event -->
				<!-- News UID: 22890 - the ID of the current news / event-->

				<div class="news-event">
					<div class="news-event__header">
						<!-- Categories -->
						
							<span class="text--stamp">
<!-- categories -->
<span class="news-list-category">
	
		
	
		
	
		
	
</span>

</span>
						

						<!-- Title -->
						<h1 itemprop="headline">Special talk by Qirun Zhang on Practical Program Analysis: Principles and Techniques</h1>
						
					</div>

					

					<div class="news-event__content">

						<!-- Events info box -->
						
								

								<div class="news-event__info theme--dark" id="event-info">
									<h2 class="screenreader-only">Oplysninger om arrangementet</h2>

									
											<!--- Same date -->
											<div class="news-event__info__item news-event__info__item--time">
												<h3 class="news-event__info__item__header text--label-header">Tidspunkt</h3>
												<div class="news-event__info__item__content">
													<span class="u-avoid-wrap">
														Torsdag 15. marts 2018,
													</span>
													<span class="u-avoid-wrap">
														&nbsp;kl. 12:00 -  13:00
													</span>
													<p class="news-event__info__item__ical-link"><a href="/da/news-events/arrangementer/vis-event/artikel/special-talk-by-qirun-zhang-on-practical-program-analysis-principles-and-techniques?tx_news_pi1%5Bformat%5D=ical&amp;type=9819&amp;cHash=9df8364f442beb513bc741038a1bfb98">Tilføj til kalender</a></p>
												</div>
											</div>
										

									<!-- Location detailed -->
									
											<!-- Location Simple -->
											
												<div class="news-event__info__item">
													<h3 class="news-event__info__item__header text--label-header">Sted</h3>
													<div class="news-event__info__item__content">
														<p>5335-295 Nygaard Møderum</p>
													</div>
												</div>
											
										

									<!-- Organizer detailed -->
									
											<!-- Organizer Simple -->
											
										

									<!-- Price -->
									

									<!-- Event link -->
									

									<!-- Registration -->
									
								</div>
							

						
							<!-- Media -->
							
								



							
						

						
							<div class="news-event__content__text">
								<span class="text--byline" id="byline">
									

									<!-- Author -->
									
										<span itemprop="author" itemscope="itemscope" itemtype="http://schema.org/Person">
											
													Af
												

											
													<a href="mailto:dammand@cs.au.dk">
														<span itemprop="name">Marianne Dammand Iversen</span>
													</a>
												
										</span>
									
								</span>

								

									<!-- Body text -->
									<p>Abstract: Software reliability is critical and challenging, for which program analysis offers a principled methodology. However, developing practical program analyses that are scalable and precise is difficult, both conceptually and engineering-wise. This talk highlights two lines of my research that significantly advance the state-of-the-art of program analysis.&nbsp;&nbsp;First, I will present a new reachability-based analysis framework and asymptotically faster algorithms that drastically outperform existing frameworks/algorithms in both speed and precision. The popular LLVM compiler infrastructure has adopted the techniques for fast, precise alias analysis. Second, I will describe a principled, scalable program enumeration framework for rigorous compiler testing. This work has led to 300+ confirmed/fixed bugs in important production/research compilers (such as GCC/LLVM/CompCert, Scala, and Rust) and enjoyed wide public acknowledgments from the compiler developer community. I will conclude the talk by discussing my research vision and plan for building reliable and performant software. 
</p>
<p>Bio: Qirun Zhang is a postdoctoral fellow at the University of California, Davis, before which he was a postdoctoral fellow at the Hong Kong University of Science and Technology. He received his Ph.D. in Computer Science and Engineering from The Chinese University of Hong Kong and his B.E. in Computer Science from Zhejiang University. His main area of research is programming languages, focusing on program analysis and testing. His work has appeared in top venues (e.g., PLDI, POPL, OOPSLA, and ICSE), and led to new analysis foundations and algorithms, and high-impact practical results.</p>
								
							</div>
						
					</div>

					
						<!-- Content elements -->
						
					
				</div>
			</article>

			
				
				
			

			<!-- related things -->
			
		

	</div>
</div>