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.
PhD st/ships in compiler and language design for mass.parallel systems
- 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
PhD studentships in compiler and language designforhigh-performance, massively parallel systems
- 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
Κάτι πιο συγκεκριμένο?? Ευχαριστώredlabel wrote:
Δ. Γκρ.
- ~~Wind~~
- 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
καθόλου άσχημο το αντικείμενο με το οποίο ασχολούνται,
λίγο παράξενο που διαφημίζονται με αυτό το τρόπο,
δε το έχω ξαναδεί τουλάχιστον, απ την άλλη μπορεί να μην
έχουν κόσμο και να χρειάζονται άτομα..
λίγο παράξενο που διαφημίζονται με αυτό το τρόπο,
δε το έχω ξαναδεί τουλάχιστον, απ την άλλη μπορεί να μην
έχουν κόσμο και να χρειάζονται άτομα..
Come to foss-aueb ...we have cookies.. yamyam~nomnomnomnomnomnomnomnom
a cookie ~ I will do science to it
-
- 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
Άγνωστο παν/μιο. Από την άλλη το group φαίνεται αρκετά ενεργό, με πολλές δημοσιεύσεις (αν και σχεδόν όλες σε συνέδρια). Δεν ξέρω, δε μπορώ να κρίνω, αλλά για κάποιο λόγο θα ήμουν κι εγώ επιφυλακτικός.
-
- 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
Nop. Παρακαλώ.Zifnab wrote:Κάτι πιο συγκεκριμένο?? Ευχαριστώredlabel wrote:
Δ. Γκρ.
Δ. Γκρ.
- 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
Οπότε θα περίμενα μια πιο πλήρη τοποθέτηση από εσάς κ.Γκρίτζαλη - αλλιώς η στιγνή και αυστηρή πλευρά μου ως moderator θα χαρακτήριζε ένα post με ένα emoticon μόνο - ως spamΑπό τους κανονισμούς:
- Τα μηνύματα (posts) των μελών μπορεί να εκφράζουν τις προσωπικές τους απόψεις, αλλά παρακαλούνται οι συμμετέχοντες να τεκμηριώνουν όσο το
δυνατόν πληρέστερα τις απόψεις τους.- Οι απαντήσεις σε ήδη υπάρχοντα θέματα συζήτησης είναι ευπρόσδεκτες εφόσον περιέχουν ουσιώδεις και μη παραπλανητικές πληροφορίες. Για το λόγο αυτό δεν επιτρέπονται άσκοπα μηνύματα που αποσκοπούν μόνο στην διατήρηση ενός θέματος στην κορυφή του αντίστοιχου forum (post bumping).
-
- 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
Μιχάλη, αν δεν αντιλαμβάνεσαι την ανάγκη ύπαρξης κελύφους κάποιων πληροφοριών, τότε η "στιγνή και αυστηρή πλευρά" σου ανοηταίνει απροκλήτως...Zifnab wrote:Οπότε θα περίμενα μια πιο πλήρη τοποθέτηση από εσάς κ.Γκρίτζαλη - αλλιώς η στιγνή και αυστηρή πλευρά μου ως moderator θα χαρακτήριζε ένα post με ένα emoticon μόνο - ως spamΑπό τους κανονισμούς:
- Τα μηνύματα (posts) των μελών μπορεί να εκφράζουν τις προσωπικές τους απόψεις, αλλά παρακαλούνται οι συμμετέχοντες να τεκμηριώνουν όσο το
δυνατόν πληρέστερα τις απόψεις τους.- Οι απαντήσεις σε ήδη υπάρχοντα θέματα συζήτησης είναι ευπρόσδεκτες εφόσον περιέχουν ουσιώδεις και μη παραπλανητικές πληροφορίες. Για το λόγο αυτό δεν επιτρέπονται άσκοπα μηνύματα που αποσκοπούν μόνο στην διατήρηση ενός θέματος στην κορυφή του αντίστοιχου forum (post bumping).
Δ. Γκρ.
- 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
Τι εννοείται με τη φράση "ανάγκη ύπαρξης κελύφους κάποιων πληροφοριών"? Είστε μέλος ΔΕΠ, γνωρίζετε καλύτερα τα πράγματα οπότε είναι λογικό να θέλουμε παραπάνω πληροφορίες κυρίως για τέτοιου είδους θέματα από ένα απλό emoticon..redlabel wrote:Μιχάλη, αν δεν αντιλαμβάνεσαι την ανάγκη ύπαρξης κελύφους κάποιων πληροφοριών, τότε η "στιγνή και αυστηρή πλευρά" σου ανοηταίνει απροκλήτως...Zifnab wrote:Οπότε θα περίμενα μια πιο πλήρη τοποθέτηση από εσάς κ.Γκρίτζαλη - αλλιώς η στιγνή και αυστηρή πλευρά μου ως moderator θα χαρακτήριζε ένα post με ένα emoticon μόνο - ως spamΑπό τους κανονισμούς:
- Τα μηνύματα (posts) των μελών μπορεί να εκφράζουν τις προσωπικές τους απόψεις, αλλά παρακαλούνται οι συμμετέχοντες να τεκμηριώνουν όσο το
δυνατόν πληρέστερα τις απόψεις τους.- Οι απαντήσεις σε ήδη υπάρχοντα θέματα συζήτησης είναι ευπρόσδεκτες εφόσον περιέχουν ουσιώδεις και μη παραπλανητικές πληροφορίες. Για το λόγο αυτό δεν επιτρέπονται άσκοπα μηνύματα που αποσκοπούν μόνο στην διατήρηση ενός θέματος στην κορυφή του αντίστοιχου forum (post bumping).
Δ. Γκρ.
-
- 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
"Οι συμμετέχοντες παρακαλούνται να τεκμηριώνουν όσο το δυνατόν καλύτερα τις απόψεις τους".
Κατάλαβες ή έπρεπε να το κάνω ...πενηνταράκια;
Δ. Γκρ.
Κατάλαβες ή έπρεπε να το κάνω ...πενηνταράκια;
Δ. Γκρ.
- stoupeace
- 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
πωωωωωωωω
Αν κάποιος άλλος μύρισε τα νύχια του και έχει την ευγενή καλοσύνη να μας εξηγήσει...(όπως ας πούμε εξήγησε ο Punisher)
Αν κάποιος άλλος μύρισε τα νύχια του και έχει την ευγενή καλοσύνη να μας εξηγήσει...(όπως ας πούμε εξήγησε ο Punisher)
Η καλύτερη μπάντα όλου του κόσμου: Sonata Antartika
Mpomp is building an army army. And I got my head back.
░░░░░███████ ]▄▄▄▄▄▄▄▄
▂▄▅█████████▅▄▃▂ ____☻/︻╦╤─
Il███████████████████]. /▌
_◥⊙▲⊙▲⊙▲⊙▲⊙▲⊙▲⊙◤.. . / \
Mpomp is building an army army. And I got my head back.
░░░░░███████ ]▄▄▄▄▄▄▄▄
▂▄▅█████████▅▄▃▂ ____☻/︻╦╤─
Il███████████████████]. /▌
_◥⊙▲⊙▲⊙▲⊙▲⊙▲⊙▲⊙◤.. . / \
-
- 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
Για να μην σε "κράξω" κι εσένα, νεαρέ μου (...πλάκα κάνω, το υπόλοιπο της πρότασης περιέχει την πληροφορία ), 1 εικόνα αξίζει 1000 λέξεις κι 1 emoticon 100! Άρα, φλυάρησα...Stoupeace wrote:πωωωωωωωω
Αν κάποιος άλλος μύρισε τα νύχια του και έχει την ευγενή καλοσύνη να μας εξηγήσει...(όπως ας πούμε εξήγησε ο 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
@Stoupeace σε τι θες περισσότερες εξηγήσεις ;
- stoupeace
- 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
Λογικά για να έβαλε το ο κ. Γκρίτζαλης, κάτι θα έχει ακούσει για το Πανεπιστήμιο, τους διδάσκοντες, το θέμα, κάτι που να είναι κακό τελοσπάντων.The Punisher wrote:@Stoupeace σε τι θες περισσότερες εξηγήσεις ;
Πέρα απο το κουτσομπολιό, θα ήθελα να έχω λίγες παραπάνω πληροφορίες πριν δεχτώ την άποψή του. That's all. Η δική σου επιφύλαξη στηρίζεται στο mail αυτό και λίγο googling (έτσι κατάλαβα),
η δική του μπορεί να στηρίζεται σε εμπειρία.
Απλά εξελίχθηκε σε παιχνίδι το όλο θέμα, ε και δε θα παρακαλάω κιόλας για να ακούσω ένα σωστό επιχείρημα...
Φιλικά πάντα.
Η καλύτερη μπάντα όλου του κόσμου: Sonata Antartika
Mpomp is building an army army. And I got my head back.
░░░░░███████ ]▄▄▄▄▄▄▄▄
▂▄▅█████████▅▄▃▂ ____☻/︻╦╤─
Il███████████████████]. /▌
_◥⊙▲⊙▲⊙▲⊙▲⊙▲⊙▲⊙◤.. . / \
Mpomp is building an army army. And I got my head back.
░░░░░███████ ]▄▄▄▄▄▄▄▄
▂▄▅█████████▅▄▃▂ ____☻/︻╦╤─
Il███████████████████]. /▌
_◥⊙▲⊙▲⊙▲⊙▲⊙▲⊙▲⊙◤.. . / \
- ultimate_aektzis
- 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
Το συγκεκριμενο πανεπιστημιο εχει ΙΕΚ στην Αθηνα απο οτι ξερω.Ισως αυτος ειναι ο λογος της δυσφοριας.
- necrofear_13
- 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
Όντως ισχύει αυτό.
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
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