Kurt Stephens | 3 Feb 05:39

maru 2.1 anon symbol support.

Added anon symbols and gensym support to maru 2.1.
Use gensym in some form expanders that used _var_ bindings.

https://github.com/kstephens/maru/tree/version-2.1-anon-symbol

-- Kurt
Gilbert Röhrbein | 3 Feb 13:51
Picon

Re: One more year?!

On 26.01.2012 11:00, Reuben Thomas wrote:
> On 26 January 2012 02:42, Ian Piumarta <ian@...> wrote:
>>
>> I have been sending source code individually to people
> 
> Thanks very much for finally posting the code, but what on earth were
> you thinking sending it to people individually?

Thanks for sharing code, yes. But please put it in some online code
repository. This would make it easier for us all, i think. What's your
opinion on this, Ian?

	Gilbert

Mónica Pinto | 3 Feb 20:57
Picon

MODULARITY: aosd.2012 - Call for Participation!!!

xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">

                      << CALL FOR PARTICIPATION >>

 

=======================================================================

 

11th International Conference on Aspect-Oriented Software Development

                         MODULARITY: aosd 2012

                         http://aosd.net/2012

                          March 25-30, 2012

               Hasso-Plattner-Institut Potsdam, Germany

 

=======================================================================

 

The full program is online and registration is open.

 

Deadline for early registration: February 20, 2012

See: http://aosd.net/2012

 

In cooperation with:

* ACM SIGSOFT

* ACM SIGPLAN

 

Sponsors:

* Oracle

* SAP Innovation Center Potsdam

* Microsoft Research

* AOSD-Europe

* AOSA

* Hasso-Plattner-Institut Potsdam

 

=======================================================================

 

Modularity transcending traditional abstraction boundaries is essential

for developing complex modern systems, particularly software and

software-intensive systems. Aspect-oriented and other new forms of

modularity and abstraction are attracting significant attention across

many domains, both within and beyond computer science. As the premier

international conference on modularity, AOSD continues to advance our

understanding of separation of concerns, modularity, and abstraction in

the broadest senses of these terms.

 

The 2012 AOSD conference will comprise Research Results and Modularity

Visions. Both categories invited full, scholarly papers of the highest

quality on new ideas and results in areas that included but were not

limited to complex systems, software engineering, languages, cyber-

physical systems, and other areas across the whole system life cycle.

 

Research Results papers contribute significant new research results

with rigorous and substantial validation of specific technical claims

based on scientifically sound reflections on experience, analysis, or

experimentation.

 

Modularity Visions papers present compelling new ideas in modularity,

including strong cases for significance, novelty, validity, and

potential impact based on thorough scholarly argumentation and early

results.

 

A summary of the program is provided below.

 

Please consult http://aosd.net/2012 for details and up-to-date

information.

 

We invite you to attend MODULARITY: aosd 2012!

 

=======================================================================

KEYNOTES AND INVITED TALKS

=======================================================================

 

* Martin C. Rinard (MIT)

  What To Do When Things Go Wrong: Recovery in Complex (Computer) Systems

 

* James O. Coplien (Gertrud & Cope)

  Objects of the People, for the People, and by the People

 

* James O. Coplien (Gertrud & Cope)

  A Tour of the Data-Context-Interaction Paradigm

 

* Cristina Videira Lopes (UCI)

  Aspects as Latent Topics

 

* Lars Bak (Google)

  Implementing Language Based Virtual Machines

 

=======================================================================

RESEARCH RESULTS AND MODULARITY VISIONS PAPERS

=======================================================================

 

The Research Track captures state-of-the-art research occurring in

AOSD. A broad range of topics will be presented throughout the

conference. The paper titles for AOSD 2012 are as follows:

 

* [RR] Separation of Concerns in Feature Modeling: Support and Applications

  Mathieu Acher, Philippe Collet, Philippe Lahire, Robert France

 

* [RR] Intraprocedural Dataflow Analysis for Software Product Lines

  Claus Brabrand, Marcio Ribeiro, Tarsis Toledo, Paulo Borba

 

* [MV] Features and Object Capabilities: Reconciling Two Visions of

    Modularity

  Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi

 

* [RR] Two-Way Traceability and Conflict Debugging for AspectLTL Programs

  Shahar Maoz, Yaniv Sa'ar

 

* [RR] A Debug Interface for Debugging Multiple Domain Specific Aspect

    Languages

  Yoav Apter, David Lorenz, Oren Mishali

 

* [RR] A Complete Debugger for Aspect-Oriented Programming

  Haihan Yin, Christoph Bockisch, Mehmet Aksit

 

* [RR] A Monadic Interpretation of Execution Levels and Exceptions for AOP

  Nicolas Tabareau

 

* [RR] Adaptable Generic Programming with Required Type Specifications and

    Package Templates

  Eyvind W. Axelsen, Stein Krogdahl

 

* [MV] Do We Really Need to Extend Syntax for Advanced Modularity?

  Shigeru Chiba, Michihiro Horie, Kei Kanazawa, Fuminobu Takeyama,

  Yuuki Teramoto

 

* [RR] A Closer Look at Aspect Interference and Cooperation

  Cynthia Disenfeld, Shmuel Katz

 

* [RR] Management of Feature Interactions with Transactional Regions

  Thomas Cottenier, Aswin Van Den Berg, Thomas Weigert

 

* [RR] Method Shelters: Avoiding Conflicts among Class Extensions Caused by

    Local Rebinding

  Shumpei Akai, Shigeru Chiba

 

* [RR] An Exploratory Study of the Design Impact of Language Features for

    Aspect-oriented Interfaces

  Robert Dyer, Hridesh Rajan, Yuanfang Cai

 

* [RR] Comprehensively Evaluating Conformance Error Rates of Applying Aspect

    State Machines for Robustness Testing

  Shaukat Ali, Tao Yue, Zafar Malik

 

* [RR] Are Automatically-Detected Code Anomalies Relevant to Architectural

    Modularity? An Exploratory Analysis of Evolving Systems

  Isela Macia Bertran, Joshua Garcia, Daniel Popescu, Alessandro

  Garcia, Nenad Medvidovic, Arndt Von Staa

 

* [RR] LARA: An Aspect-Oriented Programming Language for Embedded Systems

  Joao Cardoso, Tiago Carvalho, Jose Coutinho, Wayne Luk, Ricardo

  Nobre, Pedro Diniz, Zlatko Petrov

 

* [RR] ContextErlang: Introducing Context-oriented Programming in the Actor

    Model

  Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella

 

* [MV] Fine-Grained Modularity and Reuse of Virtual Machine Components

  Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz

 

* [RR] An Object-oriented Framework for Aspect-oriented Languages

  Marko van Dooren, Eric Steegmans, Wouter Joosen

 

* [RR] Reusing Non-Functional Concerns Across Languages

  Myoungkyu Song, Eli Tilevich

 

* [RR] DiSL: a Domain-Specific Language for Bytecode Instrumentation

  Lukas Marek, Alex Villazon, Yudi Zheng, Danilo Ansaloni, Walter

  Binder, Zhengwei Qi

 

* [RR] Multi-View Refinement of AO-Connectors in Distributed Software

    Systems

  Steven Op de Beeck, Marko van Dooren, Bert Lagaisse, Wouter Joosen

 

* [RR] Weaving Dynamical Aspects in HiLA

  Gefei Zhang, Matthias Hoelzl

 

=======================================================================

WORKSHOPS

=======================================================================

 

A diverse set of workshops will be offered at AOSD 2012 during the

first two days of the conference. All workshops are included in the

registration fee. There will be six workshops at AOSD 2012:

 

Monday, March 26th 2012

* FOAL: Foundations Of Aspect-Oriented Languages

* VariComp: 3rd International Workshop on Variability and Composition

* ESCOT: 3rd International Workshop on Empirical Evaluation of Software

  Composition Techniques

 

Tuesday, March 27th 2012

* NEMARA: Next Generation Modularity Approaches for Requirements and

  Architecture

* DSAL: Workshop on Domain-Specific Aspect Languages

* MISS: Modularity in Systems Software

 

=======================================================================

ORGANIZING COMMITTEE

=======================================================================

 

* Robert Hirschfeld, General Chair

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Michael Haupt, Organizing Chair

  (Oracle Labs, Potsdam, Germany)

* Eric Tanter, Research Results Chair

  (Universidad de Chile, Chile)

* Kevin Sullivan, Modularity Visions Chair

  (University of Virginia, USA)

* Richard P. Gabriel, Heart of Technology Lectures Chair

  (IBM Research, USA)

* Sabine Wagner, Administrative Coordinator

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Sven Apel, Workshops Co-Chair

  (University of Passau, Germany)

* Bastian Steinert, Workshops Co-Chair

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Carl Friedrich Bolz, Demonstrations and BoFs Co-Chair

  (Heinrich-Heine-Universitaet Duesseldorf, Germany)

* Damien Cassou, Demonstrations and BoFs Co-Chair

  (Inria Arles, France)

* Bogdan Franczyk, Industry Co-Chair

  (Universitaet Leipzig, Germany)

* Andreas Polze, Industry Co-Chair

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Hidehiko Masuhara, Student Events Co-Chair

  (The University of Tokyo, Japan)

* Michael Perscheid, Student Events Co-Chair

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Eric Bodden, Publicity Co-Chair

  (Technische Universitaet Darmstadt, Germany)

* Monica Pinto, Publicity Co-Chair

  (Universidad de Malaga, Spain)

* Ruzanna Chitchyan, Student Volunteers Co-Chair

  (University of Leicester, UK)

* Jens Lincke, Student Volunteers Co-Chair

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Tobias Pape, Web Chair

  (Hasso-Plattner-Institut, University of Potsdam, Germany)

* Constanze Langer, Design

  (Institute of Industrial Design, Hochschule Magdeburg-Stendal, Germany)

 

--

 

Eric Bodden (Technische Universitaet Darmstadt, Germany) &

Monica Pinto (Universidad de Malaga, Spain), Publicity Co-Chairs

 

Ryan Mitchley | 7 Feb 11:58
Picon

Raspberry Pi

This may not be news to list subscribers, but wouldn't the Raspberry Pi 
make a great target for Frank etc. ? ->
http://www.raspberrypi.org/faqs

The Model A / B naming brings up memories of my own childhood computing 
introduction on the BBC Model B (along with Logo and turtles, speech 
synthesizers, the first dot matrix printers, sound synthesis.. we had 
quite a progressive school and the underrated Acorn products were quite 
versatile for their time - when these were replaced with first 
generation IBM PC clones when I was around 12, it was something of a 
step backwards).

Reuben Thomas | 7 Feb 12:14
Gravatar

Re: Raspberry Pi

On 7 February 2012 10:58, Ryan Mitchley <ryan.mitchley@...> wrote:
> This may not be news to list subscribers, but wouldn't the Raspberry Pi make
> a great target for Frank etc. ? ->
> http://www.raspberrypi.org/faqs

No worse or better than any other system; the point is precisely that
it's a pretty standard Linux system (if rather low-powered). Why do
you think specifically it's a good target? If Frank builds on GNU, it
should be straightforward to build it for R-Pi…

(I think Raspberry Pi, other than its unfortunate reliance on non-free
software, is an excellent thing; I know Eben Upton, who is behind it,
and was fortunate enough to see his first tiny computer prototype some
years ago. I'm very excited about its aim of getting more children
interested in programming. I'm just not sure what the connection is
here, other than the obvious one of new, simpler models of programming
and children.)

> The Model A / B naming brings up memories of my own childhood computing
> introduction on the BBC Model B

That's entirely intentional, right down to the model A being the one
very few people will probably buy!

--

-- 
http://rrt.sc3d.org
Alexis Read | 7 Feb 12:34
Picon

Re: Raspberry Pi

It's a little more useful than a normal Linux system. It's small, low power ie. Battery/solar operable, a standardised platform and has accessable gpio. As such it's a fixed target driver-wise, and you can interface Frank with the outside world easily eg. UAV design - LOGO turtle on steroids. Lastly, it's unbrickable, you can just swap sd cards to change oses so making os experimentation more likely.

Cheers

On Feb 7, 2012 11:14 AM, "Reuben Thomas" <rrt-0NV8xZLkR+A@public.gmane.org> wrote:
On 7 February 2012 10:58, Ryan Mitchley <ryan.mitchley-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
> This may not be news to list subscribers, but wouldn't the Raspberry Pi make
> a great target for Frank etc. ? ->
> http://www.raspberrypi.org/faqs

No worse or better than any other system; the point is precisely that
it's a pretty standard Linux system (if rather low-powered). Why do
you think specifically it's a good target? If Frank builds on GNU, it
should be straightforward to build it for R-Pi…

(I think Raspberry Pi, other than its unfortunate reliance on non-free
software, is an excellent thing; I know Eben Upton, who is behind it,
and was fortunate enough to see his first tiny computer prototype some
years ago. I'm very excited about its aim of getting more children
interested in programming. I'm just not sure what the connection is
here, other than the obvious one of new, simpler models of programming
and children.)

> The Model A / B naming brings up memories of my own childhood computing
> introduction on the BBC Model B

That's entirely intentional, right down to the model A being the one
very few people will probably buy!

--
http://rrt.sc3d.org
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
Ryan Mitchley | 7 Feb 12:34
Picon

Re: Raspberry Pi

On 07/02/2012 13:14, Reuben Thomas wrote:
>
> No worse or better than any other system; the point is precisely that
> it's a pretty standard Linux system (if rather low-powered). Why do
> you think specifically it's a good target?

I think the limited capabilities would be a great visceral demonstration 
of the efficiencies learned during the FONC research.

I was thinking in terms of replacing the GNU software, using it as a 
cheap hardware target... some FONC-based system should blow the GNU 
stack out of the water when resources are restricted.
Reuben Thomas | 7 Feb 12:49
Gravatar

Re: Raspberry Pi

On 7 February 2012 11:34, Ryan Mitchley <ryan.mitchley@...> wrote:
>
> I think the limited capabilities would be a great visceral demonstration of
> the efficiencies learned during the FONC research.
>
> I was thinking in terms of replacing the GNU software, using it as a cheap
> hardware target... some FONC-based system should blow the GNU stack out of
> the water when resources are restricted.

Now that's an exciting idea.

--

-- 
http://rrt.sc3d.org
Favicon
Gravatar

Re: Raspberry Pi

Reuben Thomas wrote:
> On 7 February 2012 11:34, Ryan Mitchley wrote:
> >
> > I think the limited capabilities would be a great visceral demonstration of
> > the efficiencies learned during the FONC research.
> >
> > I was thinking in terms of replacing the GNU software, using it as a cheap
> > hardware target... some FONC-based system should blow the GNU stack out of
> > the water when resources are restricted.
> 
> Now that's an exciting idea.

People complain about *only* having 256MB (128MB in the A model) but
that is way more than is needed for SqueakNOS and, I imagine, Frank.
Certainly the boot time for SqueakNOS would be a second or less on this
hardware, which should impress a few people when compared to the various
Linux on the same board.

Fortunately, some information needed to port an OS to the Raspberry Pi
was released yesterday:

> http://dmkenr5gtnd8f.cloudfront.net/wp-content/uploads/2012/02/BCM2835-ARM-Peripherals.pdf

The GPU stuff is still secret but I don't think the current version of
Frank would make use of it anyway.

-- Jecel

Alan Kay | 7 Feb 18:19
Picon
Favicon

Re: Raspberry Pi

Hi Jecel

In the "difference between research and engineering department" I think I would first port a version of Smalltalk to this system.

One of the fun side-projects done in the early part of the Squeak system was when John Maloney and a Berkeley grad student ported Squeak to "a luggage tag" -- that is to the Mitsubishi hybrid "computer on a chip" that existed back ca 1997. This was a ARM-like 32 bit microprocessor plus 4MB (or more) memory on a single die. This plus one ASIC constituted the whole computer.

Mitsubishi did this nice system for mobile use. Motorola bought the rights to this technology and completely buried it to kill competition.

(We call it the "luggage tag" because they would embed failed chips in Lucite to make luggage tags!)

Anyway, for fun John and the grad student ported Squeak to this bare chip (including having to write the BiOS code). It worked fine, and I was able to do a large scale Etoy demo on it.

Although Squeak was quite small in those days, a number of effective optimizations had been done at various levels, and so it was quite efficient, and all plus Etoys fit easily into 4MB. 

In the earliest days of the OLPC XO project we made an offer to make Squeak the entire OS of the XO, etc., but you can imagine the resistance!

Frank on the other hand has very few optimizations -- it is about lines of code that carry meaning. It is a goal of the project to "separate optimizations from the meanings" so it would still run with the optimizations turned off but slower. We have done very little of this so far, and very few optimizations. We can give live dynamic demos in part because Dan Amelang's Nile graphics system turned out to be more efficient than we thought with very few optimizations.

I think it could be an valuable project for interested parties to see about how to organize the separate "optimization spaces" that use the meanings as references.

Cheers,

Alan


From: Jecel Assumpcao Jr. <jecel-/J8iz1DznIp8UrSeD/g0lQ@public.gmane.org>
To: Fundamentals of New Computing <fonc-uVco7kAcSAQ@public.gmane.org>
Sent: Tuesday, February 7, 2012 9:42 AM
Subject: Re: [fonc] Raspberry Pi

Reuben Thomas wrote:
> On 7 February 2012 11:34, Ryan Mitchley wrote:
> >
> > I think the limited capabilities would be a great visceral demonstration of
> > the efficiencies learned during the FONC research.
> >
> > I was thinking in terms of replacing the GNU software, using it as a cheap
> > hardware target... some FONC-based system should blow the GNU stack out of
> > the water when resources are restricted.
>
> Now that's an exciting idea.

People complain about *only* having 256MB (128MB in the A model) but
that is way more than is needed for SqueakNOS and, I imagine, Frank.
Certainly the boot time for SqueakNOS would be a second or less on this
hardware, which should impress a few people when compared to the various
Linux on the same board.

Fortunately, some information needed to port an OS to the Raspberry Pi
was released yesterday:

> http://dmkenr5gtnd8f.cloudfront.net/wp-content/uploads/2012/02/BCM2835-ARM-Peripherals.pdf

The GPU stuff is still secret but I don't think the current version of
Frank would make use of it anyway.

-- Jecel

_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc



Gmane