Details
Title
LAMP
Formal Name (French)
Laboratoire de méthodes de programmation
Formal Name (English)
Programming Methods Laboratory
Group ID
U10409
Affiliated authors
Amin, Nada
Archambault, Alexandre Claude-Marie
Biboudis, Aggelos
Blanvillain, Olivier
Boruch-Gruszecki, Aleksander Slawomir
Bovel, Matthieu
Brachthäuser, Jonathan Immanuel
Briais, Sébastien
Burmako, Eugene
Cremet, Vincent
Doeraene, Sébastien
Dragos, Iulian
Emir, Burak
Fontana, Natascha
Giarrusso, Paolo Giosuè
Haller, Philipp
Herlihy, Anna
Jonnalagedda, Manohar
Jovanovic, Vojin
Kmetiuk, Anatolii
Liu, Fengyun
Maier, Ingo
Martres, Guillaume
Mc Dirmid, Sean
Miller, Heather
Mkrtchyan, Oleg
Odersky, Martin
Petrashko, Dmytro
Pham, Nguyên Cao
Plociniczak, Hubert
Prokopec, Aleksandar
Racordon, Dimitri
Renucci, Allan Vincent Roger
Richard-Foy, Julien
Roeckl, Christine
Rompf, Tiark
Rytz, Lukas
Salvi, Fabien
Salvisberg, Véra
Schiper, André
Schlatter, Tobias
Shabalin, Denys
Stucki, Nicolas Alexander
Stucki, Sandro
Ureche, Vlad
Vogt, Jan Christopher
Xu, Yichen
Zenger, Matthias
Archambault, Alexandre Claude-Marie
Biboudis, Aggelos
Blanvillain, Olivier
Boruch-Gruszecki, Aleksander Slawomir
Bovel, Matthieu
Brachthäuser, Jonathan Immanuel
Briais, Sébastien
Burmako, Eugene
Cremet, Vincent
Doeraene, Sébastien
Dragos, Iulian
Emir, Burak
Fontana, Natascha
Giarrusso, Paolo Giosuè
Haller, Philipp
Herlihy, Anna
Jonnalagedda, Manohar
Jovanovic, Vojin
Kmetiuk, Anatolii
Liu, Fengyun
Maier, Ingo
Martres, Guillaume
Mc Dirmid, Sean
Miller, Heather
Mkrtchyan, Oleg
Odersky, Martin
Petrashko, Dmytro
Pham, Nguyên Cao
Plociniczak, Hubert
Prokopec, Aleksandar
Racordon, Dimitri
Renucci, Allan Vincent Roger
Richard-Foy, Julien
Roeckl, Christine
Rompf, Tiark
Rytz, Lukas
Salvi, Fabien
Salvisberg, Véra
Schiper, André
Schlatter, Tobias
Shabalin, Denys
Stucki, Nicolas Alexander
Stucki, Sandro
Ureche, Vlad
Vogt, Jan Christopher
Xu, Yichen
Zenger, Matthias
Institute
IINFCOM
Faculty
IC
Note
Members of LAMP (LAMP1)
Linked resource
http://lampwww.epfl.ch/
Publications
A cryptographically t-private auction system
Capturing Types
Implementing Method Type Specialisation In Dotty
Isolates, channels, and event streams for composable distributed programming
Monotonicity Types for Distributed Dataflow
Obey: Code Health for Scala.Meta
On Lock-Free Work-stealing Iterators for Parallel Data Structures
Safer exceptions for Scala
Semantics-preserving inlining for metaprogramming
Type-preserving compilation of (most of) FGJ into DOT
See complete list of publications (290)
Capturing Types
Implementing Method Type Specialisation In Dotty
Isolates, channels, and event streams for composable distributed programming
Monotonicity Types for Distributed Dataflow
Obey: Code Health for Scala.Meta
On Lock-Free Work-stealing Iterators for Parallel Data Structures
Safer exceptions for Scala
Semantics-preserving inlining for metaprogramming
Type-preserving compilation of (most of) FGJ into DOT
See complete list of publications (290)
Record appears in
Authorities > Lab