 |
Post AueOLdvXAMQDq2UXdQ by [email protected] |
 |
More posts by [email protected] |
|
Post #AueJNIimToEYsWUv9U by [email protected] |
|
0 likes, 1 repeats |
|
|
|
A student asked me if I know of any research (perhaps experience-report-style p… |
|
|
|
Post #AueJNLedZfhZyXa9bs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I have occasionally claimed that stuff like bounded model checking, fuzzing, pr… |
|
|
|
Post #AueN5WkPzUu8z72mQq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey Have you read the paper from AWS in SOSP 2021? https://www.amazon.scie… |
|
|
|
Post #AueNQ6hi12ukIDadMW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@vish Yes, but I'm looking for stuff about the transition from lightweight … |
|
|
|
Post #AueNZvxioAa1sElWN6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey Ina Schaefer gave a great keynote at @ETAPSconf this year about correc… |
|
|
|
Post #AueNZw4oNoFeEE5BQG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ohad @lindsey @ETAPSconf is that talk publicly available? |
|
|
|
Post #AueO5UBrbC750WQQyW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey sry no paper. from my experience the best "gateway drug" is … |
|
|
|
Post #AueOEPcvw1LjScLMRc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jfdm Last sentence says no |
|
|
|
Post #AueOJHYRNLCNs8Z2My by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey The CCF's team's work on smart casual verification might go in… |
|
|
|
Post #AueOLdvXAMQDq2UXdQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais ach! |
|
|
|
Post #AueOR5CXBlGBsM2NQ8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey I would say no because a) lack of knowledge about formal methods for s… |
|
|
|
Post #AueiEeqTLqqJk74RkW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Cjen1 It's a cool paper, but not really what I'm looking for. Their ap… |
