Daniel Doubrovkine on "Auctions and Bidding" & PWLMini w/ Sophia Gold
Details
We're thrilled to be hosting Daniel Doubrovkine (http://code.dblock.org/), CTO of Artsy (https://www.artsy.net), who'll be presenting on Simon Parson's Auctions and bidding: A guide for computer scientists (http://www.sci.brooklyn.cuny.edu/~parsons/projects/mech-design/publications/bluffers-final.pdf).
In addition to Daniel's talk, Sophia Gold will be opening the event with a survey-oriented lightning talk on An Intellectual History of Automatic Differentiation.
Talks
• Daniel Doubrovkine on Auctions and bidding: A guide for computer scientists (http://www.sci.brooklyn.cuny.edu/~parsons/projects/mech-design/publications/bluffers-final.pdf):
There is a veritable menagerie of auctions — single dimensional, multi-dimensional, single sided, double sided, first price, second price, English, Dutch, Japanese, sealed bid — and these have been extensively discussed and analyzed in the economics literature. We will survey this literature from a computer science perspective, primarily from the viewpoint of computer scientists who are interested in learning about auction theory, and to provide pointers into the economics literature for those who want a deeper technical understanding. We'll also take a peek into how the paper was used to build a new online auction platform Artsy.
• Sophia Gold's lightning talk:
An Intellectual History of Automatic Differentiation traces the research surrounding a collection of techniques for computing derivatives without using either approximation or the manipulation of subscript-filled equations used to terrorize high school students. While its simplicity gives this method the mystery of "deep magic," it has its roots in work on differential equations in the late 19th century; inspired Alonzo Church's discovery of the untyped lambda calculus; influenced the development of functional programming, concurrency, and Unix in the 1970s; and has been recently rediscovered with applications to type theory, modelling stochastic processes, and training recurrent neural networks.
References
- Computer Aided Manipulation of Symbols (https://books.google.com/books/about/Computer_Aided_Manipulation_of_Symbols.html?id=KWYROAAACAAJ), Fred McBride 1971
- Coroutines and Networks of Parallel Processes (https://hal.inria.fr/inria-00306565/PDF/rr_iria202.pdf), Gilles Kahn & David MacQueen, 1977
- Squinting at Power Series (https://swtch.com/~rsc/thread/squint.pdf), Doug McIlroy, 1989
- Generating Power of Lazy Semantics (http://www.sciencedirect.com/science/article/pii/S0304397597000650), Jerzy Karczmarczuk,1997
- Power Series, Power Serious (https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0ahUKEwjfir7huMfTAhWF2yYKHXcyC5EQFggpMAA&url=http%3A%2F%2Fwww.cs.dartmouth.edu%2F~doug%2Fpearl.ps.gz&usg=AFQjCNEZeoiSvgAZ104ezBkhF8bsJI4Qcw&sig2=DBK7u2GFo8ke05mCDDHpZQ), Doug McIlroy, 1998
- Calculus in Coinductive Form (http://www2.tcs.ifi.lmu.de/~miranda/public/cocalculus.pdf), Pavlovic & Escardo 1998
- Functional Differentiation of Computer Programs (https://pdfs.semanticscholar.org/4edf/d071cf5012aaa69449c9fe76646955a8d185.pdf), Jerzy Karczmarczuk, 2000
- Adjoint Codes in Functional Framework (http://folk.ntnu.no/haugwarb/Programming/Haskell/haskell_automatic_differentiation_II.pdf), Jerzy Karczmarczuk, 2000
- Perturbation Confusion and Referential Transparency: Correct Functional Implementation of Forward-Mode AD (https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0ahUKEwjHq_WDu8fTAhXM1CYKHTvAAXUQFggnMAA&url=http%3A%2F%2Fbcl.hamilton.ie%2F~barak%2Fpapers%2Fifl2005.ps.gz&usg=AFQjCNFF1QCTVcQKQT6omrrFIgxzubIM8Q&sig2=JUzkOpesJgfXdta724k1Lg), Pearlmutter & Siskind, 2005
- Reverse-Mode AD in a Functional Framework: Lambda the Ultimate Backpropagator (http://www.bcl.hamilton.ie/~barak/papers/toplas-reverse.pdf), Pearlmutter & Siskind, 2008
- The Differential Lambda-Calculus (https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwi0wfulu8fTAhVKNSYKHdY-Dl4QFggnMAA&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.471.7213%26rep%3Drep1%26type%3Dpdf&usg=AFQjCNHNQoIGY9yJxuPSCXdjhDOHo3AO8A&sig2=4I5iSYUSgvmkW6UJPomECA), Ehrhard & Regnier, 2001
- Efficient Implementation of a Higher-Order Language with Built-In AD, Pearlmutter & Siskind (https://arxiv.org/abs/1611.03416), 2016
