PhD st/ships in compiler and language design for mass.parallel systems

Ενημέρωση και συζήτηση πάνω σε ερευνητικά θέματα και πανεπιστημιακά νέα.
Post Reply
User avatar
Zifnab
Venus Former Team Member
Posts: 7581
Joined: Tue Nov 15, 2005 2:42 am
Academic status: MSc
Gender:
Location: Connecticut
Contact:

PhD st/ships in compiler and language design for mass.parallel systems

Post by Zifnab » Wed May 26, 2010 4:47 pm

PhD studentships in compiler and language designforhigh-performance, massively parallel systems
Kosts Vitsios wrote: We are pleased to announce the availability of funded PhD positions in the
Compiler Technology and Computer Architecture group at the University of
Hertfordshire. The positions comprise an open studentship and we expect
prospective candidates to propose their own line of research within the
group's wide area of interest.

The University of Hertfordshire near London was one of the first academic
institutions in the United Kingdom to offer a degree in computer
science. Today, the university is the UK's leading business-facing
university with strong industrial ties and an international outreach.

The Compiler Technology and Computer Architecture group is part of
the School of Computer Science and the Centre for Computer Science
and Informatics Research. Our research is focused around the interface
between software and computer architectures. We are the main contributors
for the two programming languages Single Assignment C and S-Net, both
of which cater for high-level specifications of concurrent programs.

Single Assignment C is a functional array-programming language with a
C like syntax and APL/MATLAB like programming model. The corresponding
compiler suite has been in development for 15+ years. Today, it supports
auto-parallelisation for a range of architectures, including legacy
multi-cores and NVIDIA CUDA. Current research focuses on extending the
reach of SAC to novel architectures like the University of Amsterdam's
Microgrid and Intel's SCC.

S-Net is a language for concurrency engineering. S-Net programs are
algebraic formulae that describe the communication pattern of an
algorithm on an abstract level. Using our compilation technology, we
are able to generate concurrent and distributed implementations from an
S-Net specification. Current research in S-Net focuses on adaptivity,
real-time support and extending the platform reach.

Across both languages, we are interested in the generalisation of
parallel programming principles. As part of the Google summer of code, we
contribute generalised high-level vector primitives to the GCC project. We
work on abstractions for broad-ranged run-time systems supporting various
forms of concurrency. This work applies modern operating systems aspects
across various platforms including GPGPUs, FPGAs and embedded systems.

Our work also embodies applications of recent advances in type theory to
further enhance expressiveness and to boost run-time efficiency. Ongoing
projects include work on a user-specifiable type-system for SAC and a
redesign and extension of the S-Net type-system using qualified types and
extensible record-types. Furthermore, we are interested in using partial
evaluation and abstract interpretation techniques to solve problems that
were usually addressed by type systems and SMT solvers.

Adequate spoken and written English skills, as well as command of a
functional and an imperative programming language are required. A good
bachelor's degree is mandatory, a master's degree a plus. Our group
is international and we cooperate widely. Good communication skills,
an interest to present on international venues as well as the ability
to play in a team are essential.

Further details on the available PhD positions can be found at
http://www.jobs.ac.uk/job/AAZ241/phd-studentships/
The deadline for applications is the end of May. However, shortlisting
will start 19th of May.

Details on the group can be found at the group's website
http://ctca.feis.herts.ac.uk/

Previous and current projects include

http://www.aether-ist.org self-adaptive computing
http://www.apple-core.info multi-core architectures and programming models
http://www.project-advance.eu dynamic adaptation and optimisation
http://www.sac-home.org data-parallel array-programming language
http://www.snet-home.org language for concurrency engineering

Prospective applicants are encouraged to contact Sven-Bodo Scholz
(S.Scholz[at]herts.ac.uk) to discuss potential research projects before applying.
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by redlabel » Wed May 26, 2010 4:50 pm

:smt009

Δ. Γκρ.
User avatar
Zifnab
Venus Former Team Member
Posts: 7581
Joined: Tue Nov 15, 2005 2:42 am
Academic status: MSc
Gender:
Location: Connecticut
Contact:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by Zifnab » Wed May 26, 2010 5:07 pm

redlabel wrote: :smt009

Δ. Γκρ.
Κάτι πιο συγκεκριμένο?? Ευχαριστώ
User avatar
~~Wind~~
Gbyte level
Gbyte level
Posts: 1747
Joined: Thu Nov 30, 2006 1:07 am
Academic status: N>4
Gender:
Location: *void

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by ~~Wind~~ » Wed May 26, 2010 5:11 pm

καθόλου άσχημο το αντικείμενο με το οποίο ασχολούνται,
λίγο παράξενο που διαφημίζονται με αυτό το τρόπο,
δε το έχω ξαναδεί τουλάχιστον, απ την άλλη μπορεί να μην
έχουν κόσμο και να χρειάζονται άτομα..
ImageImage
Come to foss-aueb ...we have cookies.. yamyam~nomnomnomnomnomnomnomnom
a cookie ~ I will do science to it
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by The Punisher » Wed May 26, 2010 5:20 pm

Άγνωστο παν/μιο. Από την άλλη το group φαίνεται αρκετά ενεργό, με πολλές δημοσιεύσεις (αν και σχεδόν όλες σε συνέδρια). Δεν ξέρω, δε μπορώ να κρίνω, αλλά για κάποιο λόγο θα ήμουν κι εγώ επιφυλακτικός.
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by redlabel » Wed May 26, 2010 5:23 pm

Zifnab wrote:
redlabel wrote: :smt009

Δ. Γκρ.
Κάτι πιο συγκεκριμένο?? Ευχαριστώ
Nop. Παρακαλώ.

Δ. Γκρ.
User avatar
Zifnab
Venus Former Team Member
Posts: 7581
Joined: Tue Nov 15, 2005 2:42 am
Academic status: MSc
Gender:
Location: Connecticut
Contact:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by Zifnab » Wed May 26, 2010 5:43 pm

Από τους κανονισμούς:
  • Τα μηνύματα (posts) των μελών μπορεί να εκφράζουν τις προσωπικές τους απόψεις, αλλά παρακαλούνται οι συμμετέχοντες να τεκμηριώνουν όσο το
    δυνατόν πληρέστερα τις απόψεις τους.
  • Οι απαντήσεις σε ήδη υπάρχοντα θέματα συζήτησης είναι ευπρόσδεκτες εφόσον περιέχουν ουσιώδεις και μη παραπλανητικές πληροφορίες. Για το λόγο αυτό δεν επιτρέπονται άσκοπα μηνύματα που αποσκοπούν μόνο στην διατήρηση ενός θέματος στην κορυφή του αντίστοιχου forum (post bumping).
Οπότε θα περίμενα μια πιο πλήρη τοποθέτηση από εσάς κ.Γκρίτζαλη - αλλιώς η στιγνή και αυστηρή πλευρά μου ως moderator θα χαρακτήριζε ένα post με ένα emoticon μόνο - ως spam :roll:
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by redlabel » Wed May 26, 2010 5:53 pm

Zifnab wrote:
Από τους κανονισμούς:
  • Τα μηνύματα (posts) των μελών μπορεί να εκφράζουν τις προσωπικές τους απόψεις, αλλά παρακαλούνται οι συμμετέχοντες να τεκμηριώνουν όσο το
    δυνατόν πληρέστερα τις απόψεις τους.
  • Οι απαντήσεις σε ήδη υπάρχοντα θέματα συζήτησης είναι ευπρόσδεκτες εφόσον περιέχουν ουσιώδεις και μη παραπλανητικές πληροφορίες. Για το λόγο αυτό δεν επιτρέπονται άσκοπα μηνύματα που αποσκοπούν μόνο στην διατήρηση ενός θέματος στην κορυφή του αντίστοιχου forum (post bumping).
Οπότε θα περίμενα μια πιο πλήρη τοποθέτηση από εσάς κ.Γκρίτζαλη - αλλιώς η στιγνή και αυστηρή πλευρά μου ως moderator θα χαρακτήριζε ένα post με ένα emoticon μόνο - ως spam :roll:
Μιχάλη, αν δεν αντιλαμβάνεσαι την ανάγκη ύπαρξης κελύφους κάποιων πληροφοριών, τότε η "στιγνή και αυστηρή πλευρά" σου ανοηταίνει απροκλήτως...

Δ. Γκρ.
User avatar
enum21
Venus Former Team Member
Posts: 5436
Joined: Mon Feb 16, 2009 9:06 pm
Academic status: Alumnus/a
Gender:
Location: Underworld

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by enum21 » Wed May 26, 2010 5:57 pm

redlabel wrote:
Zifnab wrote:
Από τους κανονισμούς:
  • Τα μηνύματα (posts) των μελών μπορεί να εκφράζουν τις προσωπικές τους απόψεις, αλλά παρακαλούνται οι συμμετέχοντες να τεκμηριώνουν όσο το
    δυνατόν πληρέστερα τις απόψεις τους.
  • Οι απαντήσεις σε ήδη υπάρχοντα θέματα συζήτησης είναι ευπρόσδεκτες εφόσον περιέχουν ουσιώδεις και μη παραπλανητικές πληροφορίες. Για το λόγο αυτό δεν επιτρέπονται άσκοπα μηνύματα που αποσκοπούν μόνο στην διατήρηση ενός θέματος στην κορυφή του αντίστοιχου forum (post bumping).
Οπότε θα περίμενα μια πιο πλήρη τοποθέτηση από εσάς κ.Γκρίτζαλη - αλλιώς η στιγνή και αυστηρή πλευρά μου ως moderator θα χαρακτήριζε ένα post με ένα emoticon μόνο - ως spam :roll:
Μιχάλη, αν δεν αντιλαμβάνεσαι την ανάγκη ύπαρξης κελύφους κάποιων πληροφοριών, τότε η "στιγνή και αυστηρή πλευρά" σου ανοηταίνει απροκλήτως...

Δ. Γκρ.
Τι εννοείται με τη φράση "ανάγκη ύπαρξης κελύφους κάποιων πληροφοριών"? Είστε μέλος ΔΕΠ, γνωρίζετε καλύτερα τα πράγματα οπότε είναι λογικό να θέλουμε παραπάνω πληροφορίες κυρίως για τέτοιου είδους θέματα από ένα απλό emoticon.. :???:
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by redlabel » Wed May 26, 2010 6:04 pm

"Οι συμμετέχοντες παρακαλούνται να τεκμηριώνουν όσο το δυνατόν καλύτερα τις απόψεις τους".

Κατάλαβες ή έπρεπε να το κάνω ...πενηνταράκια; :smt021

Δ. Γκρ.
User avatar
stoupeace
Wow! Terabyte level
Wow! Terabyte level
Posts: 5372
Joined: Tue Aug 26, 2008 4:08 pm
Academic status: High school
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by stoupeace » Wed May 26, 2010 8:43 pm

πωωωωωωωω #-o #-o #-o
Αν κάποιος άλλος μύρισε τα νύχια του και έχει την ευγενή καλοσύνη να μας εξηγήσει...(όπως ας πούμε εξήγησε ο Punisher)
Η καλύτερη μπάντα όλου του κόσμου: Sonata Antartika
Mpomp is building an army army. And I got my head back.
░░░░░███████ ]▄▄▄▄▄▄▄▄
▂▄▅█████████▅▄▃▂ ____☻/︻╦╤─
Il███████████████████]. /▌
_◥⊙▲⊙▲⊙▲⊙▲⊙▲⊙▲⊙◤.. . / \
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by redlabel » Wed May 26, 2010 8:55 pm

Stoupeace wrote:πωωωωωωωω #-o #-o #-o
Αν κάποιος άλλος μύρισε τα νύχια του και έχει την ευγενή καλοσύνη να μας εξηγήσει...(όπως ας πούμε εξήγησε ο Punisher)
Για να μην σε "κράξω" κι εσένα, νεαρέ μου (...πλάκα κάνω, το υπόλοιπο της πρότασης περιέχει την πληροφορία ;) ), 1 εικόνα αξίζει 1000 λέξεις κι 1 emoticon 100! Άρα, φλυάρησα...

Δ. Γκρ.
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by The Punisher » Wed May 26, 2010 9:05 pm

@Stoupeace σε τι θες περισσότερες εξηγήσεις ;
User avatar
stoupeace
Wow! Terabyte level
Wow! Terabyte level
Posts: 5372
Joined: Tue Aug 26, 2008 4:08 pm
Academic status: High school
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by stoupeace » Wed May 26, 2010 9:58 pm

The Punisher wrote:@Stoupeace σε τι θες περισσότερες εξηγήσεις ;
Λογικά για να έβαλε το :smt009 ο κ. Γκρίτζαλης, κάτι θα έχει ακούσει για το Πανεπιστήμιο, τους διδάσκοντες, το θέμα, κάτι που να είναι κακό τελοσπάντων.
Πέρα απο το κουτσομπολιό, θα ήθελα να έχω λίγες παραπάνω πληροφορίες πριν δεχτώ την άποψή του. That's all. Η δική σου επιφύλαξη στηρίζεται στο mail αυτό και λίγο googling (έτσι κατάλαβα),
η δική του μπορεί να στηρίζεται σε εμπειρία.

Απλά εξελίχθηκε σε παιχνίδι το όλο θέμα, ε και δε θα παρακαλάω κιόλας για να ακούσω ένα σωστό επιχείρημα...

Φιλικά πάντα.
Η καλύτερη μπάντα όλου του κόσμου: Sonata Antartika
Mpomp is building an army army. And I got my head back.
░░░░░███████ ]▄▄▄▄▄▄▄▄
▂▄▅█████████▅▄▃▂ ____☻/︻╦╤─
Il███████████████████]. /▌
_◥⊙▲⊙▲⊙▲⊙▲⊙▲⊙▲⊙◤.. . / \
User avatar
ultimate_aektzis
Wow! Terabyte level
Wow! Terabyte level
Posts: 6373
Joined: Tue Nov 13, 2007 10:11 pm
Gender:

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by ultimate_aektzis » Wed May 26, 2010 10:29 pm

Το συγκεκριμενο πανεπιστημιο εχει ΙΕΚ στην Αθηνα απο οτι ξερω.Ισως αυτος ειναι ο λογος της δυσφοριας.
User avatar
necrofear_13
Wow! Terabyte level
Wow! Terabyte level
Posts: 2141
Joined: Sun Nov 18, 2007 5:32 am
Academic status: Alumnus/a
Gender:
Location: ΗΡΑΚΛΕΙΟ ΑΤΤΙΚΗΣ

Re: PhD st/ships in compiler and language design for mass.parallel systems

Post by necrofear_13 » Thu May 27, 2010 2:19 am

Όντως ισχύει αυτό.
No matter what kind of sadness envelops the darkness of our despair, if you put one foot in front of the other, at some point you will reach a place where you can see the light.

In heaven or earth, no matter to where we progress, no matter where we walk, that becomes our road.
As long as we keep walking the battle will continue.
And that is exactly why this place will always be a paradise
Post Reply

Return to “Ακαδημαϊκά Νέα”