Thread overview | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
June 04, 2020 This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
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) |
June 04, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | 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!
|
June 05, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | 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.
|
June 07, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | 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.
|
June 14, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | 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. |
June 14, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Timon Gehr | 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)
|
June 15, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Timon Gehr | 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 |
June 15, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Timon Gehr | 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? |
June 15, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Timon Gehr | 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!
|
June 15, 2020 Re: This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry! | ||||
---|---|---|---|---|
| ||||
Posted in reply to Robert M. Münch | 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 |
Copyright © 1999-2021 by the D Language Foundation