hupfis blog

Sonntag früh bin ich zur Reise nach San Francisco, genauergesagt zur VMCAI 2008 (Conference on Verification, Model Checking and Abstract InterpretatioN) aufgebrochen. Um kurz nach 4 Uhr früh gings nach München, bei -5°C und Regen (!), der sofort auf der Windschutzscheibe und leider auch auf der Straße gefror.

Spätestens auf der Autobahnauffahrt in Passau merkte ich, dass die Fahrt über die Bundesdeutsche Autobahn doch nicht so lustig werden wird, wie ichs erwartet hatte. Es war zwar kaum Verkehr, dafür war aber an Geschwindigkeiten über 90 km/h aufgrund der vereisten Straßen nicht zu denken.

Nach der Ankunft am Parkservice des Flughafens München (Park-Fly Service) sah mein Auto wie folgt aus: (kein Salz, sonder Eis bedeckt die gesamte Front)

Danach gings mit dem Shuttle zum Flughafen München, mit Lufthansa nach London und von dort aus weiter mit United nach San Francisco, wo der Sturm der vergangenen Tage nachgelassen hat. In London (Heathrow) hab ich übrigens diesen Schnappschuss gemacht, der zeigt wie up-to-date dieser Flughafen ist. Der Flughafen wird übrigens umgebaut - Motto: "we build an airport that london can be proud of" - da is noch einiges zu tun.


Die nächsten 3 Tage gehts dann zur VMCAI 2008, und anschließend 3 weitere Tage zur POPL 2008 (Symposium on Principles of Programming Languages). Sonntag sollte dann noch Zeit für eine kurze Touristenrunde durch San Francisco sein (Golden Gate Bridge, Alcatraz, ...).

Einige werden es schon gesehen haben - die österreichischen Teams beim Bewerb haben leider nur den 23. und den 25. Platz gemacht - das spanische Team der UCM ("UCM Cauchy") hat den ersten Platz belegt und darf im Frühjahr zu den Finals nach Canada. Hier das gesamte Ranking. Es hat sich gezeigt, dass jene Teams, die mit einer Coach-Mannschaft von bis zu 5 Personen angereist waren (und auch dementsprechend trainiert hatten), die meisten Probleme gelöst haben.

Für Leute (nur Studenten, die in den ersten 10 Semestern ihres Studiums sind) die auch gerne mal mitmachen würden gibt es hier die gestellten Aufgaben zum Trainieren: http://ctp.di.fct.unl.pt/PUBLIC-SWERC2007/.

Trotz des nicht errungenen Sieges sind wir nach der Ankunft im Hotel in die Badehosen gesprungen und runter zum Meer gelaufen (der Sand fühlte sich an wie Schnee, nicht nur so weich, sondern auch so kalt) und haben uns in die kalten Fluten gestürzt.

Heute gibts mal wieder einen Anlass für einen Blog-Eintrag. Gemeinsam mit 2 Teams der JKU Linz bin ich als Coach beim Süd-West-Europa Finale des ICPC (International Collegiate Programming Contest). Die Sieger (genauergesagt die ersten beiden Plätze) in diesem Contest dürfen wieder (wie im Vorjahr) im Weltfinale mitmachen.

Dieses Jahr sind wir also mit 2 Teams angetreten, zum Einen das selbe Team, das letztes Jahr bereits im Finale in Tokio (man erinnert sich) den guten 26. Platz (von 88 Teams im Weltfinale) belegt hat, und zum anderen ein junges Team mit drei exzellenten Programmierern.

Nachdem wir am Freitag angereist sind, und im Hotel bereits die ersten Mitbewerber aus allen südwesteuropäischen Ländern (d.h. Teile von Deutschland, Teile von Österreich und alles links davon) kennengelernt haben, gings gestern (Samstag) mit dem Bus zur Universitade Nova de Lisboa gefahren, und haben uns mit den Gegebenheiten vor Ort vertraut gemacht. Nachmittags gabs dort dann einen Trainingsbewerb, wo die Teams mal die Rechner probieren konnten und die Wettbewerbs-Software (Mooshak) noch einmal auf Herz und Nieren geprüft wurde.

Jetzt gehts noch kurz frühstücken und dann ab in den Bus zum Contest. Für alle, die den Consest live verfolgen wollen gibt es hier eine Homepage: http://ctp.di.fct.unl.pt/PUBLIC-SWERC2007/
Die Teams der JKU sind die Teams "AEIOU" und "JKU Team 2". Nun wünscht uns noch viel Glück und wenige/keine Bugs!

Diesen Blog-Eintrag verfasse ich gerade live vom Contest. Die Jungs sind bereits fast 4 Stunden dabei, die 10 Probleme zu lösen - sie haben dazu noch knapp eineinhalb Stunden Zeit (gesamt: 5,5 Stunden). Angefangen haben sie mit einem äußerst guten Start - sie waren nach 24 Minuten bereits auf dem 9. Rang (von 88 angetretenen Teams, die sich in "Regional Contests" für das Weltfinale qualifizierten). Mittlerweile sind sie auf dem (immer noch) hervorragenden Platz 27, das MIT hat seine/ihre ("Gender Mainstreaming") Leute zur Zeit auf dem ersten Platz. Hier ein paar Bilder live vom Contest:

Nachdem ich es mir zur Angewohnheit gemacht habe, nur mehr zu bloggen, wenn ich im Ausland bin, gibts jetzt wieder einen Eintrag. Ich bin seit Samstag (oder eigentlich Sonntag Mittag) in Tokio, als Coach des österreichischen Teams (der JKU Linz) bei den ACM ICPC World Finals (ICPC = International Collegeate Programming Contest) . Die Jungs (Christian, Roland und Thomas) sind eines der 88 Teams im Weltfinale, welches am Donnerstag stattfinden wird.

Aber nun mal von Vorne weg. Am Samstag Vormittag sind wir gemeinsam nach München gefahren, wo wir unser Gepäck aufgegeben haben. Von dort gings über Mailand nach Tokio, wo wir mit dem Airport Limousine Shuttle Bus zum Hotel gebracht wurden.



Im Hotel wurden wir gleichmal von den (unzähligen) Damen und Herren in Uniform begrüßt und uns ein Zimmer mit Meerblick zugewiesen. Das Zimmer (im Hilton Tokio Bay Hotel) ist ganz gut ausgestattet - neben eigenen "Hilton"-Schlafanzügen gibts auch eine beheizte Toilette mit Multifunktional-Spülung.



Gestern Nachmittag und Heute waren wir in Tokio um die Stadt und die wichtigsten Sehenswürdigkeiten (bei Temperaturen um 10 Grad) anzusehen:

Wer hätte gemeint, dass es wieder mal einen Blogeintrag geben würde? Unglaublich aber wahr - der lang ersehnte (hoffe ich zumindest) Eintrag kommt nun aus einer A340-300 der Lufthansa Flotte. Wir befinden uns gerade irgendwo über Grönland - oder zumindest auf dem Weg dahin. Keine Ahnung warum der Kapt'n diese Route gewählt hat, aber wahrscheinlich will er mal schauen ob wieviel vom Polareis schon geschmolzen ist.

Noch vor wenigen Stunden dachte ich, dass ich jetzt über 10 Stunden ohne Internetzugang überleben muss, Boeing hat aber das Breitband-Internet Angebot vor wenigen Tagen "free of charge" gemacht und daher bin ich nun im Flieger (Reihe 42, Sitz H) online.

Neben mir eine (etwas zerzauste) Portlanderin, die bei HP im Testing der Inkjet-Drucker arbeitet und grad von einem "Programmierkurs" aus Indien zurückkommt. (Im Programmierkurs hat sie gelernt, Programme zusammenzuklicken - sieht fast genauso aus, wie die Sprache, die wir gerade am CD-Labor designen.) Die Frau fährt einen 525i und wollte von mir wissen, ob wir denn keine Getränke im Auto haben, da die Standard-Getränkehalter bei BMWs viel zu klein sind. - Naja, Amis und ihre Vorlieben für Coke beim Autofahren (da verstehe ich auch, warum auf den Highways nur 70mph erlaubt sind...).

Naja, wenn ich schon die Zeit habe werde ich halt ein bisschen erzählen, was mich auf diesen Flug gebracht hat:
Als Doktorand am CD-Laboratory for Automated Software-Engineering habe ich an einem Paper mitgearbeitet, welches ich am Sonntag in Portland (Oregon, USA) einem fachkundigen Auditorium im Rahmen eines Workshops präsentieren darf. Damit der Flug aber auch privates Vergnügen bringt (abgesehen vom wissenschaftlichen Vergnügen auf der Konferenz, die bis Donnerstag 26. Oktober dauert), werde ich im Anschluss (Freitag - Sonntag) einen Abstecher nach Seattle machen. Dort werde ich ehemalige Arbeitskollegen aus meinem Berufspraktikum bei Microsoft treffen.

Besonders bedanken möchte ich mich an dieser Stelle bei Andreas, der mir (s)eine Bleibe für den Seattle-Besuch zur Verfügung stellt.

Einen lustigen Zufall habe ich auch noch zu berichten: Dem Inflight-Magazine ist en 80seitiges Heftchen über das Bundesland Oberösterreich beigelegt - wenn man dem Inhalt Glauben schenkt, dann sind wir (Oberösterreicher) die Besten und jede Firma sollte sich hier ansiedeln. Wir haben die geringste Arbeitslosigkeit, die beste Bildung, ausgezeichnete Forschung (na no na) und daneben sind wir auch noch das "Genussland" mit fried dumplings with bacon and coleslaw (Speckknödel und Krautsalat) sowie succulent rost in the pan (saftiges Bratl in der Rein).

Bilder habe ich leider (noch) keine - sobald wie möglich wird es aber Bilder aus Portland geben - hoffentlich mit ein bisschen Sonnenschein... - ich werde meine werten Leser natürlich am Laufenden halten!

Bereits am Montag letzter Woche bin ich im berühmt-berüchtigten IHaus in Hagenberg eingezogen. Naja - mehr oder weniger eingezogen, nachdem ich anstatt von richtigem Bettzeug den Schlafsack benutzen musste (Bettzeug hab ich daheim vergessen). Aber ansonsten hab ich mich schon ganz gut in meinem neuen Zimmer, das für dieses Semester meine Haupt-Bleibe sein wird, eingelebt.

Bevor Rufe nach Bildern vom Zimmer laut werden, möchte ich gleich anmerken, dass diese nachgereicht werden, irgendwann diese Woche.

Nicht nur wohnungstechnisch hat sich was verändert - neben dem Umzug von der Alm (man erinnert sich) nach Hagenberg habe ich auch ein Update arbeitstechnischer Art zu vermelden: Ich bin seit März am Christian Doppler Laboratory for Automated Software Engineering als Diplomand beschäftigt, wo ich in Zusammenarbeit mit der Firma KEBA AG am Thema Domain-specific Languages for Industrial Automation arbeiten werde.

Mir ist heute die Idee gekommen, ein Blog-Rätsel zu starten - vielleicht gibz morgen schon die erste Episode. Stay Tuned!