Groups

sci.plrg-reading

1–30 of 302

0 selected

11/24/19

Information-flow control in Haskell in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Information-flow control in Haskell in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

11/24/19

10/3/19

Reminder: Abstracts for SAPLING 2019 Meeting due 11/10

This is a reminder that SAPLING 2019 abstracts and travel funding requests are due next Friday 11/10.

unread,

Reminder: Abstracts for SAPLING 2019 Meeting due 11/10

This is a reminder that SAPLING 2019 abstracts and travel funding requests are due next Friday 11/10.

10/3/19

9/22/19

Cooma language in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Cooma language in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

9/22/19

9/14/19

Call for Abstracts for SAPLING 2019 Meeting

Call for Abstracts for SAPLING 2019 Meeting, November 15, 2019 Sydney Area Programming Language

unread,

Call for Abstracts for SAPLING 2019 Meeting

Call for Abstracts for SAPLING 2019 Meeting, November 15, 2019 Sydney Area Programming Language

9/14/19

9/14/19

Extensible data types in PL reading group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Extensible data types in PL reading group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

9/14/19

7/21/19

Secure Programming Languages in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Secure Programming Languages in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

7/21/19

7/8/19

Continuations in parsing continued in PLVRG this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Continuations in parsing continued in PLVRG this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

7/8/19

7/1/19

Continuations in parsing in PLVRG this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Continuations in parsing in PLVRG this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

7/1/19

6/24/19

Continuations in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

Continuations in PLV Reading Group this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

6/24/19

6/4/19

JastAdd Attribute Grammar System in PLVRG this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

unread,

JastAdd Attribute Grammar System in PLVRG this week

The Programming Languages and Verification Reading Group at Macquarie University, Department of

6/4/19

5/19/19

Oracle GraalVM seminar at Macquarie Uni, May 24, 1pm

The Programming Languages and Verification Research Group at Macquarie University, Department of

unread,

Oracle GraalVM seminar at Macquarie Uni, May 24, 1pm

The Programming Languages and Verification Research Group at Macquarie University, Department of

5/19/19

3/19/19

Map Invariants for Program Verification in PLV Reading Group this week

PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie

unread,

Map Invariants for Program Verification in PLV Reading Group this week

PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie

3/19/19

3/13/19

Skink Language Server in PLV Reading Group this week

PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie

unread,

Skink Language Server in PLV Reading Group this week

PLEASE NOTE NEW LOCATION The Programming Languages and Verification Reading Group at Macquarie

3/13/19

Anthony Sloane2

2/21/19

UPPAAL Model Checker in PLV Reading Group this week

Instead of the old location, we will meet in our new building 4 Research Park Drive, Level 2, Room

unread,

UPPAAL Model Checker in PLV Reading Group this week

Instead of the old location, we will meet in our new building 4 Research Park Drive, Level 2, Room

2/21/19

2/12/19

Abstract Interpretation in PLV Reading Group this week

The programming languages and verification reading group at Macquarie University, Department of

unread,

Abstract Interpretation in PLV Reading Group this week

The programming languages and verification reading group at Macquarie University, Department of

2/12/19

1/30/19

Algebraic Effects and Handlers in PLV Reading Group this week

The programming languages and verification reading group at Macquarie University, Department of

unread,

Algebraic Effects and Handlers in PLV Reading Group this week

The programming languages and verification reading group at Macquarie University, Department of

1/30/19

1/13/19

Language Server Protocol in PLV Reading Group this week

The programming languages and verification reading group at Macquarie University, Department of

unread,

Language Server Protocol in PLV Reading Group this week

The programming languages and verification reading group at Macquarie University, Department of

1/13/19

11/11/18

Incremental packrat parsing in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Incremental packrat parsing in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

11/11/18

10/10/18

Observable notebooks in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Observable notebooks in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

10/10/18

10/3/18

Coding session in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Coding session in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

10/3/18

Anthony Sloane2

9/24/18

SAPLING 2018 Call for Abstracts

This is a reminder that SAPLING 2018 abstracts are due in less than a week, as are requests for

unread,

SAPLING 2018 Call for Abstracts

This is a reminder that SAPLING 2018 abstracts are due in less than a week, as are requests for

9/24/18

9/11/18

Control Flow Reconstruction cont in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Control Flow Reconstruction cont in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

9/11/18

9/2/18

Control Flow Reconstruction in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Control Flow Reconstruction in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

9/2/18

8/28/18

Effects in Idris in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Effects in Idris in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

8/28/18

8/19/18

Effect-based languages cont. in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Effect-based languages cont. in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

8/19/18

8/14/18

Effect-based languages in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Effect-based languages in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

8/14/18

7/23/18

Invariant Synthesis in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Invariant Synthesis in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

7/23/18

6/25/18

Static and Dynamic Program Analysis in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Static and Dynamic Program Analysis in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

6/25/18

6/11/18

Loop Fusion for Program Verification in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Loop Fusion for Program Verification in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

6/11/18

5/28/18

Craig vs Newton in Software Model Checking in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

unread,

Craig vs Newton in Software Model Checking in PL Reading Group this week

The programming languages reading group at Macquarie University, Department of Computing meets on (

5/28/18

Search

Clear search

Close search

Google apps

Main menu