1<!DOCTYPE HTML PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> 2<html xmlns="http://www.w3.org/1999/xhtml"><head> 3 4 5 6<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 7<title>Ales Plsek - Home page</title> 8<meta name="description" content="Home page of Ales Plsek, a computer scientist. Information on Ales Plsek's research projects, publications, and open-source software."> 9<link href="css/1.css" rel="stylesheet" type="text/css"> 10</head> 11 12 13 14<a name="top" id="top"></a> 15<center> 16 17<div id="menu"> 18 <a href="index.html">home</a> 19 <a href="research/research.html">research</a> 20 <a href="publications/publications.html">publications</a> 21 <a href="soft/software.html">software</a> 22 <a href="conf/conf.html">Conferences</a> 23 <a href="contact/contact.html">contact</a> 24 25 <!-- <a href="http://pauillac.inria.fr/%7Exleroy/contact.html">contact</a>--> 26</div> 27 28 29 <!-- from http://pauillac.inria.fr/~xleroy/index.html --> 30 31 32<div id="header"> 33<h1>Aleš Plšek <a href="http://victorian.fortunecity.com/vermeer/287/czechtable.htm"><font style="text-transform: lowercase;" size="2">[Alesh Plshek]</font></a></h1> 34<h2>Software Engineer</h2> 35</div> 36 37<div id="content"> 38 39<div id="sidebar"> 40<div class="submenu"> 41 <h1>Menu</h1> 42 <a href="index.html">
42home</a> 43 <a href="research/research.html">research</a> 44 <a href="publications/publications.html">publications</a> 45 <a href="soft/software.html">software</a> 46 <a href="conf/conf.html">conferences</a> 47 <a href="contact/contact.html">contact</a> 48 </div> 49<div class="submenu"> 50<h1>See also</h1> 51 <a href="http://rtjava.blogspot.com/">My Blog</a> 52 <a href="http://www.linkedin.com/in/plsek"><img src="http://www.linkedin.com/img/webpromo/btn_viewmy_160x33.gif" alt="View Ales Plsek's profile on LinkedIn" border="0" height="20" width="100"></a> 53<div style="width: 160px;" id="__ss_3842232"><strong style="display: block; margin: 12px 0pt 4px;"><a href="http://www.slideshare.net/aplsek/open-safetycritical-java-3842232" title="Open Safety-Critical Java">View my talks at SlideShare</a></strong><object id="__sse3842232" width="160"><param name="movie" value="http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=oscj-100424151643-phpapp02&stripped_title=open-safetycritical-java-3842232"><param name="allowFullScreen" value="true"><param name="allowScriptAccess" value="always"><embed name="__sse3842232" src="http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=oscj-100424151643-phpapp02&stripped_title=open-safetycritical-java-3842232" type="application/x-shockwave-flash" allowscriptaccess="always" allowfullscreen="true" height="100" width="160"></object><div style="padding: 5px 0pt 12px;"></div></div> 54 55</div> 56</div> 57 58<div id="mainbar"> 59
60<script language="JavaScript"> 61<!-- 62/* 63Random Image Link Script 64By Website Abstraction (http://www.wsabstract.com) 65and Java-scripts.net (http://www.java-scripts.net) 66*/ 67 68function random_imglink(){ 69 var myimages=new Array() 70 //specify random images below. You can have as many as you wish 71 myimages[1]="css/ales.jpg" 72 myimages[2]="css/ales2.jpg" 73 myimages[3]="css/ales2.jpg" 74 myimages[4]="css/ales4.jpg" 75 myimages[5]="css/ales6.jpg" 76 myimages[6]="css/ales7.jpg" 77 myimages[7]="css/ales8.jpg" 78 myimages[8]="css/ales9.jpg" 79 myimages[9]="css/ales2.jpg" 80 myimages[10]="css/ales13.jpg" 81 myimages[11]="css/ales10.jpg" 82 83 var ry=Math.floor(Math.random()*myimages.length) 84 85 if (ry==0) 86 ry=1 87 document.write('<img src="'+myimages[ry]+'" alt="Ales Plseks random immage" class="articleimg" width="160" border=0>') 88} 89 90 random_imglink() 91//--> 92</script>
92 93 94 95 96<p> 97I am a software engineer working at Apple. Previously I worked at Upthere, Oracle, and as a postdoctoral researcher at <a href="http://www.cs.purdue.edu/">Purdue University</a>, under supervision of <a href="http://www.cs.purdue.edu/homes/jv/">Prof. Jan Vitek</a>.<br> 98Particularly, I was in charge of Safety-Critical Java (SCJ) project, we provided the first open-source implementation of SCJ - including SCJ VM, TCK and benchmarks. See the <a href="http://sss.cs.purdue.edu/projects/oscj/">oSCJ project webpage</a>.<br><br> 99My research interests in general are <b>middleware</b>,<b>performace</b>,<b>real-time programming</b>, <b>real-time Java</b>, <b>virtual machines design</b>, <b>service-based and component-based programming</b> and <b>model checking</b>. 100</p> 101 102<h3>My Past Projects</h3> 103 <ul> 104<li><a href="http://sss.cs.purdue.edu/projects/oscj/">oSCJ</a> - Safety-Critical Java Virtual Machine implementation 105</li><li><a href="http://sss.cs.purdue.edu/projects/oscj/checker/checker.html">Static Checker for oSCJ</a> 106</li><li><a href="http://sss.cs.purdue.edu/projects/azul/">Azul High-Performance Computing at Purdue</a> 107</li><li><a href="http://sss.cs.purdue.edu/projects/cdx/">CDx</a> - A Family of Real-Time Java Benchmarks 108</li><li><a href="http://code.google.com/p/test-make/">test-make</a> - A robust Ruby-based testing harness for command-line programs. 109</li></ul> 110 111 112<h3>Activities</h3> 113 <ul> 114 <li>PC member at <a href="">JTRES'12</a></li> 115<li>PC member at <a href="http://cnsi.jejunu.ac.kr/">CNSI'11</a></li> 116<li>Co-Organizing <a href="http://sss.cs.purdue.edu/projects/veesc/">VEESC</a></li> 117<li>Organizing <a href="http://www.cs.purdue.edu/roots10/ROOTs_2010/Welcome.html">ROOTs'10</a> collocated with 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 ECOOP'10 137</li></ul> 138 139 140 141<h1>News</h1> 142 143<div xmlns="" id="feed-control"><div class="gfg-root"><div class="gfg-title"><a class="gfg-collapse-href" href="http://rtjava.blogspot.com/" target="_blank">Real-Time Java</a></div><div class="gfg-entry"><div style="top: 0px;" class="gf-result"><div class="gf-title"><a target="_blank" class="gf-title" href="http://rtjava.blogspot.com/2010/08/developing-safety-critical-java_20.html">Developing Safety-Critical Java Applications with oSCJ : Presentation</a></div><div class="gf-author">by [email protected] (Ales Plsek)</div><div class="gf-spacer">-</div><div class="gf-relativePublishedDate">Aug 20, 2010</div><div class="gf-snippet">Our oSCJ slides presented at JTRES:oSCJ : Safety Critical Java Virtual Machine DevelopmentView more our presentations.</div></div><div style="position: absolute; top: 0px; left: 0px; visibility: hidden; opacity: 0;" class="gfg-entry"></div></div><div class="gfg-subtitle"><a class="gfg-collapse-href" href="http://rtjava.blogspot.com/" target="_blank">Real-Time Java</a><div class="clearFloat"></div></div><div class="gfg-list"><div class="gfg-listentry gfg-listentry-odd"><a target="_blank" href="http://rtjava.blogspot.com/2010/09/garbage-collection-and-real-time.html">Garbage Collection and Real-time Garbage Collection Introduction</a></div><div class="gfg-listentry gfg-listentry-even"><a target="_blank" href="http://rtjava.blogspot.com/2010/09/static-checker-for-scj-paper-and-its.html">Static Checker for SCJ: Paper and its Presentation</a></div><div class="gfg-listentry gfg-listentry-highlight gfg-listentry-odd"><a target="_blank" href="http://rtjava.blogspot.com/2010/08/developing-safety-critical-java_20.html">Developing Safety-Critical Java Applications with oSCJ : Presentation</a></div><div class="gfg-listentry gfg-listentry-even"><a target="_blank" href="http://rtjava.blogspot.com/2010/08/developing-safety-critical-java.html">Developing Safety-Critical Java Applications with oSCJ</a></div></div></div></div><p> 144 145 146
146<script xmlns="" src="http://www.google.com/jsapi?key=notsupplied-wizard" type="text/javascript"></script>
146 147 148 149
149<script xmlns="" src="http://www.google.com/uds/solutions/dynamicfeed/gfdynamicfeedcontrol.js" type="text/javascript"></script>
149 150 <style xmlns="" type="text/css"> 151 @import url('http://www.google.com/uds/solutions/dynamicfeed/gfdynamicfeedcontrol.css'); 152 </style> 153 154
154<script xmlns="" type="text/javascript"> 155 function LoadDynamicFeedControl() { 156 var feeds = [ 157 {title: '', 158 url: 'http://rtjava.blogspot.com/feeds/posts/default?alt=rss' 159 }]; 160 var options = { 161 stacked : true, 162 horizontal : false, 163 title : '' 164 } 165 166 new GFdynamicFeedControl(feeds, 'feed-control', options); 167 } 168 // Load the feeds API and set the onload callback. 169 google.load('feeds', '1'); 170 google.setOnLoadCallback(LoadDynamicFeedControl); 171 </script>
171<script src="http://www.google.com/uds/?file=feeds&v=1" type="text/javascript"></script>
171<link href="http://www.google.com/uds/api/feeds/1.0/4af0f9d507d970221e7badc56cb6f35a/default.css" type="text/css" rel="stylesheet">
171<script src="http://www.google.com/uds/api/feeds/1.0/4af0f9d507d970221e7badc56cb6f35a/default+en.I.js" type="text/javascript"></script>
171 172 173<!-- 174 175--> 176 177</p></div> 178</div> 179 180<div id="footer"> 181 182Page designed by <a href="http://www.sixshootermedia.com/">James Koster</a> 183via <a href="http://www.oswd.org/">OSWD</a>. 184</div> 185</center>
185<script src="http://b.scorecardresearch.com/beacon.js?c1=7&c2=7400849&c3=1&c4=&c5=&c6="></script>
185 186 187</center> 188</body></html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.