DoCSoc Academic Reading Groups

A series of academic reading groups, each session will focus on a particular area and have multiple academics talk about and present their papers.

No upcoming reading groups

Past Sessions

Huxley 217

18 November, 17:00

Deep Neural Networks As Gaussian Processes
Jaehoon Lee, Yasaman Bahri, Roman Novak, Samuel S. Schoenholz, Jeffrey Pennington, Jascha Sohl-Dickstein
Published: 2017

Huxley 145

14 November, 13:00

Firedrake: automating the finite element method by composing abstractions
Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. McRae, Gheorghe-Teodor Bercea, Graham R. Markall, Paul H. J. Kelly
Published: 2016
A DSL Approach to Reconcile Equivalent Divergent Program Executions
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
Published: 2017

Huxley 218

06 November, 12:00

Lazy Diagnosis of In-Production Concurrency Bugs
Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu
Published: 2017

Huxley 145

31 October, 13:00

Tree Topologies for Causal Message Delivery
Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou
Published: 2017
Automated Testing of Graphics Shader Compilers
Alastair Donaldson
Published: 2017
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
Published: 2017
Lightweight Session Programming in Scala
Alceste Scalas, Nobuko Yoshida
Published: 2016

Huxley 217

25 October, 17:00

Virtual vs. Real: Trading Off Simulations and Physical Experiments in Reinforcement Learning with Bayesian Optimization
Alonso Marco, Felix Berkenkamp, Philipp Hennig, Angela P. Schoellig, Andreas Krause, Stefan Schaal, Sebastian Trimpe
Published: 2017

Huxley 218

23 October, 12:00

NEZHA: Efficient Domain-Independent Differential Testing
Theofilos Petsios, Adrian Tang, Salvatore Stolfo, Angelos D. Keromytis and Suman Jana
Published: 2017