headers
Niklaus Haldimann | 1 Apr 2006 23:10
Picon
Picon

[Fwd: Dynamic Languages Symposium 2006 - Technical Papers (CfP)]

Hi there

If I remember correctly some people were under the impression that the
deadline for the Dynamic Languages Symposium at OOPSLA has already
passed. Obviously this isn't so (it's June 1st, see below). If PyPy is
going to submit a technical paper to just one conference this year, it
should probably be this one. ;) Considering who's on the program
committee it's also likely that it will actually be accepted.

Cheers
Nik

-------- Original Message --------
Subject: Dynamic Languages Symposium 2006 - Technical Papers (CfP)
Date: Fri, 31 Mar 2006 16:20:47 +0200
From: Robert Hirschfeld <robert.hirschfeld <at> gmx.net>
Reply-To: hirschfeld <at> acm.org,	The general-purpose Squeak developers list
<squeak-dev <at> lists.squeakfoundation.org>
To: squeak-dev <at> lists.squeakfoundation.org, croquet <at> lists.wisc.edu

Dynamic Languages Symposium 2006 - Technical Papers

Call for papers

Portland, Oregon, United States, October 22, 2006

http://www.dcl.hpi.uni-potsdam.de/dls2006/

The Dynamic Languages Symposium (DLS) at OOPSLA 2006 is a forum for
discussion of dynamic languages, their implementation and application.
(Continue reading)

Permalink | Reply | 3 comments |
headers
Laura Creighton | 2 Apr 2006 00:40
Favicon

Re: [Fwd: Dynamic Languages Symposium 2006 - Technical Papers (CfP)]


Thank you Nik for this important information,  we did indeed 
believe that we missed the deadline.

David Ascher is Canadian, as is ActiveState.  I have cc'd this to him
so that he can go about the  business of correcting the pure
slander that they are American, because Nik has clearly taken
this from some other site.

Laura Creighton

In a message of Sat, 01 Apr 2006 23:10:28 +0200, Niklaus Haldimann writes:
>Hi there
>
>If I remember correctly some people were under the impression that the
>deadline for the Dynamic Languages Symposium at OOPSLA has already
>passed. Obviously this isn't so (it's June 1st, see below). If PyPy is
>going to submit a technical paper to just one conference this year, it
>should probably be this one. ;) Considering who's on the program
>committee it's also likely that it will actually be accepted.
>
>Cheers
>Nik
>
>-------- Original Message --------
>Subject: Dynamic Languages Symposium 2006 - Technical Papers (CfP)
>Date: Fri, 31 Mar 2006 16:20:47 +0200
>From: Robert Hirschfeld <robert.hirschfeld <at> gmx.net>
>Reply-To: hirschfeld <at> acm.org,	The general-purpose Squeak developers list
><squeak-dev <at> lists.squeakfoundation.org>
(Continue reading)

Permalink | Reply | 2 comments |
headers
David Ascher | 2 Apr 2006 00:53
Picon

Re: [Fwd: Dynamic Languages Symposium 2006 - Technical Papers (CfP)]

Laura Creighton wrote:

>Thank you Nik for this important information,  we did indeed 
>believe that we missed the deadline.
>
>David Ascher is Canadian, as is ActiveState.  I have cc'd this to him
>so that he can go about the  business of correcting the pure
>slander that they are American, because Nik has clearly taken
>this from some other site.
>
Thanks, I'd already gotten the CFP fixed, but after it started spreading.

For the record, I'm not Canadian, although I am in Canada.  I'm french 
and american =).

_______________________________________________
pypy-dev <at> codespeak.net
http://codespeak.net/mailman/listinfo/pypy-dev
Permalink | Reply | 1 comment |
headers
Laura Creighton | 2 Apr 2006 01:07
Favicon

Re: [Fwd: Dynamic Languages Symposium 2006 - Technical Papers (CfP)]

In a message of Sat, 01 Apr 2006 14:53:02 -0800, David Ascher writes:
>Laura Creighton wrote:
>
>>Thank you Nik for this important information,  we did indeed 
>>believe that we missed the deadline.
>>
>>David Ascher is Canadian, as is ActiveState.  I have cc'd this to him
>>so that he can go about the  business of correcting the pure
>>slander that they are American, because Nik has clearly taken
>>this from some other site.
>>
>Thanks, I'd already gotten the CFP fixed, but after it started spreading.
>
>For the record, I'm not Canadian, although I am in Canada.  I'm french 
>and american =).

Interesting mix, apologies for getting it wrong.

Laura Creighton - in Sweden, but from NOVA SCOTIA or ACADIE for those
of us for whom such things matter :-) (we don't feel particularly
'Canadian' and leave that for the people of Ontario, but we sure know
where home is.  Since Nik is from Switzerland, he will understand this
sort of feeling perfectly well. :-) )

Laura 
_______________________________________________
pypy-dev <at> codespeak.net
http://codespeak.net/mailman/listinfo/pypy-dev
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jakob Praher | 2 Apr 2006 20:54
Picon

inquiry: phd positions

hi all,

my name is Jakob Praher. I am located in Linz, Austria. Currently I am 
finishing my master thesis, which is about developing an aspect oriented 
dynamic bytecode instrumentation framework for program analysis on top 
of LLVM. I am very interested to work in that area as a PHd student. 
 From your website I know you are also working on an LLVM backend.

PyPy seems to be a European effort, so my naive question is, whether you 
   have any PhD projects in this area or could point me to some further 
information. I would be very interested to hearing from you.

Thank you

Jakob

_______________________________________________
pypy-dev <at> codespeak.net
http://codespeak.net/mailman/listinfo/pypy-dev
Permalink | Reply | 6 comments |
headers
Michael Hudson | 3 Apr 2006 01:59
Favicon

Re: inquiry: phd positions

Jakob Praher <jp <at> hapra.at> writes:

> hi all,
>
> my name is Jakob Praher. I am located in Linz, Austria. Currently I am
> finishing my master thesis, which is about developing an aspect
> oriented dynamic bytecode instrumentation framework for program
> analysis on top of LLVM. I am very interested to work in that area as
> a PHd student. From your website I know you are also working on an
> LLVM backend.

I'm not _entirely_ sure what you are saying here.  We have interests
in AOP and interests in LLVM but they are not particularly related,
whereas your interests seem to be intertwined.

But it's late and I am suffering from a stressful trip, so maybe the
confusion is just at my end :)

> PyPy seems to be a European effort,

Only by accident, mostly...

> so my naive question is, whether you have any PhD projects in this
> area or could point me to some further information. I would be very
> interested to hearing from you.

Well, we certainly hope that there are interesting lines of
investigation in PyPy.  To be more specific, we probably need you to
be more specific about your interests too.
(Continue reading)

Permalink | Reply | 5 comments |
headers
Carl Friedrich Bolz | 3 Apr 2006 02:34
Picon
Picon
Gravatar

Re: Re: inquiry: phd positions

Hi Jakob!

Jakob Praher <jp <at> hapra.at> writes:
> my name is Jakob Praher. I am located in Linz, Austria. Currently I am
> finishing my master thesis, which is about developing an aspect
> oriented dynamic bytecode instrumentation framework for program
> analysis on top of LLVM. I am very interested to work in that area as
> a PHd student. From your website I know you are also working on an
> LLVM backend.

Well, yes. But an LLVM backend in PyPy lingo is different from an LLVM 
backend in LLVM lingo :-). The latter would be a backend to LLVM that 
targets a certain CPU architecture. But it is really the other way 
round: we have a backend that produces _LLVM_ code out of our own IL.

No clue about the Ph.D., sorry.

Cheers,

Carl Friedrich
_______________________________________________
pypy-dev <at> codespeak.net
http://codespeak.net/mailman/listinfo/pypy-dev
Permalink | Reply | 1 comment |
headers
Jakob Praher | 3 Apr 2006 09:55
Picon

Re: inquiry: phd positions

hi Michael,

Michael Hudson schrieb:
> Jakob Praher <jp <at> hapra.at> writes:
> 
>> hi all,
>>
>> my name is Jakob Praher. I am located in Linz, Austria. Currently I am
>> finishing my master thesis, which is about developing an aspect
>> oriented dynamic bytecode instrumentation framework for program
>> analysis on top of LLVM. I am very interested to work in that area as
>> a PHd student. From your website I know you are also working on an
>> LLVM backend.
> 
> I'm not _entirely_ sure what you are saying here.  We have interests
> in AOP and interests in LLVM but they are not particularly related,
> whereas your interests seem to be intertwined.

I only wanted to give you some information, what I am doing right now. I 
am also interested in dynamic runtime systems. I have some experience 
with self and prototype based oo systems. I also had some experiences 
with Jalpanero (now JikesRVM), which is also selfhosting like PyPy. What 
I mean is that I am flexible. For me it is important to do open source 
research and that I could gain some experience for implementing large 
runtime systems.

> 
> But it's late and I am suffering from a stressful trip, so maybe the
> confusion is just at my end :)
>
(Continue reading)

Permalink | Reply | 2 comments |
headers
Jakob Praher | 3 Apr 2006 10:20
Picon

Re: inquiry: phd positions

Carl Friedrich Bolz schrieb:
> Hi Jakob!
> 
> Jakob Praher <jp <at> hapra.at> writes:
>> my name is Jakob Praher. I am located in Linz, Austria. Currently I am
>> finishing my master thesis, which is about developing an aspect
>> oriented dynamic bytecode instrumentation framework for program
>> analysis on top of LLVM. I am very interested to work in that area as
>> a PHd student. From your website I know you are also working on an
>> LLVM backend.
> 
> Well, yes. But an LLVM backend in PyPy lingo is different from an LLVM 
> backend in LLVM lingo :-). The latter would be a backend to LLVM that 
> targets a certain CPU architecture. But it is really the other way 
> round: we have a backend that produces _LLVM_ code out of our own IL.

Yes :-) I just wanted to point out that I have some knowledge of the 
LLVM infrastructure and that I was using the JIT for my own project 
quite substantially. While there are many areas where still need a lot 
of work to understand, I am very interested in projects like yours and 
so I just wanted to ask. LLVM lacks symbolic information (hence 
lowlevel), which makes it impossible to be used as a first class IL for 
a project like pypy. I will have a look at your IL.

> 
> No clue about the Ph.D., sorry.
Never mind. Thanks for your reply.

> 
> Cheers,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jacob Hallen | 3 Apr 2006 10:45
Favicon

Re: Re: inquiry: phd positions

Hi Jakob,

I think we can safely say that the Pypy project contains several areas that 
are suitable for PhD level research. Just to mention a few:

- Modularisation of the source language, allowing expansion and contraction of 
the available syntax and semantics.

- Adaption of the platform to handle multiple source languages.

-Use of the Pypy architecture for distributed computing, multiprocessing and 
handling of security issues at interpreter level.

- Various aspects of code generation including translation, JIT 
specialisation, garbage collection and backend production.

- Pypy integration with existing platforms, like Java and CLI.

måndag 03 april 2006 09.55 skrev Jakob Praher:
> >> so my naive question is, whether you have any PhD projects in this
> >> area or could point me to some further information. I would be very
> >> interested to hearing from you.
> >
> > Well, we certainly hope that there are interesting lines of
> > investigation in PyPy.  To be more specific, we probably need you to
> > be more specific about your interests too.
>
> See above. My biggest concern is whether there could be some real
> colaboration with a university. It is quite hard to do this kind of
> research in Linz. Mostly because of a lack of support from the
(Continue reading)

Permalink | Reply | 1 comment |

Gmane