lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-05-31 01:47 pm

Proving that safety-critical neural networks do what they're supposed to (part 2 of 2)

New blog post, in which I cough up more information about this neural-network-verification thing I've been doing!

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-05-30 03:32 pm

Proving that safety-critical neural networks do what they're supposed to (part 1 of 2)

New blog post, in which I finally start to cough up some information about this neural-network-verification thing I've been doing!

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-04-30 06:45 pm

What isn't a high-performance DSL?

New blog post, in which I continue the "What isn't?" series.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-04-29 06:30 pm

Call for talk proposals: DSLDI 2017

New blog post, in which I put off writing a more substantial post.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-03-31 05:56 pm

Scaling !!Con

New blog post, in which I borrow an analogy that Tom Santero used in 2015.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2017-01-30 07:20 pm

Reflections on four years of research blogging

New blog post, in which composition.al has grown out of toddlerhood.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2016-12-30 11:01 pm

My adventures with git-filter-branch

New blog post, in which I recount a bunch of ways I screwed something up, in order from least to most banal.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2016-11-30 06:16 pm
Entry tags:

Thoughts on "Safety Verification of Deep Neural Networks"

New blog post, in which I probably continue to Alienate My Base.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2016-10-27 01:38 pm

Where does OBT research go after OBT?

New blog post, in which I note that OBT liked your research before it was cool.

lindseykuper: A figure, wearing a pink shirt decorated with a heart, looks upward from between dark shapes that suggest buildings. (Default)
2016-10-17 02:09 pm

Call for talk proposals: OBT 2017

New blog post, in which I try to publicize the underpublicized SIGPLAN PAC grants for non-students.