infoscience.epfl.ch: 9 stories from 3 submitters

  1. 1
    FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction (2012) ☶ pdf formalmethods java performance security infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 2
    Ideal Hash Trees (2001) pdf compsci infoscience.epfl.ch
    PicNoir avatar via PicNoir 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017) ☶ compilers plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 3
    Unifying Analytic and Statically-Typed Quasiquotes ☶ pdf plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 2
    Squid: Type-Safe, Hygienic, and Reusable Quasiquotes (2017) ☶ pdf plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 3
    Isolated Actors for Race-free, Concurrent Programming (2010) ☶ pdf distributed plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 4
    Unification of Compile-Time and Runtime Metaprogramming in Scala (2017) pdf compilers scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 4
    Extending Safe C Support in Leon (2017) pdf c compsci formalmethods scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 2
    Compiling Scala For Performance (2010) pdf compilers scala infoscience.epfl.ch
    numberten avatar via numberten 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments