-
Notifications
You must be signed in to change notification settings - Fork 4
/
yearly.htm
503 lines (444 loc) · 45.5 KB
/
yearly.htm
1
<!DOsCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN""http://www.w3.org/TR/html4/loose.dtd"><html><head><title>Publications</title><meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"><STYLE TYPE="text/css">/** publications **/div.ShortJournal { color: black; font-size: .8em; margin-left: .75cm; margin-bottom: .30cm; background: #FFF4D8;}.ShortAuthors {}.ShortTitle { font-style: italic; color: black;}.ShortVenue { font-family: sans-serif; font-size: .90em; font-weight: bold;}div.ShortEdited { font-size: .8em; margin-left: .75cm; margin-bottom: .20cm; background: #D6FFE1;}div.ShortConference { font-size: 0.8em; margin-left: .75cm; margin-bottom: .20cm; background: #FFDADA;}div.ShortWorksop { font-size: 0.8em; margin-left: .75cm; margin-bottom: .20cm; background: #ECECEC;}div.ShortInBook { background: #CCCCCC; font-size: .8em; margin-left: .75cm; margin-bottom: .20cm;}.jrn { background: #FFF4D8}.conf { background: #FFDADA}.wks { background: #ECECEC}.bk { background: #CCCCCC}.ed { background: #D6FFE1}.style1 { font-family: "Comic Sans MS"; font-size: x-small;}.style4 { font-size: large; font-family: "Courier New", Courier, mono; font-weight: bold;}.style5 { color: black}</style></head><body><span class="style4">Publications</span><p align="right" class="style1"> All publications by Jan Vitek, sorted by date.<br> code: <span class="jrn"> journal </span>, <span class="conf"> peer-reviewed </span>, <span class="wks"> workshop </span>, <span class="bk"> book chapter </span> , <span class="ed"> edited </span>.<br> References in <a href="jv.bib">bibtex forma</a>t. </p> <H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2013</h4><div class="ShortConference"> <span class="ShortAuthors">Richards, Hammer, Jagannathan, Zappa Nardelli, Vitek.</span> <span class="ShortTitle">Flexible Access Control Policies with Delimited Histories and Revocation.</span> <span class="ShortVenue">OOPSLA</span> <a href="pubs/oopsla13.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Marino, Hammer, Dolby, Vaziri, Tip, Vitek.</span> <span class="ShortTitle">Detecting deadlock in programs with data-centric synchronization.</span> <span class="ShortVenue">ICSE</span> <a href="pubs/icse13.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">DeVito, Hegarty, Aiken, Hanrahan, Vitek.</span> <span class="ShortTitle">Terra: a multi-stage language for high-performance computing.</span> <span class="ShortVenue">PLDI</span> <a href="pubs/pldi13.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Demange, Laporte, Zhao, Jagannathan, Pichardie, Vitek.</span> <span class="ShortTitle">Plan B: a buffered memory model for Java.</span> <span class="ShortVenue">POPL</span> <a href="pubs/popl13.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2012</h4><div class="ShortConference"> <span class="ShortAuthors">Kalibera, Mole, Jones, Vitek.</span> <span class="ShortTitle">A black-box approach to understanding concurrency in DaCapo.</span> <span class="ShortVenue">OOPSLA</span> <a href="pubs/oopsla12a.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Meawad, Richards, Morandat, Vitek.</span> <span class="ShortTitle">Eval begone!: semi-automated removal of eval from JavaScript programs.</span> <span class="ShortVenue">OOPSLA</span> <a href="pubs/oopsla12b.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortInBook"> <span class="ShortAuthors">Vitek. </span> <span class="ShortTitle">Atomicity in Real-time Computing</span> <span class="ShortVenue">Springer</span><a href="pubs/arc12.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"> <span class="ShortAuthors">Vitek, Kalibera.</span><span class="ShortTitle">R3 -- Repeatability, Reproducibility and Rigor.</span> <span class="ShortVenue">SIGPLAN Notices</span> <a href="pubs/r3.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortInBook"> <span class="ShortAuthors">Vitek. </span><span class="ShortTitle">Memory Safety for Safety Critical Java</span> <span class="ShortVenue">Springer</span> <a href="pubs/mssc12.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a> </div> <div class="ShortJournal"> <span class="ShortAuthors">Dolby, Hammer, Marino, Tip, Vaziri, Vitek.</span><span class="ShortTitle">A Data-Centric Approach to Synchronization.</span> <span class="ShortVenue">TOPLAS</span> <a href="pubs/toplas12.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Morandat, Hill, Osvald, Vitek.</span> <span class="ShortTitle">Evaluating the Design of the R Language.</span> <span class="ShortVenue">ECOOP</span> <a href="pubs/ecoop12.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors">Macnak, Morandat, Hill, Osvald, Vitek.</span><span class="ShortTitle">TraceR: A framework for understanding R performance.</span> <span class="ShortVenue">UseR!</span></div><div class="ShortConference"> <span class="ShortAuthors">Bouakaz, Talpin Vitek.</span> <span class="ShortTitle">Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.</span> <span class="ShortVenue">ACSD</span> </div> <div class="ShortJournal"> <span class="ShortAuthors">Meawad, Iyer, Schoeberl, Vitek.</span> <span class="ShortTitle">Micro-transactions for concurrent data structures. </span> <span class="ShortVenue">CCPE</span> <a href="pubs/ccpe11.pdf??"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortInBook"> <span class="ShortAuthors">Hirschfeld, Krishnamurthi, Vitek. </span> <span class="ShortTitle"> Foundations for Scripting Languages.</span> <span class="ShortVenue">Dagstuhl</span><a href="pubs/dagstuhl12.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2011</h4><div class="ShortConference"> <span class="ShortAuthors">Vitek.</span><span class="ShortTitle">Virtualizing real-time embedded systems with Java.</span> <span class="ShortVenue">DAC</span> <a href="pubs/dac11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors">Meawad, Iyer, Schoeberl, Vitek.</span> <span class="ShortTitle">Real-Time Wait-Free Queues using Micro-Transactions. </span> <span class="ShortVenue">JTRES </span> <a href="pubs/jtres11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Vitek, Kalibera.</span><span class="ShortTitle">Repeatability, Reproducibility and Rigor in Systems Research. (Invited)</span> <span class="ShortVenue">EMSOFT</span> <a href="pubs/emsoft11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"> <span class="ShortAuthors">Kalibera, Pizlo, Hosking, Vitek.</span><span class="ShortTitle">Scheduling Real-Time Garbage Collection on Uniprocessors.</span> <span class="ShortVenue">TOCS</span> <a href="pubs/tocs11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Richards, Gal, Eich, Vitek.</span><span class="ShortTitle"> Automated Construction of JavaScript Benchmarks.</span> <span class="ShortVenue">OOPSLA</span> <a href="pubs/oopsla11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors">Meawad, Macnak, Vitek.</span> <span class="ShortTitle">Collecting Transactional Garbage. </span> <span class="ShortVenue">TRANSACT</span> <a href="pubs/transact11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortJournal"><span class="ShortAuthors"> Kalibera, Hagelberg, Maj, Pizlo, Titzer, Vitek.</span> <span class="ShortTitle"> A family of real-time Java benchmarks</span> <span class="style5"><strong>CC:PE</strong></span> <a href="pubs/ccpe11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Richards, Hammer, Burg, Vitek.</span><span class="ShortTitle"> The Eval that Men Do: A Large-scale Study of the Use of Eval in JavaScript Applications.</span> <span class="ShortVenue">ECOOP</span> <a href="pubs/ecoop11.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors"> Milanova, Vitek.</span><span class="ShortTitle"> Static Dominance Inference. </span> <span class="ShortVenue">TOOLS</span> </div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2010</h4><div class="ShortConference"> <span class="ShortAuthors">Vaiziri, Tip, Dolby, Hammer, Vitek.</span><span class="ShortTitle"> AType System for Data-Centric Synchronization.</span> <span class="ShortVenue">ECOOP</span> <a href="pubs/ecoop10.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortConference"> <span class="ShortAuthors"> Pizlo, Blanton, Hosking, Maj, Vitek, Ziarek.</span><span class="ShortTitle"> Schism: Fragmentation-Tolerant Real-Time Garbage Collection.</span> <span class="ShortVenue">PLDI</span> <a href="pubs/pldi10b.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortConference"> <span class="ShortAuthors"> Richards, Lebresne, Burg, Vitek,</span><span class="ShortTitle"> An Analysis of the Dynamic Behavior of JavaScript Programs.</span> <span class="ShortVenue">PLDI</span> <a href="pubs/pldi10a.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortConference"> <span class="ShortAuthors"> Pizlo Ziareck, Blanton, Maj, Vitek,</span><span class="ShortTitle"> High-level Programming of Embedded Hard Real-Time Devices.</span> <span class="ShortVenue">EuroSys</span> <span class="ShortWorksop"><a href="pubs/eurosys10.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortConference"> <span class="ShortAuthors"> Wrigstad, Zappa Nardelli, Lebresne, Ostlund, Vitek,</span><span class="ShortTitle"> Integrating Typed and Untyped Code in a Scripting Language.</span> <span class="ShortVenue">POPL </span><span class="ShortWorksop"><a href="pubs/popl10.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortConference"> <span class="ShortAuthors"> Schoeberl, Brandner, Vitek,</span> <span class="ShortTitle">RTTM: Real-Time Transactional Memory.</span> <span class="ShortVenue">SAC</span><span class="ShortVenue"> </span><span class="ShortWorksop"><a href="pubs/sac10.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div> <div class="ShortJournal"><span class="ShortAuthors"> Spring, Pizlo, Privat, Guerraoui, Vitek.</span> <span class="ShortTitle">Reflexes: Abstractionsfor Integrating Highly Responsive Tasks into Java Applications. </span><span class="style5"><strong>TECS </strong></span><a href="pubs/tces09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortWorksop"> <span class="ShortAuthors"> Kalibera, Parizek, Haddad, Leavens, Vitek.</span> <span class="ShortTitle">Challenge Benchmarks for Verification of Real-time Programs. </span> <span class="ShortVenue">PLPV</span> <a href="pubs/plpv10.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortWorksop"> <span class="ShortAuthors"> Kidd, Jagannathan, Vitek.</span> <span class="ShortTitle"> One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis Under Priority Scheduling. </span> <span class="ShortVenue">SPIN</span> <a href="pubs/spin10.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors"> Tang, Plsek, Vitek.</span> <span class="ShortTitle">Static Checking of Safety Critical Java Annotations. </span> <span class="ShortVenue">JTRES </span> <a href="pubs/jtres10a.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors"> Plsek, Zhao, Sahin, Tang, Kalibera.</span> <span class="ShortTitle">Developing Safety Critical Java applications with oSCJ/L0. </span> <span class="ShortVenue">JTRES</span> <a href="pubs/jtres10b.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div> <div class="ShortEdited"> <span class="ShortAuthors">Vitek. <span class="ShortTitle">Objects,Models, Components, Pattern (TOOLS)</span> <span class="ShortVenue">Springer </span></span><a href="http://dx.doi.org/10.1007/978-3-642-13953-6"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortEdited"> <span class="ShortAuthors">Vitek. <span class="ShortTitle">Workshop on Java Technologies for Real-time Systems (JTRES)</span> <span class="ShortVenue">ACM DL</span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2009</h4><div class="ShortEdited"> <span class="ShortAuthors"> Bonsanguea, Johnsen, Murphy, Vitek,<span class="ShortTitle"> Special Issue on Distributed Computing Techniques in Theoretical Computer Science.</span> <span class="ShortVenue">TCS</span></span></div><div class="ShortEdited"> <span class="ShortAuthors">Vitek, <span class="ShortTitle">Introduction to: The Myths of Object-Orientation.</span> <span class="ShortVenue">ECOOP</span></span></div> <div class="ShortEdited"> <span class="ShortAuthors">Nystrom, Vitek, Wrigstad. <span class="ShortTitle">1st International Script to Program Workshop (STOP)</span> <span class="ShortVenue">ACM DL</span></span></div> <div class="ShortInBook"> <span class="ShortAuthors">Suri,Vitek. <em>Mobile Agents</em>. <span class="ShortTitle">Encyclopedia of Complexityand System Science</span> <span class="ShortVenue">Springer</span></span></div> <div class="ShortConference"><span class="ShortAuthors"> Kalibera, Pizlo, Hosking, Vitek.</span> <span class="ShortTitle"> Scheduling Hard Real-time Garbage Collection. </span><strong>RTSS</strong> <span class="ShortWorksop"><a href="pubs/rtss09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div> <div class="ShortConference"><span class="ShortAuthors"> Bloom, Field, Nystrom, Ostlund, Richards, Strnisa, Vitek, Wrigstad.</span> <span class="ShortTitle"> Thorn---Robust, Concurrent, Extensible Scripting on the JVM. </span><strong>OOPSLA</strong> <a href="pubs/oopsla09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"><span class="ShortAuthors"> Wrigstad, Pizlo, Meawad, Zhao and Vitek.</span> <span class="ShortTitle"> Loci: Simple Thread-Locality for Java. </span><strong>ECOOP</strong> <a href="pubs/ecoop09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"><span class="ShortAuthors"> Cunei, Guerraoui, Spring, Privat, Vitek. </span> <span class="ShortTitle"> High-Performance Transactional Event Processing. </span><strong>COORDINATION</strong> <a href="pubs/coord09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"><span class="ShortAuthors">Kalibera, Prochazka, Pizlo, Vitek, Zulianello, Decky.</span> <span class="ShortTitle"> Real-time Java in Space: Potential Benefits and Open Challenges. </span><strong>DASIA</strong></div><div class="ShortJournal"><span class="ShortAuthors">Baker, Cunei, Pizlo, Vitek.</span> <span class="ShortTitle">Accurate Garbage Collection in Uncooperative Environments. </span><span class="style5"><strong>C&C:PE </strong></span><a href="pubs/ccpe09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors"> Hunt, Locke, Nilsen, Schoeberl, Vitek. </span><span class="ShortTitle">Java for Safety-Critical Applications.</span> <span class="ShortVenue">SafeCert</span> <a href="pubs/safecert09.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors"> Wrigstad, Eugster, Field, Nystrom, Vitek.</span><span class="ShortTitle"> Software Hardening: A Research Agenda.</span> <span class="ShortVenue">STOP</span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Lebresne, Richards, Östlund, Wrigstad, Vitek.</span><span class="ShortTitle"> Understanding the Dynamics of JavaScript. </span> <span class="ShortVenue">STOP</span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Kalibera, Hagelberg, Pizlo, Plsek, Titzer, Vitek.</span><span class="ShortTitle"> CDx: A Family of Real-time Java Benchmarks.</span> <span class="ShortVenue">JTRes <a href="pubs/jtres09c.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Zhao, Tang, Vitek.</span><span class="ShortTitle"> A Technology Compatibility Kit for Safety Critical Java.</span> <span class="ShortVenue">JTRes <a href="pubs/jtres09b.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortWorksop"> <span class="ShortAuthors">Pizlo, Ziarek, Vitek. </span><span class="ShortTitle">Real Time Java on resource-constrained platforms with Fiji VM.</span> <span class="ShortVenue">JTRes</span> <a href="pubs/jtres09a.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2008</h4><div class="ShortEdited"> <span class="ShortAuthors">Vitek, <span class="ShortTitle">22nd European Conference on Object Oriented Programming (ECOOP'08).</span> <span class="ShortVenue">Springer</span></span></div><div class="ShortConference"><span class="ShortAuthors">Auerbach, Bacon, Guerraoui, Spring, Vitek.</span> <span class="ShortTitle">Flexible Task Graphs: A Unified Restricted Thread Programming Model for Java. </span><strong>LCTES</strong> <a href="pubs/lctes08.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"><span class="ShortAuthors">Pizlo, Vitek.</span> <span class="ShortTitle">Memory Management for Real-time Java: State of the Art. </span><strong>ISORC</strong> <a href="pubs/isorc08.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"><span class="ShortAuthors">Hirzel, Bloom, Nystrom, Vitek.</span> <span class="ShortTitle">Matchete: Paths through the Pattern Matching Jungle. </span><strong>PADL</strong> <a href="pubs/padl08.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"><span class="ShortAuthors"> Cunei, Vitek. </span><span class="ShortTitle"> An Efficient and Flexible Toolkit for Composing Customized Method Dispatchers. </span><span class="ShortVenue"> SP&E<span class="ShortConference"> </span></span> <a href="pubs/spe08.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"><span class="ShortAuthors">Zhao, Baker, Hunt, Noble, Vitek.</span> <span class="ShortTitle">Implicit Ownership Types for Memory Management. </span><span class="style5"><strong>SCP </strong></span><a href="pubs/scp08.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2007</h4><div class="ShortConference"><span class="ShortAuthors">Spring, Privat, Guerraoui, Vitek.</span> <span class="ShortTitle">StreamFlex: High-throughput Stream Programming in Java.</span> <span class="ShortVenue">OOPSLA</span> <a href="pubs/oopsla07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortWorksop"> <span class="ShortAuthors"> Schoeberl, Vitek.</span><span class="ShortTitle"> Garbage Collection for Safety Critical Java.</span> <span class="ShortVenue">JTRES </span><a href="pubs/jtres07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"> </a></div><div class="ShortConference"><span class="ShortAuthors">Pizlo, Hosking, Vitek.</span><span class="ShortTitle"> Hierarchical Real-time Garbage Collection.</span> <span class="ShortVenue">LCTES</span> <a href="pubs/lctes07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortEdited"> <span class="ShortAuthors">Murphy, Vitek, <span class="ShortTitle">9th International Conference on Coordination Models and Languages (COORDINATION07).</span> <span class="ShortVenue">Springer</span></span></div><div class="ShortConference"> <span class="ShortAuthors">Spring, Pizlo, Guerraoui, Vitek.</span><span class="ShortTitle"> Reflexes: Abstractions for Highly Responsive Systems.</span> <span class="ShortVenue">VEE</span> <a href="pubs/VEE07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"> <span class="ShortAuthors">Andrea, Coady, Gibbs, Noble, Vitek, Zhao. </span><span class="ShortTitle"> Scoped Types and Aspects for Real-time Java Memory management. </span><span class="ShortVenue"> RTS</span> <span class="ShortConference"> <a href="pubs/rts07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortConference"> <span class="ShortAuthors">Baker, Cunei, Pizlo, Vitek.</span><span class="ShortTitle"> Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.</span> <span class="ShortVenue">CC</span> <a href="pubs/cc07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors"> Kalpka, Guerraoui, Vitek.</span><span class="ShortTitle"> STMBench7: A Benchmark for Software Transactional Memory.</span> <span class="ShortVenue">EUROSYS</span> <a href="pubs/eurosys07.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2006</h4><div class="ShortWorksop"> <span class="ShortAuthors"> Coady, Gibbs, Haupt, Vitek, Yamauchi.</span><span class="ShortTitle"> Towards a domain specific language for virtual machines.</span> <span class="ShortVenue">DSAL</span></div><div class="ShortConference"> <span class="ShortAuthors">Pizlo, Vitek.</span><span class="ShortTitle"> An Emprical Evaluation of Memory Management Alternatives for Real-time Java.</span> <span class="ShortVenue">RTSS</span> <a href="pubs/rtss06.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Yamauchi, Vitek.</span><span class="ShortTitle"> Combining Offline and Online Optimizations: Register Allocation and Method Inlining.</span> <span class="ShortVenue">APLAS</span> <a href="pubs/aplas06.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"> <span class="ShortAuthors">Armbuster, Baker, Cunei, Flack, Holmes, Pizlo, Pla, Prochazka, Vitek. </span> <span class="ShortTitle">A Real-Time Java Virtual Machine with Applications in Avionics. </span><span class="ShortVenue">TECS</span><span class="ShortConference"> <a href="pubs/tecs06.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortJournal"> <span class="ShortAuthors">Vitek, Craig, Bailey-Kellog, Vitek. </span> <span class="ShortTitle">Inferential backbone assignment for sparse data. </span><span class="ShortVenue">J.Biomol NMR</span><span class="ShortConference"> </span><a href="pubs/jbiol.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortConference"> <span class="ShortAuthors">Andrea, Coady, Gibbs, Noble, Vitek, Zhao.</span><span class="ShortTitle"> Scoped Types and Aspects for Real-Time Systems.</span> <span class="ShortVenue">ECOOP</span> <a href="pubs/ecoop06.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortEdited"> <span class="ShortAuthors">Logozzo, Vitek, <span class="ShortTitle">7th Workshop on Formal Techniques for Java-like Programs - FTfJP'2005 (Special issue).</span> <span class="ShortVenue">JOT</span></span></div><div class="ShortConference"> <span class="ShortAuthors">Cunei, Vitek.</span> <span class="ShortTitle"> A New Approach to Real-time Checkpointing.</span> <span class="ShortVenue">VEE</span> </div><div class="ShortJournal"><span class="ShortAuthors"> Grothoff, Palsberg, Vitek. </span><span class="ShortTitle">Encapsulating Objects with Confined Types. </span><span class="ShortVenue"> TOPLAS</span> (to appear)<span class="ShortConference"> <a href="pubs/toplas0X.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortConference"> <span class="ShortAuthors">Baker, Cunei, Flack, Pizlo, Prochazka, Vitek, Armbuster, Pla, Holmes.</span> <span class="ShortTitle"> A Real-time Java Virtual Machine for Avionics.</span> <span class="ShortVenue">RTAS</span> <a href="pubs/rtas06.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></div><div class="ShortJournal"><span class="ShortAuthors"> Zhao, Palsberg, Vitek. </span><span class="ShortTitle"> Type-based Confinement. </span><span class="ShortVenue"> JFP</span> <span class="ShortConference"> <a href="pubs/jfp.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortJournal"> <span class="ShortAuthors"> Carbunar, Grama, Vitek, Carbunar, </span> <span class="ShortTitle">Redundancy and Coverage Detection in Sensor Networks</span> <span class="ShortVenue">TOSN</span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left">2005 </h4><div class="ShortConference"> <span class="ShortAuthors"> Manson, Baker, Cunei, Jagannathan, Prochazka, Xin, Vitek.</span> <span class="ShortTitle"> Preemptible Atomic Regions for Real-time Java.</span> <span class="ShortVenue">RTSS<span class="ShortJournal"> <a href="pubs/rtss05.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Noir, Shavit, Vitek, <span class="ShortTitle">Concurrency and synchronization in Java programs (Special issue).</span> <span class="ShortVenue">SCP</span></span></div><div class="ShortJournal"><span class="ShortAuthors"> Castagna, Vitek, Zappa Nardeli. </span><span class="ShortTitle"> The Seal calculus. </span><span class="ShortVenue"> I&C <span class="ShortConference"> <a href="pubs/ic05.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Hind, Vitek (Eds).</span> <span class="ShortTitle">First ACM/USENIX International Conference on Virtual Execution Environments VEE'05.</span></div><div class="ShortConference"> <span class="ShortAuthors"> Cunei, Vitek.</span> <span class="ShortTitle"> PolyD: A Flexible Dispatching Framework.</span> <span class="ShortVenue">OOPSLA</span><span class="ShortJournal"> <a href="pubs/oopsla05.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Moir, Shavit, Vitek (Eds).</span> <span class="ShortTitle">Special issue on Concurrency and Synchronization in Java.</span> <span class="ShortVenue">SCP</span></div><div class="ShortJournal"><span class="ShortAuthors"> Vitek, Bailey-Kellogg, Craig, Kuliniewicz, Vitek. </span><span class="ShortTitle"> Reconsidering Complete Search Algorithms for Protein Backbone NMR Assignment. </span><span class="ShortVenue"> Bioinformatics <span class="ShortConference"> <a href="pubs/bioinf05.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Manson, Jagannathan, and Vitek.</span> <span class="ShortTitle"> Dynamic Aspects for Runtime Fault Determination and Recovery.</span> <span class="ShortVenue">DAW</span></div><div class="ShortJournal"><span class="ShortAuthors"> Jagannathan, Vitek, Welc, Hosking. </span><span class="ShortTitle"> A Transactional Object Calculus. </span><span class="ShortVenue"> SCP <span class="ShortConference"> <a href="pubs/scp05.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Gopalakrishna, Spafford, Vitek.</span> <span class="ShortTitle"> Efficient Intrusion Detection using Automaton Inlining.</span> <span class="ShortVenue"> S&P</span><span class="ShortJournal"> <a href="pubs/sp05.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortJournal"><span class="ShortAuthors"> Palacz, Baker, Flack, Grothoff, Yamauchi, Vitek. </span><span class="ShortTitle"> Engineering a common intermediate representation for the Ovm framework.</span><span class="ShortVenue"> SCP <span class="ShortConference"> <a href="pubs/scp04.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2004 </h4><div class="ShortConference"> <span class="ShortAuthors"> Zhao, Noble, Vitek.</span> <span class="ShortTitle">Scoped Types for Real-time Java.</span> <span class="ShortVenue"> RTSS<span class="ShortJournal"> <a href="pubs/rtss04.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Pizlo, Prochazka, Jaggannathan and Vitek.</span> <span class="ShortTitle"> Transactional lock-free data structure for Real Time Java.</span> <span class="ShortVenue"> CSJP</span></div><div class="ShortConference"> <span class="ShortAuthors"> Carbunar, Ioannidis, Grama, Vitek.</span> <span class="ShortTitle"> A Secure Crediting Protocol for Hybrid Cellular, Ad-Hoc Networks.</span> <span class="ShortVenue"> ICETE</span></div><div class="ShortJournal"><span class="ShortAuthors"> Vitek, Vitek, Craig, Bailey-Kellogg. </span><span class="ShortTitle"> Model-based assignment, inference of protein backbone nuclear magnetic resonances. </span><span class="ShortVenue"> SGMB <span class="ShortConference"> <a href="pubs/sgmb04.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Carbunar, Grama, Vitek.</span> <span class="ShortTitle"> Coverage Preserving Redundancy Elimination in Sensor Networks.</span> <span class="ShortVenue">SECON</span></div><div class="ShortConference"> <span class="ShortAuthors"> Chothia, Duggan, Vitek.</span> <span class="ShortTitle"> Principals, Policies, Keys in a Secure Distributed Programming Language.</span> <span class="ShortVenue">FCS</span><span class="ShortJournal"> </span></div><div class="ShortJournal"><span class="ShortAuthors"> Carbunar, Valente, Vitek. </span><span class="ShortTitle"> Coordination and Mobility in CoreLime.</span><span class="ShortVenue"> MSCS <span class="ShortConference"> <a href="pubs/mscs.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Carbunar, Grama, Vitek.</span> <span class="ShortTitle"> Distributed, Dynamic Voronoi Overlays for Coverage Detection, Distributed Hash Tables in Ad-Hoc Networks.</span> <span class="ShortVenue">ICPADS</span></div><div class="ShortConference"> <span class="ShortAuthors"> Pizlo, Fox, Holmes, Vitek.</span> <span class="ShortTitle"> Real-Time Java scoped memory: design patterns, semantics.</span> <span class="ShortVenue">ISORC<span class="ShortJournal"> <a href="pubs/isorc04.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Vitek, Jagannathan, Welc, Hosking.</span> <span class="ShortTitle">A semantic framework for designer transactions.</span> <span class="ShortVenue">ESOP<span class="ShortJournal"> <a href="pubs/esop04.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Jagannathan, Vitek.</span> <span class="ShortTitle"> Optimistic concurrency semantics for transactions in coordination languages.</span> <span class="ShortVenue"> COORDINATION</span><span class="ShortJournal"> <a href="pubs/coord04.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2003 </h4><div class="ShortConference"> <span class="ShortAuthors"> Zhao, Palsberg, Vitek.</span> <span class="ShortTitle"> Lightweight confinement for featherweight Java.</span> <span class="ShortVenue"> OOPSLA</span><span class="ShortJournal"> <a href="pubs/oopsla03.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortJournal"><span class="ShortAuthors"> Sewell, Vitek. </span><span class="ShortTitle"> Secure composition of untrusted code: box-pi, wrappers, causality types. </span><span class="ShortVenue"> JCS <span class="ShortConference"> <a href="pubs/jcs.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Chothia, Duggan, Vitek.</span> <span class="ShortTitle"> Type-based distributed access control.</span> <span class="ShortVenue"> CSFW<span class="ShortJournal"> <a href="pubs/csfw03.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Palacz, Vitek.</span> <span class="ShortTitle"> Subtype tests in real time.</span> <span class="ShortVenue">ECOOP<span class="ShortJournal"> <a href="pubs/ecoop03.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Palacz, Baker, Flack, Grothoff, Yamauchi, Vitek.</span> <span class="ShortTitle"> Engineering a customizable intermediate representation.</span> <span class="ShortVenue">IVME</span><span class="ShortJournal"> <a href="pubs/ivme03.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2002</h4><div class="ShortConference"> <span class="ShortAuthors"> Palacz, Czaikowski, Daynes, Vitek.</span> <span class="ShortTitle"> Incommunicado: a communication substrate for Isolates.</span> <span class="ShortVenue">OOPSLA<span class="ShortJournal"> <a href="pubs/oopsla02.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortJournal"><span class="ShortAuthors"> Vitek, Bryce, Oriol. </span><span class="ShortTitle"> Coordinating agents with secure spaces. </span><span class="ShortVenue">SCP <span class="ShortConference"> <a href="pubs/scp02.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2001 </h4><div class="ShortJournal"><span class="ShortAuthors"> Vitek, Bokowski. </span><span class="ShortTitle"> Confined types for Java. </span><span class="ShortVenue"> SP&E</span> <span class="ShortConference"> <a href="pubs/spe00-1.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortConference"> <span class="ShortAuthors"> Carbunar, Valente, Vitek.</span> <span class="ShortTitle">Lime revisited.</span> <span class="ShortVenue"> MA</span><span class="ShortJournal"> <img src="images/pdf.jpg" alt="pdf" height="10"></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Carbunar, Valente and Vitek.</span> <span class="ShortTitle"> CoreLime: a coordination model for mobile agents.</span> <span class="ShortVenue">WCC </span></div><div class="ShortConference"> <span class="ShortAuthors"> Grothoff, Palsberg, Vitek.</span> <span class="ShortTitle">Encapsulating objects with confined types.</span> <span class="ShortVenue">OOPSLA<span class="ShortJournal"> <a href="pubs/oopsla01.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortJournal"><span class="ShortAuthors"> Bryce, Vitek. </span><span class="ShortTitle"> The JavaSeal mobile agent kernel. </span><span class="ShortVenue"> AAMAS <span class="ShortConference"> <a href="pubs/agents.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 2000 </h4><div class="ShortConference"> <span class="ShortAuthors"> Sewell, Vitek.</span> <span class="ShortTitle">Secure composition of untrusted code: wrappers, causality types.</span> <span class="ShortVenue"> CSFW<span class="ShortJournal"> <a href="pubs/csfw00.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1999 </h4><div class="ShortConference"> <span class="ShortAuthors"> Sewell, Vitek.</span> <span class="ShortTitle">Secure composition of insecure components.</span> <span class="ShortVenue"> CSFW</span><span class="ShortJournal"> <a href="pubs/csfw99.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Vitek, Castagna.</span> <span class="ShortTitle"> Mobile computations and hostile host.</span> <span class="ShortVenue">JFLA </span></div><div class="ShortConference"> <span class="ShortAuthors"> Bryce, Oriol, Vitek.</span> <span class="ShortTitle">Secure object spaces: a coordination model for agents.</span> <span class="ShortVenue"> COORDINATION<span class="ShortJournal"> <img src="images/pdf.jpg" alt="pdf" height="10"></span></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Vitek, Jensen (Eds.).</span> <span class="ShortTitle"> Secure Internet Programming: Security Issues for Mobile, Distributed Object Systems.</span> <span class="ShortVenue"> Springer</span></div><div class="ShortConference"> <span class="ShortAuthors"> Bokowski, Vitek.</span> <span class="ShortTitle">Confined types.</span> <span class="ShortVenue">OOPSLA</span><span class="ShortJournal"> <a href="pubs/oopsla01.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Ciancarini, Tolskdorf, Vitek (Eds.).</span> <span class="ShortTitle"> Special issue on Distributed World Wide Web Processing: Applications, Techniques.</span> <span class="ShortVenue">WWWJ</span></div><div class="ShortConference"> <span class="ShortAuthors"> Vitek, Bryce.</span> <span class="ShortTitle">Security for mobile code: the JavaSeal experiment.</span> <span class="ShortVenue">ASA/MA<span class="ShortJournal"> <a href="pubs/asa99.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1998 </h4><div class="ShortConference"> <span class="ShortAuthors"> Bradley, Horspool.</span> <span class="ShortTitle"> JAZZ: An efficient compressed format for Java archive files.</span> <span class="ShortVenue">CASCON<span class="ShortJournal"> <a href="pubs/cascon.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortInBook"> <span class="ShortAuthors"> Vitek, Castagna.</span> <span class="ShortTitle">Seal: a framework for secure mobile computations.</span> <span class="ShortVenue"> Internet Programming Languages<span class="ShortJournal"> <span class="ShortConference"> <img src="images/pdf.jpg" alt="pdf" height="10"></span></span></span></div><div class="ShortConference"> <span class="ShortAuthors"> Noble, Vitek, Potter.</span> <span class="ShortTitle"> Flexible alias protection.</span> <span class="ShortVenue"> ECOOP<span class="ShortJournal"> <a href="pubs/ecoop98.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Vitek, Tschudin (Eds.).</span> <span class="ShortTitle">Proceedings of the Mobile Object Systems Workshop.</span> <span class="ShortVenue">Dpunkt</span></div><div class="ShortEdited"> <span class="ShortAuthors"> Ciancarini, Tolskdorf, Vitek (Eds.).</span> <span class="ShortTitle"> Workshop on Collaborative Agents in Distributed Web Applications.</span> <span class="ShortVenue"> WETICE</span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1997 </h4><div class="ShortConference"> <span class="ShortAuthors">Vitek, Horspool, Krall.</span> <span class="ShortTitle"> Efficient type inclusion tests.</span> <span class="ShortVenue"> OOPSLA<span class="ShortJournal"> <a href="pubs/oopsla97.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><div class="ShortInBook"> <span class="ShortAuthors"> Vitek, Serrano, Thanos.</span> <span class="ShortTitle"> Security, communication in mobile object systems.</span> <span class="ShortVenue"> Mobile Object Systems: Towards the Programmable Internet</span></div><div class="ShortConference"> <span class="ShortAuthors"> Krall, Vitek, Horspool.</span> <span class="ShortTitle"> Near optimal hierarchical encoding of types.</span> <span class="ShortVenue"> ECOOP</span><span class="ShortJournal"> <a href="pubs/ecoop97.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortEdited"> <span class="ShortAuthors"> Vitek, Tschudin (Eds.).</span> <span class="ShortTitle"> Mobile Object Systems: Towards the Programmable Internet.</span> <span class="ShortVenue"> Springer</span></div><div class="ShortConference"> <span class="ShortAuthors"> Krall, Vitek.</span> <span class="ShortTitle">On extending Java.</span> <span class="ShortVenue"> JMLC</span><span class="ShortJournal"> <a href="pubs/jmlc97.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Vitek .</span> <span class="ShortTitle">New Paradigms in distributed computing.</span> <span class="ShortVenue"> ERSADS</span> </div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1996 </h4><div class="ShortConference"> <span class="ShortAuthors"> Vitek, Horspool.</span> <span class="ShortTitle">Compact dispatch tables for dynamically typed object oriented languages.</span> <span class="ShortVenue"> CC<span class="ShortJournal"> </span></span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Vitek.</span> <span class="ShortTitle"> Secure object spaces</span> <span class="ShortVenue">MOS</span></div><div class="ShortWorksop"> <span class="ShortAuthors"> Konstantas, Morin and Vitek.</span> <span class="ShortTitle"> MEDIA: A platform for the commercialization of electronic documents.</span> <span class="ShortVenue">UofG TR</span> </div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1995 </h4><div class="ShortConference"> <span class="ShortAuthors"> Driesen, Holzle, Vitek.</span> <span class="ShortTitle"> Message dispatch on pipelined processors.</span> <span class="ShortVenue">ECOOP<span class="ShortJournal"> <a href="pubs/ecoop95.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1994 </h4><div class="ShortConference"> <span class="ShortAuthors"> Vitek, Horspool.</span> <span class="ShortTitle"> Taming message passing: efficient method look-up for dynamically typed languages.</span> <span class="ShortVenue">ECOOP<span class="ShortJournal"> <a href="pubs/ecoop94.pdf"><img src="images/pdf.jpg" alt="pdf" height="10"></a></span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1993 </h4><div class="ShortJournal"><span class="ShortAuthors"> Horspool, Vitek. </span><span class="ShortTitle"> Static analysis of PostScript code. </span><span class="ShortVenue"> JCL <span class="ShortConference"> </span></span></div><H4 STYLE="background-color: #000099; color:white; text-align: left;" ALIGN="left"> 1992 </h4><div class="ShortConference"> <span class="ShortAuthors"> Vitek, Horspool, Uhl.</span> <span class="ShortTitle">Compile-time analysis of object-oriented programs.</span> <span class="ShortVenue">CC<span class="ShortJournal"> </span></span></div><div class="ShortJournal"><span class="ShortAuthors"> Kappel, Vitek, Nierstrasz, Junod, Stadelmann. </span><span class="ShortTitle"> Scripting applications in the public administration domain. .</span> <span class="ShortVenue">SIGOIS</span></div><div class="ShortConference"> <span class="ShortAuthors"> Horspool, Vitek.</span> <span class="ShortTitle"> Static analysis of PostScript code.</span> <span class="ShortVenue"> ICCL<span class="ShortJournal"> </span></span></div></body></html>