Re: [pl-seminar] Name for PL group

[Thomas Reps <reps@xxxxxxxxxxx>]

FYI, the original suggestion for PLeaSE included the prefix "Mad", which for some reason was truncated along the way.

Tom

On 3/1/2016 3:07 PM, Loris D'Antoni wrote:

Hi everyone,

Please vote here: http://goo.gl/zPtqGG

Results viewable here: http://goo.gl/rHi0MR

If we decide by Friday I can use the name when presenting to the prospective students.

-Loris

On Sun, Feb 28, 2016 at 5:16 PM, Aws Albarghouthi <albargah@xxxxxxxxx> wrote:

Loris beat me to this email.

I was thinking we don't have to have the letters "PL" in name. Here are some more suggestions.

- PoPSE: Principles of Programming and Software Engineering -- pronounced popsy

- FoPSE: Future of Programming and Software Engineering

- MadPLSE: pronounced mad pulse

- MadAPPLES: Madison's Applications and Principles of Programming Languages, software Engineering, and Security

- MadPS: Mad Programming languages, Software engineering, and Security

- ....

On Sun, Feb 28, 2016 at 4:10 PM, Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Yesterday we had quite a discussion on what we should name the PL group and some cool names came up. 

I'll list some here and then people can reply to this email with more suggestions. We'll then make a poll and finally decide what we should call ourselves.

- PLeaSE: prog lang (e and a are supposed to be an exists and a forall symbol) software engineering

- MadPL: madison prog lang

- MaPLE: Madison Programming Language and software Engineering

- MaPLES: Madison Programming Language and software Engineering and Security

- PLuS^2 : Prog lang union software eng and security

Cheers,

-Loris

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

--

Aws

--
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair
Computer Sciences Department
University of Wisconsin
1210 West Dayton Street
Madison, WI 53706
USA
http://www.cs.wisc.edu/~reps
(608) 262-2091 (direct)
(608) 262-1204 (secretary)