CALL FOR PAPERS
XLDI 2012
First international workshop on
Cross-Model Language Design and Implementation
http://workshops.inf.ed.ac.uk/xldi2012/
Affiliated with ICFP 2012, Copenhagen, Denmark
Sponsored by ACM SIGPLAN
September 9, 2012
There has recently been a burst of systems research
advocating high-performance commodity "big data" or
"massively parallel" computing models, often using
simpler high-level languages or interfaces as front-ends.
This work is often described as part of a shift towards
a new "cloud computing" paradigm, but these buzzwords
mask the major problems these techniques face: both
big data and massively parallel systems currently employ
systems-based methods and testing regimes that cannot
offer guarantees of safety, security, correctness and
evolvability. Language-based techniques, particularly
formalization, verification, abstraction, and representation
independence, offer the promise to reconcile the
performance benefits of new execution models with the
advantages of modern programming languages.
|
|
Last Updated ( Wednesday, 29 February 2012 13:35 )
|
|
Read more: XLDI 2012 — Please submit!
|
|
Informationen und Materialien zur Veranstaltung Informatik I finden Sie kurz vor und während des Semesters WS 2011/12 im CIS Informationssystem des Fachbereichs Informatik.
Freuen Sie sich auf einen spannenden Einstieg in die Informatik und die systematische Konstruktion von Programmen. |
|
Last Updated ( Tuesday, 20 September 2011 02:27 )
|
|
Our work on Database-Supported Haskell (DSH), presented at the International Symposium on the Implementation and Application of Functional Languages (IFL 2010), has won the
Peter Landin Prize 2011.
The Peter Landin Prize is awarded to the best paper presented at the symposium each year, as selected by the program committee.
We are delighted and feel truly honored and would like to thank the IFL 2010 program committee for this recognition of our efforts to bring the FP and DB worlds even closer together.
DSH is available on Hackage.
|
|
Last Updated ( Tuesday, 19 April 2011 15:56 )
|
|
Read more: Peter Landin Prize 2011 for DSH
|
|
|
Wir suchen die Unterstützung eines motivierten Studierenden, der im Rahmen eines vier- bis sechsmonatigen Praktikums an Fragen der Analyse und Optimierung von Instruktionssequenzen für moderne CPUs arbeitet. Ein sofortiger Beginn ist möglich und gewünscht. Eine Ausgestaltung des Praktikums zu einer Studien- oder Abschlussarbeit ist unter Umständen möglich. Hauptsächlich finden die Arbeit vor Ort in Böblingen statt. Diese studentische Arbeit wird mit ca. 1000€/Monat vergütet.
Informationen zu den konkreten Fragestellungen und weitere (auch organisatorische) Einzelheiten zu diesen Arbeiten finden sich direkt in IBMs Job-Börse:
Wendet euch bei Interesse bitte an
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
(wiss. Projektmitarbeiter bei IBM und in Tübingen) oder Prof. Torsten Grust.
|
|
Last Updated ( Wednesday, 07 March 2012 10:22 )
|
|
As the size and complexity of software systems is growing we are facing increasing challenges related to development time/costs and program correctness. Established programming languages are evolving (e.g., by accommodating new features) and completely new languages are being created to address the aforementioned challenges. This in turn requires developers to constantly update there skills with new programming techniques.
In this course we will be studying advanced features of functional programming languages, results of the latest programming languages research that are already making impact on software industry. The features in main-stream programming languages that originated or are inspired by functional programming languages include: generics in Java; type inference in C#; list comprehensions in Python; monad comprehensions in C# and Visual Basic; blocks in C, C++ and Objective-C; closures in Java; anonymous functions C# and concepts in C++. As for the programming techniques that draw there inspiration from functional programming, Google's MapReduce framework deserves a particular mention.
We have chosen to use Haskell, a standard, purely functional programming language, throughout the course as it incorporates all the topics that we cover in a single coherent language. Having said that, no prior knowledge of Haskell is required. The course aims to improve the student's programming skills in general as the acquired know-how is transferrable in a wide variety of programming languages, be it functional or otherwise.
|
|
Last Updated ( Friday, 10 February 2012 13:44 )
|
|
Read more: Advanced Functional Programming
|
|
Der Database Brain Dump (DBBD) ist eine Kommunikations-Plattform der Datenbankgruppe
Der DBBD findet jeden Freitag um 11:00 Uhr im Raum B305 (Datenbankpraktikum) statt.
Ziel des DBBD ist es, die Zusammenarbeit untereinander und mit unseren Studenten — also euch — zu vertiefen. Mögliche Themen sind die (kurze) Vorstellung der aktuellen Arbeiten und Problemstellungen, so dass über die Zeit jeder Teilnehmer einen Eindruck über die Arbeiten der anderen bekommt. Ebenso gerne diskutieren, brain-stormen und lösen wir auch offene Probleme die euch Gruppenmitglieder gerade beschäftigen. Der Database Brain Dump stellt im Weiteren die stetige Kommunikation sicher, so dass niemand sich als Einzelkämpfer durch sein Projekt kämpfen muss.
Wir treffen uns jeden Freitag, um 11:00 Uhr, im Raum B305 (Datenbankpraktikum). Zeitlich angesetzt ist der DBBD auf eine Stunde (Er kann aber je nach Diskussionsbedarf in seiner Länge variieren). Über eine Mailingliste kündigen wir diejenigen Termine an, zu denen alle interessierten Studenten – auch nur zum Reinschnuppern – herzlich willkommen sind.
|
|
Last Updated ( Wednesday, 07 December 2011 13:24 )
|
|
Read more: Database Brain Dump (DBBD)
|
|
|
|
|
<< Start < Prev 1 2 Next > End >>
|
|
Page 1 of 2 |
