profile
viewpoint

lkuper/dissertation 20

Exactly what it says on the tin.

lkuper/CMPS290S-2018-09 17

A graduate seminar on languages and abstractions for distributed programming

avsm/shonan-143 15

Shonan #143: Programming Language Support for Data-intensive Applications

lkuper/fandomized-algorithms 5

A paper for SIGBOVIK 2013

lkuper/CSE290Q-2019-09 4

A graduate seminar on SMT solving and solver-aided systems

lkuper/aw 2

The littlest interpreter for the littlest language

lkuper/lambdaLVar-redex 2

A PLT Redex model of the lambdaLVar language

lkuper/addon-playground 1

A collection of toy and proof-of-concept Firefox add-ons.

lkuper/icfp2016 1

Team K&R's entry for the 2016 ICFP Programming Contest.

push eventbangbangcon/west

Lindsey Kuper

commit sha db8751e31c25a94fdc103f7a580309ac469daad6

Update Speakers.md Minor copy edits.

view details

push time in a month

pull request commentbangbangcon/west

Speakers 2020!!

We still need the real URLs for Lee Butterman's talk! Other than that, LGTM, I think.

gs0510

comment created time in 2 months

PR opened bangbangcon/west

LK copyedits

I have emails out to a couple speakers to ask about the more invasive of the edits here. For the less invasive ones (typos, etc.), I don't think it's necessary to email.

+75 -75

0 comment

1 changed file

pr created time in 2 months

create barnchlkuper/west

branch : lk-copyedits

created branch time in 2 months

delete branch bangbangcon/exclamation.foundation

delete branch : corn

delete time in 2 months

push eventbangbangcon/exclamation.foundation

Erty Seidohl

commit sha 446005a98e287e604a16dcfe8211b2decd7bf460

Remove corny joke :corn:

view details

Lindsey Kuper

commit sha 7033ebe1c5d6e20497ac9aaf706dfd3770d9e08b

Merge pull request #2 from bangbangcon/corn Remove corny joke :corn:

view details

push time in 2 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 54364debaca92ec2a7e051c8e96415191b6d8400

Swap Matthew and Gan by request.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 56ebfd38a4691ae407d4152f01aa3c34022f5ef8

Formatting fix.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 5b5b4504cabff1bf0d178198808a382908858316

Minor fix.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 76c6bc1cc8f849042823d5a665164b53e04f1eec

Cleanup.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 0af9eafdd7012a4bc3d8652d4c50bf4585f9352d

Update length of final presentation.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 39ed703eb7e6eb960c43b8bb4db85dcf39b3a044

Update schedule to reflect reality.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 506decf031e741c6b27a3a469fb1c9372acb7c7c

Name tweak.

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha b27070465e76e3ff7bcc0ed765dcb56cb556e648

Final project presentation slots assigned.

view details

Lindsey Kuper

commit sha 82a848ebefcfc34b0969017957b5c05fa7195b11

Merge branch 'master' of github.com:lkuper/CSE290Q-2019-09

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 90c0379ffb1f8fa92f46c290a328c07b79ee80d2

Corrected date.

view details

Lindsey Kuper

commit sha 9196c6e9d795a87fc6b2e6c07fa45a72e99d79af

Merge branch 'master' of github.com:lkuper/CSE290Q-2019-09

view details

push time in 3 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 4317ade1a957491b7f78ec14981805c161242472

Correction to schedule.

view details

push time in 4 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha cd84a7c9d6626e8f8c7df4fa01abb924979a4e2d

Update related courses list.

view details

push time in 4 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 96237e2bb8316cbd98a42a09a6cf5757ed6114b7

Updated reading.

view details

push time in 4 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 5d947eba0abbeb6fcee3f7bc18332bb7852eb7a1

Updated schedule with Sam's paper.

view details

push time in 4 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 2d645eea0708c8a71f90284bd3b63f4591ca848d

Add Sam to schedule.

view details

push time in 4 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 1458b1674132d026db1969b0182941d3b0a84da1

Tweaks to the Z3 paragraph.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha c57fa052e4e046eb677bddd34131bddd477f0528

Clean up.

view details

Lindsey Kuper

commit sha dbe35ec6ffa895d5311321daae9771e2160f2a7a

Add another further reading paper.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha c9b2d207b372f2cc582eb224d324a0618c73ad27

Tentative assignment of papers to presenters.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 8858dca132f6b320101d13855ca8e888f48648ff

Oops.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha bacc2b4b581186979f1f2838c4bc1431fea6ff56

Various reading list tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 7547814fa8aa8f9345df84a7d065c4ab24497714

Yet more readings tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 4cbcfb1563b5251185ef42e00f8ce25bda03e092

Typo fix.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 84e46d237464b8d425d395c5ccaca1a046defa1e

Minor cleanups.

view details

push time in 5 months

MemberEvent

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha ddcab34f20bfdd188f86f1b6eeb1ac2d668483e6

Rearrange a couple of readings.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 30d6ee453892e289050792c3d13e1cd3d6c10d72

Updated reading prefs.

view details

push time in 5 months

MemberEvent
MemberEvent

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 75e93c66e0fc646f0a74cb2e38ca22c888a6e208

Notes to self.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 2de01811d9e6fe739fa894e06eddd7495b793244

More further reading.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 76a427b1e2eb38b6e643f4a80e1f7cf9af57c7e9

More paper preferences.

view details

Lindsey Kuper

commit sha 3f80a9da996e411db7f5728d6f74233e4aa32272

More further reading.

view details

push time in 5 months

MemberEvent

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha bcc223a4077594f8dea710ef3d288095ad3b17df

Moar readings preferences.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha a8667c2aef0e7901a08620922656b16ae8c6bdd8

Updates on who is (or might be) reading what; typo fixes.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 29be4075942df4aa9478ce7c16dc1f2ac669a7c9

Readings update.

view details

push time in 5 months

MemberEvent

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha a1b960811f10e4f4a61892acc72544e22b9fe93d

Moar further reading.

view details

push time in 5 months

MemberEvent
MemberEvent
MemberEvent

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 112744ee94e8b96da1410066f8023ff8c91da41f

Grading update.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 67baab9125cf7656b9025702bb3bf16b41da1b59

Minor tweak.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha bae3d20759393e642c76ce8da0a67d22d3deffd2

Various updates, mostly about the course project.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha c52046f6cc37e71ae9e52d28ab53776d88aa4cd9

Another superoptimization paper.

view details

push time in 5 months

startedjfbastien/BitBlast

started time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 63f72a8b78d469dffdfa0255d102019bc12a6517

Add readings on superoptimization; mark tentatively claimed readings.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha cb17e84d214e766210cf721924acef63f6f0417a

Guest lecture updates.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 69ed5a39c5b12ab6fb3840eaf81b3e8abfa019bb

Reading list tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 3647a102cb3b8f14d4643e8b376a9b6afa04e6a4

Fix busted links.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 90fde8970112d2b647bb77f14f1e197b1c1d6b69

Yet more reading list tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 9f8bb28b57e3a2559e53afa4158834513745a7c5

Schedule tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha e41ccec31827deb80ab18a16198f3fd62c18624b

More further reading.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 7fc5df61112916c5bbed8d7393c67241f35daf0a

Swap in guest lecture from James Bornholt.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 2ba6a6c438039cc77553a6c8fcdafb4cdc219f2c

Additions to Further Reading list.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 44042c06edb9f8061700156b599d33551f508faa

Fixed an inconsistency.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha dfa39386bb7708a4e7d75b835cfbdec349085b4f

Small tweak.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 59bf59f95452bc2d828c431d051870b82b8f6056

Home page tweak.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha c66e9d2fdf7ce2d1e4239ecca74515057f51527d

Try a different skin.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha c4fb10d61bdcb6c566e423b5e7996275f52df752

Minor fix.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 7df3a15b3879310c3dc98e908dfd51d283ef493e

Lots of tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 868762543e5dfc1bae504c1f01dfb921f6463284

More specific topics.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 78b1f3c97cdea89c5f6bbf6d022959c952499d9a

Less wordy.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 4dca97097781fc6d94df0612db9a19441b199f63

Minor fix.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha aac1c9ebea502dd473f06e7083dee571a8040bec

Various tweaks.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha d158afeb12328ca5c49044e9761405c0c318f7cf

Couple more minor fixes.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha f32c2dcd3739cc0d4868af40fb9564bf5b1e3ced

Typo fix.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 77e220bae2d15c43fee32bf675944184db714eb0

More syllabus tweaking.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha f8d475ab1e3f76449131e05dc67437f19403807a

More additions and corrections to syllabus.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 2d6fa8c6bf6255733dba3bffa843976e71efcfc6

Minor fixes; add some links.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha 21c7a15506f7462edd0e0b3c8e872f85dac6b2f7

More syllabus WIP.

view details

push time in 5 months

push eventlkuper/CSE290Q-2019-09

Lindsey Kuper

commit sha b8fdd667474f11c61c531b4f0228ee0ad7ee25bf

WIP on syllabus.

view details

push time in 6 months

more