Building homepage

Author: ckirsch

ck.pdf

@@ -846,12 +846,14 @@
 href="publications.html" id="X4-" ></a>M. Anton Ertl and Christoph M. Kirsch, eds. <span 
 class="ptmri8t-">Proc. ACM SIGPLAN International Conference on Managed</span>
      <span 
-class="ptmri8t-">Programming Languages and Runtimes (MPLR)</span>. Vienna, Austria: ACM, 2024. <span 
+class="ptmri8t-">Programming  Languages  and  Runtimes  (MPLR)</span>.  Vienna,  Austria:  ACM,  2024.  <span 
 class="ptmrc8t-"><span 
 class="small-caps">I</span><span 
 class="small-caps">S</span><span 
 class="small-caps">B</span><span 
-class="small-caps">N</span></span>: 9798400711183.
+class="small-caps">N</span></span>:  9798400711183.
+     <a 
+href="https://ckirsch.github.io/publications/proceedings/MPLR24.pdf" >Click here for PDF file</a>.
      </dd><dt id="X4-ISMM17" class="thebibliography">
  [2]  </dt><dd 
 id="bib-82" class="thebibliography">
@@ -909,11 +911,11 @@
      <span 
 class="ptmri8t-">Software, EMSOFT 2007, Salzburg, Austria, September 30 - October, 3, 2007, Proceedings</span>. New York, NY,
      USA: ACM, 2007.
+                                                                                      
+                                                                                      
      </dd><dt id="X4-EMSOFT01" class="thebibliography">
  [7]  </dt><dd 
 id="bib-87" class="thebibliography">
-                                                                                      
-                                                                                      
      <!--l. 116--><p class="noindent" >Thomas A. Henzinger and Christoph M. Kirsch, eds. <span 
 class="ptmri8t-">Embedded Software, First International Workshop,</span>
      <span 
@@ -1025,11 +1027,11 @@
 class="ptmri8t-">Execution Environments</span>. Poster at the ACM SIGOPS European Systems Conference (EuroSys). 2010. <a 
 href="https://ckirsch.github.io/publications/posters/EuroSys10-Isolation-Abstract.pdf" >Click
      here for PDF file</a>.
+                                                                                      
+                                                                                      
      </dd><dt id="X7-RTAS09a" class="thebibliography">
  [5]  </dt><dd 
 id="bib-97" class="thebibliography">
-                                                                                      
-                                                                                      
      <!--l. 150--><p class="noindent" >S.S.  Craciunas  et  al.  <span 
 class="ptmri8t-">Everyone  Virtualizes  Everything  But  Time</span>.  Poster  at  the  IEEE  Real-Time  and
      Embedded Technology and Applications Symposium (RTAS). 2009. <a 
@@ -1130,14 +1132,14 @@
      </dd><dt id="X8-SBG09b" class="thebibliography">
 [11]  </dt><dd 
 id="bib-108" class="thebibliography">
+                                                                                      
+                                                                                      
      <!--l. 182--><p class="noindent" >S.S. Craciunas, C.M. Kirsch, and A. Sokolova. <span 
 class="ptmri8t-">Response Time versus Utilization in Scheduler Overhead</span>
      <span 
 class="ptmri8t-">Accounting</span>.  Tech.  rep.  2009-03.  Department  of  Computer  Science,  University  of  Salzburg,  Aug.  2009.
      <a 
 href="https://ckirsch.github.io/publications/reports/SBG09-SchedulerOverhead.pdf" >Click here for PDF file</a>.
-                                                                                      
-                                                                                      
      </dd><dt id="X8-SBG09a" class="thebibliography">
 [12]  </dt><dd 
 id="bib-109" class="thebibliography">
@@ -1220,6 +1222,8 @@
 class="ptmri8t-">Programming</span>. Tech. rep. UCB//CSD-00-1121. California: University of California at Berkeley, 2000. <a 
 href="https://ckirsch.github.io/publications/reports/UCB00-Giotto.pdf" >Click
      here for PDF file</a>.
+                                                                                      
+                                                                                      
      </dd><dt id="X8-MPI98" class="thebibliography">
 [23]  </dt><dd 
 id="bib-120" class="thebibliography">
@@ -1228,8 +1232,6 @@
      Tech. rep. MPI-I-98-2-002. Saarbrücken, Germany: Max Planck Institute for Computer Science, Jan. 1998.
      <a 
 href="https://ckirsch.github.io/publications/reports/MPI98-ShallowEquationalTheories.pdf" >Click here for PDF file</a>.
-                                                                                      
-                                                                                      
      </dd><dt id="X8-MPI93" class="thebibliography">
 [24]  </dt><dd 
 id="bib-121" class="thebibliography">
@@ -1318,14 +1320,14 @@
      Rainer Trummer. Web: <a 
 href="https://jarol.cs.uni-salzburg.at" class="url" ><span 
 class="pcrr8t-">https://jarol.cs.uni-salzburg.at</span></a>
+                                                                                      
+                                                                                      
      </li>
      <li 
   class="enumerate" id="x1-19x9">The  JAviator  Project:  Quadrotor  UAV  Software  Entirely  Written  in  Java,  with  Joshua  Auerbach,  David
      Bacon, Harald Röck, and Rainer Trummer. Web: <a 
 href="https://javiator.cs.uni-salzburg.at" class="url" ><span 
 class="pcrr8t-">https://javiator.cs.uni-salzburg.at</span></a>
-                                                                                      
-                                                                                      
      </li>
      <li 
   class="enumerate" id="x1-21x10">The TAP Project: Concurrent Programming with Threading by Appointment, with Silviu Craciunas and