On 16.06.20 17:35, Robert M. Münch wrote:
On 2020-06-15 13:01:02 +, Timon Gehr said:
The talk will be on YouTube.
Great.
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
On 2020-06-15 13:01:02 +, Timon Gehr said:
The talk will be on YouTube.
Great.
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
On 15.06.20 09:46, M.M. wrote:
On Sunday, 14 June 2020 at 20:22:41 UTC, Timon Gehr wrote:
For PLDI 2020, I have contributed to the following research papers:
On 15.06.20 08:58, Robert M. Münch wrote:
On 2020-06-14 20:22:41 +, 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
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 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
On 2020-06-14 20:22:41 +, 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
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.
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
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
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
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
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
13 matches
Mail list logo
