PLDI (Programming Language Design and Implementation) is a top academic conference. This year PLDI will be held online and registration is free. This is an amazing treat.

https://conf.researchr.org/home/pldi-2020

Workshops and tutorials (also free) are of potential interest. These caught my eye:

https://pldi20.sigplan.org/home/SOAP-2020 (on the 15th)
https://conf.researchr.org/track/ismm-2020/ismm-2020 (on the 16th)

On Thursday, 4 June 2020 at 12:46:51 UTC, Andrei Alexandrescu wrote:
> PLDI (Programming Language Design and Implementation) is a top academic conference. This year PLDI will be held online and registration is free. This is an amazing treat.
>
> https://conf.researchr.org/home/pldi-2020
>
> Workshops and tutorials (also free) are of potential interest. These caught my eye:
>
> https://pldi20.sigplan.org/home/SOAP-2020 (on the 15th)
> https://conf.researchr.org/track/ismm-2020/ismm-2020 (on the 16th)

Very cool!

On Thursday, 4 June 2020 at 12:46:51 UTC, Andrei Alexandrescu wrote:
> PLDI (Programming Language Design and Implementation) is a top academic conference. This year PLDI will be held online and registration is free. This is an amazing treat.
>
> https://conf.researchr.org/home/pldi-2020
>
> Workshops and tutorials (also free) are of potential interest. These caught my eye:
>
> https://pldi20.sigplan.org/home/SOAP-2020 (on the 15th)
> https://conf.researchr.org/track/ismm-2020/ismm-2020 (on the 16th)

Semantic embeddings, neural type hints, gated logic networks. Almost an NLP conference.

On Thursday, 4 June 2020 at 12:46:51 UTC, Andrei Alexandrescu wrote:
clip
> These caught my eye:
>
> https://pldi20.sigplan.org/home/SOAP-2020 (on the 15th)
> https://conf.researchr.org/track/ismm-2020/ismm-2020 (on the 16th)

Before I checked out the first of the workshop links you provided, I thought it was about Simple Object Access Protocol, and I started having flashbacks of working with gSoap.  Happily, it is about something else altogether.

On 04.06.20 14:46, Andrei Alexandrescu wrote:
> PLDI (Programming Language Design and Implementation) is a top academic conference. This year PLDI will be held online and registration is free. This is an amazing treat.
> 
> https://conf.researchr.org/home/pldi-2020
> 
> Workshops and tutorials (also free) are of potential interest. These caught my eye:
> 
> https://pldi20.sigplan.org/home/SOAP-2020 (on the 15th)
> https://conf.researchr.org/track/ismm-2020/ismm-2020 (on the 16th)

For PLDI 2020, I have contributed to the following research papers:

https://pldi20.sigplan.org/details/pldi-2020-papers/47/Silq-A-High-Level-Quantum-Language-with-Safe-Uncomputation-and-Intuitive-Semantics

https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs

The only relation to D is that the implementations of the two presented programming languages are written in D.

On 6/14/20 4:22 PM, Timon Gehr wrote:
> On 04.06.20 14:46, Andrei Alexandrescu wrote:
>> PLDI (Programming Language Design and Implementation) is a top academic conference. This year PLDI will be held online and registration is free. This is an amazing treat.
>>
>> https://conf.researchr.org/home/pldi-2020
>>
>> Workshops and tutorials (also free) are of potential interest. These caught my eye:
>>
>> https://pldi20.sigplan.org/home/SOAP-2020 (on the 15th)
>> https://conf.researchr.org/track/ismm-2020/ismm-2020 (on the 16th)
> 
> For PLDI 2020, I have contributed to the following research papers:
> 
> https://pldi20.sigplan.org/details/pldi-2020-papers/47/Silq-A-High-Level-Quantum-Language-with-Safe-Uncomputation-and-Intuitive-Semantics 
> 
> 
> https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs 
> 
> 
> The only relation to D is that the implementations of the two presented programming languages are written in D.

Congratulations! Mmmm, safe :o)

On 2020-06-14 20:22:41 +0000, Timon Gehr said:

> https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs 
> 

This one sounds pretty interesting. Will there be a recording and a published paper be available?

-- 
Robert M. Münch
http://www.saphirion.com
smarter | better | faster

On Sunday, 14 June 2020 at 20:22:41 UTC, Timon Gehr wrote:

> For PLDI 2020, I have contributed to the following research papers:
>
> https://pldi20.sigplan.org/details/pldi-2020-papers/47/Silq-A-High-Level-Quantum-Language-with-Safe-Uncomputation-and-Intuitive-Semantics
>
> https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs

Congratulations.

> The only relation to D is that the implementations of the two presented programming languages are written in D.

Does that mean that your junior co-author(s) use D as well?

On 6/14/2020 1:22 PM, Timon Gehr wrote:
> The only relation to D is that the implementations of the two presented programming languages are written in D.

Nice!

On 15.06.20 08:58, Robert M. Münch wrote:
> On 2020-06-14 20:22:41 +0000, Timon Gehr said:
> 
>> https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs 
>>
> 
> This one sounds pretty interesting. Will there be a recording and a published paper be available?
> 

The talk will be on YouTube.

Papers:
https://www.sri.inf.ethz.ch/publications/bichsel2020silq
https://www.sri.inf.ethz.ch/publications/gehr2020lpsi

Source code:
https://github.com/eth-sri/silq
https://github.com/eth-sri/psi/tree/new-types