?

Log in

No account? Create an account
Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Back to school [May. 13th, 2018|01:00 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I break the big news about my new job!

This entry was originally posted at https://lindseykuper.dreamwidth.org/25590.html. Please comment there using OpenID.
LinkLeave a comment

Call for talk proposals: DSLDI 2018 [Apr. 29th, 2018|11:35 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I put off writing the post I really want to write, but can't yet.

This entry was originally posted at https://lindseykuper.dreamwidth.org/25261.html. Please comment there using OpenID.
LinkLeave a comment

Four kinds of talk proposals that get rejected from !!Con [Mar. 31st, 2018|12:49 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I dispense !!Con talk proposal advice.

This entry was originally posted at https://lindseykuper.dreamwidth.org/23839.html. Please comment there using OpenID.
LinkLeave a comment

"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018 [Feb. 14th, 2018|11:40 am]
Lindsey Kuper
[Tags|]

New blog post, in which I reveal my secret research agenda.

This entry was originally posted at https://lindseykuper.dreamwidth.org/23069.html. Please comment there using OpenID.
LinkLeave a comment

Celebrating five years of this blog, and a change of pace [Jan. 31st, 2018|04:17 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I slow my roll.

This entry was originally posted at https://lindseykuper.dreamwidth.org/21772.html. Please comment there using OpenID.
LinkLeave a comment

The call for papers formerly known as ICFP [Dec. 31st, 2017|05:45 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I'm relieved to finally wrap up my 2017 blobligations.

This entry was originally posted at https://lindseykuper.dreamwidth.org/21238.html. Please comment there using OpenID.
LinkLeave a comment

Call for submissions: PaPoC 2018 [Dec. 30th, 2017|05:30 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I get caught up on posts for pretty much the first time since Sylvia was born.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20834.html. Please comment there using OpenID.
LinkLeave a comment

Three times the Internet Archive helped me this year [Nov. 30th, 2017|09:56 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I have a lot of feelings.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20647.html. Please comment there using OpenID.
LinkLeave a comment

The power of blogging with plain old versioned text [Nov. 29th, 2017|09:49 pm]
Lindsey Kuper
[Tags|]

New blog post, in which some sausage-making is revealed.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20355.html. Please comment there using OpenID.
LinkLeave a comment

Using the simplex algorithm for SMT solving [Oct. 31st, 2017|06:23 pm]
Lindsey Kuper
[Tags|]

New blog post, in which I continue to clear out the I-should-blog-about-this backlog.

This entry was originally posted at https://lindseykuper.dreamwidth.org/20099.html. Please comment there using OpenID.
LinkLeave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]