Francesco Logozzo | 1 Apr 02:59 2006
Picon

Call for papers: PASSWORD'06, co-located with ECOOP'06, Sponsored by IBM research

[ We apologize for multiple copies ]

***************************************************************************************************

                                               Call for Papers

    Program Analysis for Security and Safety Workshop Discussion (PASSWORD'06)
                              http://research.ihost.com/password/

        Colocated with ECOOP'06, Nantes, France, July 4,  2006

                                    Sponsored by IBM Research

***************************************************************************************************

With the advent of the Internet, software security has become more
important than ever.
Unfortunately, still now, the security of a software system is almost
always an afterthought.
When security problems arise, understanding and correcting them can be
very challenging.
On the one hand, the program analysis research community has created
numerous static and dynamic analysis tools for performance
optimization and bug detection in object-oriented programs.
On the other hand, the security and privacy research community has
been looking for solutions to automatically detect security problems,
privacy violations, and access-control requirements of object-oriented
programs.
The purpose of this workshop is to bring together members of both
these communities and to encourage program analysis researchers to see
(Continue reading)

Donald Bruce Stewart | 3 Apr 04:47 2006
Picon
Picon

Haskell Weekly News: April 03, 2006


                      Haskell Weekly News: April 03, 2006

   Greetings, and thanks for reading issue 31 of HWN, a weekly newsletter
   covering developments in the Haskell community. Each Monday, new
   editions are posted to [1]the Haskell mailing list and to [2]The
   Haskell Sequence. [3]RSS is also available. Headlines also go to
   [4]haskell.org.

   1. http://www.haskell.org/mailman/listinfo/haskell
   2. http://sequence.complete.org/
   3. http://sequence.complete.org/node/feed
   4. http://haskell.org/

Haskell'

   This section covers activity on [5]Haskell' standardisation process.
     * FFI, 'safe' and 'unsafe', parts [6]1 and [7]2
     * [8]newtype deriving
     * [9]Standardise deepSeq
     * [10]MVar semantics
     * [11]Thread priorities
     * Concurrency, parts [12]1, [13]2 and [14]3.
     * [15]FD improvement, variable quantification & generalised
       propagation

   5. http://hackage.haskell.org/trac/haskell-prime
   6. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1089
   7. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1178
   8. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1145
(Continue reading)

Christopher Brown | 3 Apr 16:41 2006
Picon

Strafunski

Hi,

I am trying to use Strafunski with GHC 6.5 and was wondering if  
someone could help me. I have all the instances for Term and Typeable  
defined for my data types, but when I try to compile with GHC 6.5 I  
get lots of "overlapping instance" errors. In particular, it seems  
the instances I am using (generated by DrIFT) are clashing with the  
ones in Data.Typeable. Is there a way I can fix this?

Also I have heard that it is possible to add "deriving Typeable" to  
each data type and I don't need to use the instances I have created.  
However, now it complains that it can't find instances for Term - but  
I can't derive from Term. Does anyone have any ideas how I can get  
Strafunski working with GHC 6.5?

Thanks.

Chris.

Christopher Brown
PhD Student, University of Kent.
http://www.cs.kent.ac.uk/people/rpg/cmb21/
cmb21 <at> kent.ac.uk
Joost Visser | 3 Apr 18:03 2006
Picon

Re: Strafunski

Hi Chris,

Changes in the libraries of GHC have broken Strafunski compatibility  
in the past. I have not upgraded to GHC 6.5 myself so I'm not sure if  
this is the case again. Which versions of DrIFT and Strafunski are  
you using?

Based on what you write, it seems new instances for Typeable have  
been added to the libs (possibly using deriving), which means some of  
your own instances are now redundant. You'll have to remove them  
(which will then break compatibility of your code with 6.4.1, sigh).

Alternatively, you may consider to switch from the "drift-default"  
mode of Strafunski to the "deriving" mode. This means that you will  
be relying on the Typeable+Data classes rather than on the Typeable 
+Term classes. You make the switch simply by changing the search  
path, all your strategic functions should work like before. I guess  
GHC 6.5 supports deriving both for Typeable and Data (personally, I  
prefer to use DriFT rather than the deriving clause, because it gives  
me a bit more control over visibility of instances). For details, see  
the section "Supported models of functional strategies" in the README  
file of StrategyLib.

Regards,
Joost

--
Dr. ir. Joost Visser   | Departamento de Informática
phone  +351-253-604461 | Universidade do Minho
fax    +351-253-604471 | mailto:Joost.Visser <at> di.uminho.pt
(Continue reading)

Christopher Brown | 4 Apr 02:14 2006
Picon

Re: [Haskell-cafe] Strafunski

Joost,

Thanks very much - this solved my problem!

Cheers

Chris.

On 3 Apr 2006, at 17:03, Joost Visser wrote:

> Hi Chris,
>
> Changes in the libraries of GHC have broken Strafunski  
> compatibility in the past. I have not upgraded to GHC 6.5 myself so  
> I'm not sure if this is the case again. Which versions of DrIFT and  
> Strafunski are you using?
>
> Based on what you write, it seems new instances for Typeable have  
> been added to the libs (possibly using deriving), which means some  
> of your own instances are now redundant. You'll have to remove them  
> (which will then break compatibility of your code with 6.4.1, sigh).
>
> Alternatively, you may consider to switch from the "drift-default"  
> mode of Strafunski to the "deriving" mode. This means that you will  
> be relying on the Typeable+Data classes rather than on the Typeable 
> +Term classes. You make the switch simply by changing the search  
> path, all your strategic functions should work like before. I guess  
> GHC 6.5 supports deriving both for Typeable and Data (personally, I  
> prefer to use DriFT rather than the deriving clause, because it  
> gives me a bit more control over visibility of instances). For  
(Continue reading)

Donald Bruce Stewart | 4 Apr 07:12 2006
Picon
Picon

haskell <at> archives, 1990-2000

I managed, with the help of some custom hacks, to convert Simon's
tarball of the haskell <at>  archives from 1990-2000 into html.

I've hosted the lot here:
    http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/threads.html

I'm not sure these archives are available anywhere else, other than the
tarball on SPJs page, here
    http://research.microsoft.com/~simonpj/haskell/haskell-email-11Sep1990-27Oct2000.gz

Enjoy reading about the problems of n+k and why Haskell needs a binary IO class, 
way back in 1990 :)

-- Don

P.S. if you find oddities in the conversion, let me know.
Donald Bruce Stewart | 4 Apr 07:16 2006
Picon
Picon

Re: haskell <at> archives, 1990-2000

dons:
> I managed, with the help of some custom hacks, to convert Simon's
> tarball of the haskell <at>  archives from 1990-2000 into html.

By the way, this was in the context of writing up the HWN-style news
over that decade, here:
    http://haskell.org/haskellwiki/Old_news

-- Don
Bulat Ziganshin | 4 Apr 08:17 2006
Picon

Re: haskell <at> archives, 1990-2000

Hello Donald,

Tuesday, April 4, 2006, 9:12:12 AM, you wrote:
> Enjoy reading about the problems of n+k and why Haskell needs a binary IO class,
> way back in 1990 :)

it seems that i should participate in the discussion. can you please
add posting facilities? :-E

--

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin <at> gmail.com
Assini, Pasqualino | 5 Apr 13:21 2006
Picon

haskell-in-a-box?


Hello,

you are probably all aware of the recent brouhaha relative to
virtualisation, that is to say the possibility of running multiple
operating systems in parallel on the same PC (see
http://en.wikipedia.org/wiki/Virtualisation).

This opens all kind of interesting possibilities, in particular for
software distribution.

Rather then having to worry about creating and maintaining different
versions of a program for Windows + the infinite variations of
Linux/Unix one could simply distribute a stand-alone virtual machine
including the kernel of the OS of choice plus the application (this
naturally only applies to applications with a network interface, e.g.
web-based applications). 

This would have significant advantages in terms of ease of installation,
safety, manageability and possibly also efficiency of execution as the
underlying OS could be fine-tuned to support the application in an
optimal way.

This new trend might also be good news for Haskell as, coupled with a
free OS with a small footprint, it might be used to create network
applications that are both powerful and easy-to-install and manage. 

Since the question: what is the smallest X86 OS core on top of which one
might compile Haskell (and I am mainly thinking of GHC Haskell here)
programs?
(Continue reading)

Jared Updike | 5 Apr 17:23 2006
Picon

Re: haskell-in-a-box?

> And: has anyone already built a 'haskell-in-a-box' virtual machine?

Some are working on an all-Haskell-boots-from-scratch OS:
House (Haskell User's Operating System and Environment):

http://www.cse.ogi.edu/~hallgren/House/

>From the page: "House  is a demo of software written in Haskell,
running in a standalone environment. It is a system than can serve as
a platform for exploring various ideas relating to low-level and
system-level programming in a high-level functional language. More
details are available in our ICFP 2005 paper: A Principled Approach to
Operating System Construction in Haskell."

Also, YHC is (in development) a new Haskell compiler based on nhc98
that aims to produce highly portable bytecode which can then be ported
to JVM, .NET, etc. and of course a C virtual machine:

http://www-users.cs.york.ac.uk/~ndm/yhc/

  Jared.

--
http://www.updike.org/~jared/
reverse ")-:"

Gmane