Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Aya Mahfouz 
On Tue, Apr 24, 2018 at 1:12 PM, Julia Lawall  wrote:

> The 2008 Eurosys paper:
>
> Documenting and automating collateral evolutions in Linux device drivers.
>
> received the Eurosys "Test of Time" award.  Many thanks to everyone on
> this list who has helped to make this possible.
>

Great News! Congratulations! :)

>
> thanks,
> julia
>

Kind Regards,
Aya Saif El-yazal Mahfouz


> ___
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Derek M Jones 

Julia,


ACM Software award?  Nobel prize? (perhaps not...)


Nobel prize for??? Literature?

The Turing award seems to generate the most publicity.

http://shape-of-code.coding-guidelines.com/2018/04/19/influential-philosophers-of-source-code/


--
Derek M. Jones   Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Julia Lawall 


On Tue, 24 Apr 2018, Wolfram Sang wrote:

> Julia,
>
> > > received the Eurosys "Test of Time" award.  Many thanks to everyone on
> > > this list who has helped to make this possible.
>
> Congratulations from me, too! Very well deserved!
>
> > Warming people up, ready for the major award for Coccinelle
>
> What would that be?

ACM Software award?  Nobel prize? (perhaps not...)

julia

>
> Best wishes,
>
>Wolfram
>
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Wolfram Sang 
Julia,

> > received the Eurosys "Test of Time" award.  Many thanks to everyone on
> > this list who has helped to make this possible.

Congratulations from me, too! Very well deserved!

> Warming people up, ready for the major award for Coccinelle

What would that be?

Best wishes,

   Wolfram



signature.asc
Description: PGP signature
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Julia Lawall 
On Tue, 24 Apr 2018, Peter Senna Tschudin wrote:

> Wow! Congratulations!

Thanks :)

julia

>
> On Tue, Apr 24, 2018 at 1:12 PM, Julia Lawall  wrote:
> > The 2008 Eurosys paper:
> >
> > Documenting and automating collateral evolutions in Linux device drivers.
> >
> > received the Eurosys "Test of Time" award.  Many thanks to everyone on
> > this list who has helped to make this possible.
> >
> > thanks,
> > julia
> > ___
> > Cocci mailing list
> > Cocci@systeme.lip6.fr
> > https://systeme.lip6.fr/mailman/listinfo/cocci
>
>
>
> --
> Peter
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Derek M Jones 

Julia,


received the Eurosys "Test of Time" award.  Many thanks to everyone on
this list who has helped to make this possible.


Warming people up, ready for the major award for Coccinelle

--
Derek M. Jones   Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Peter Senna Tschudin 
Wow! Congratulations!

On Tue, Apr 24, 2018 at 1:12 PM, Julia Lawall  wrote:
> The 2008 Eurosys paper:
>
> Documenting and automating collateral evolutions in Linux device drivers.
>
> received the Eurosys "Test of Time" award.  Many thanks to everyone on
> this list who has helped to make this possible.
>
> thanks,
> julia
> ___
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci



-- 
Peter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Julia Lawall 


On Tue, 24 Apr 2018, Vaishali Thakkar wrote:

> On Tue, Apr 24, 2018 at 4:42 PM, Julia Lawall  wrote:
> > The 2008 Eurosys paper:
> >
> > Documenting and automating collateral evolutions in Linux device drivers.
> >
> > received the Eurosys "Test of Time" award.  Many thanks to everyone on
> > this list who has helped to make this possible.
>
> Wow, that's amazing. Congratulations to all who worked on this brilliant
> tool. Thanks for your work.

Thanks :)

julia
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] award for Coccinelle paper

2018-04-24 Thread Vaishali Thakkar 
On Tue, Apr 24, 2018 at 4:42 PM, Julia Lawall  wrote:
> The 2008 Eurosys paper:
>
> Documenting and automating collateral evolutions in Linux device drivers.
>
> received the Eurosys "Test of Time" award.  Many thanks to everyone on
> this list who has helped to make this possible.

Wow, that's amazing. Congratulations to all who worked on this brilliant
tool. Thanks for your work.

> thanks,
> julia
> ___
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

[Cocci] award for Coccinelle paper

2018-04-24 Thread Julia Lawall 
The 2008 Eurosys paper:

Documenting and automating collateral evolutions in Linux device drivers.

received the Eurosys "Test of Time" award.  Many thanks to everyone on
this list who has helped to make this possible.

thanks,
julia
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci