Damian Gryski
72a2e8bced
Updated ResearchPapers (markdown)
2018-04-04 16:45:40 -07:00
Akwick
ebc980de7c
Updated ResearchPapers (markdown)
2018-03-13 09:53:57 +01:00
ImreSamu
3f2b2102db
add: "Inferring and Asserting Distributed System Invariants"
2018-02-22 22:06:00 +01:00
ImreSamu
da79dc82ef
add: T. Aoshima, K. Kobayashi, and M. Minami. "Revisiting the Vector Space Model: Sparse Weighted Nearest-Neighbor Method for Extreme Multi-Label Classification." arXiv:1802.03938
2018-02-17 13:10:44 +01:00
Damian Gryski
57f4fad036
Add "Reconstructing Program Semantics from Go Binaries
2018-02-16 10:50:01 -08:00
Damian Gryski
68ef2beb37
Updated ResearchPapers (markdown)
2018-02-11 11:13:09 -08:00
Nicholas Ng
1015c83722
add: A Static Verification Framework for Message Passing in Go using Behavioural Types
2018-01-02 16:59:11 +00:00
Sebastien Binet
e4da6f879e
2017: add link to Go-based DAQ/Monitoring system for hadrontherapy
2017-12-14 16:20:03 +01:00
Akwick
45c4b6fd0b
Updated ResearchPapers (markdown)
2017-09-09 11:24:26 +02:00
ImreSamu
907fdecf77
Add: Let's Go: a Data-Driven Multi-Threading Support (2017)
2017-06-13 15:23:08 +02:00
ImreSamu
ad90d6965d
add: Atom: Horizontally Scaling Strong Anonymity ( 2016)
2017-06-11 19:54:05 +02:00
sajarwo
5fb9a513c8
Updated ResearchPapers (markdown)
2017-06-09 19:47:55 +03:00
Brendan Tracey
57e4c76626
Updated ResearchPapers (markdown)
2017-06-09 10:11:55 -06:00
ImreSamu
b1b4f103e6
add: Towards Omnia: a Monitoring Factory for Quality-Aware DevOps (Marco Miglierina, Damian A. Tamburri) 2017
2017-06-05 19:40:06 +02:00
ImreSamu
ccd8548d7b
add: Copy-on-Reference File Mechanism Extends Scope of Dynamic Reconfiguration (Jeremy Krach) 2017
2017-06-05 19:26:00 +02:00
ImreSamu
0d9fc69358
add: An event model for phylogenetic biogeography using explicitly geographical ranges Authors (J. Salvador Arias) 2017
2017-06-05 19:15:50 +02:00
Damian Gryski
2b142d0d3e
Updated ResearchPapers (markdown)
2017-06-05 16:11:04 +02:00
Damian Gryski
d483e35e87
Updated ResearchPapers (markdown)
2017-06-05 13:15:00 +02:00
Damian Gryski
7a49799ae5
Updated ResearchPapers (markdown)
2017-06-05 13:12:52 +02:00
ImreSamu
ee64ef440e
add: Feasibility of reusable continuous thrust spacecraft for cargo resupply missions to Mars (C. B. Rabotin) 2017
2017-05-13 12:06:56 +02:00
Bryan C. Mills
976a4dd1bf
Updated ResearchPapers (markdown)
2017-04-13 11:46:34 -04:00
ImreSamu
4b239c86f1
add: The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage , 2016
2017-04-11 14:46:10 +02:00
ImreSamu
77fb9dbd88
add: Performance testing of open-source HTTP web frameworks in an API (Michael A.P. Domingues) DSIE’17
2017-03-30 00:19:06 +02:00
ImreSamu
db528d4e0b
fix format ( markdown parser change)
2017-03-29 13:31:21 +02:00
ImreSamu
52ae7f5ce7
add: Method of auto-configuration for corporate proxies ( 2017 )
2017-03-07 10:18:15 +01:00
ImreSamu
6e2e9682f2
add: NucAmino: a nucleotide to amino acid alignment optimized for virus gene sequences ( 2017 )
2017-03-04 21:10:03 +01:00
ImreSamu
abd18bbfbf
add: Flower : Workflow management and heat-aware scheduling for modern cloud infrastructures
2017-02-21 12:24:48 +01:00
ImreSamu
f71d4b16d5
add: Idiomatic and Reproducible Software Builds using Containers for Reliable Computing ( 2017 )
2017-02-19 15:23:37 +01:00
ImreSamu
107fbf200e
add: Implementing a web-based bookingsystem using Go (2016)
2017-02-19 15:17:38 +01:00
Egon Elbre
fffc21f249
Updated ResearchPapers (markdown)
2017-02-17 23:08:46 +02:00
ImreSamu
ee7d348461
add: Structured I/O streams in Clive: a toolbox approach for wide area network computing
2017-02-07 20:33:34 +01:00
Damian Gryski
ceec251fdd
Updated ResearchPapers (markdown)
2017-01-25 05:47:36 +01:00
ImreSamu
8ad66b073f
add: Parallelization of the corpus manager’s time-consuming operations (2016)
2017-01-24 13:19:44 +01:00
ImreSamu
c544f9986a
add: Towards Practical Default-On Multi-Core Record/Replay
2017-01-19 13:30:44 +01:00
ImreSamu
f66f2a19db
add: Comparing MapReduce and Pipeline Implementations for Counting Triangles
2017-01-19 13:19:39 +01:00
Nicholas Ng
2c665991e9
Add POPL 2017 paper
2017-01-06 14:39:08 +00:00
ImreSamu
73bf1db03a
add: Cyber Security Exercise Modeling & Tracking (Joonas Greis) Bachelor’s thesis
2016-12-22 20:43:52 +01:00
ImreSamu
79c9fe2c9d
add: Scalable Byzantine Consensus via Hardware-assisted Secret Sharing
2016-12-20 17:55:57 +01:00
A
b0b466b953
Remove pdf url as not accesible any longer
2016-12-13 18:18:50 +01:00
ImreSamu
53c8159397
add: Fast and Reliable Byzantine Fault Tolerance (Eric Scott Freeman) Master's thesis in Computer science
2016-12-10 16:27:48 +01:00
ImreSamu
40b42fa681
add: Formal verification of concurrency in go
2016-11-26 19:28:01 +01:00
Damian Gryski
359e899f6c
Updated ResearchPapers (markdown)
2016-11-21 18:20:49 +01:00
ImreSamu
b12725098f
add : Therapeutic target discovery using Boolean network attractors: updates from kali
2016-11-16 22:40:03 +01:00
Nicholas Ng
7d15ba891f
Updated ResearchPapers (markdown)
2016-11-14 13:09:29 +00:00
Nicholas Ng
ec5053839d
Update wording and details on Fencing off Go paper
2016-11-07 00:11:20 +00:00
ImreSamu
fa4bab02ff
add: arXiv link to the "Fencing off Go"
2016-11-01 12:04:03 +01:00
ImreSamu
52c2e198f8
better link for : Fencing off Go
2016-10-26 03:38:53 +02:00
ImreSamu
4dc780908a
add: tool:dingo-hunter : Static analyser for finding Deadlocks in Go
2016-10-26 03:32:16 +02:00
ImreSamu
006cec566d
add: Fencing off Go
2016-10-25 13:40:32 +02:00
ImreSamu
2e53a25931
adding - Information Flow Analysis for Go
2016-10-11 12:05:48 +02:00
ImreSamu
4700393147
add project page (http://www.macs.hw.ac.uk/~ek19/CoALP/ ) for "A Productivity Checker for Logic Programming"
2016-08-20 17:20:30 +02:00
Damian Gryski
94ec8e2669
Updated ResearchPapers (markdown)
2016-08-19 21:35:44 +02:00
Charles
0317f20696
Added "Big Learning with Bayesian Methods" papers. (Read it recetly. Noticed it mentioned Go.)
2016-08-19 12:04:49 -07:00
Christian Bergum Bergersen
e047a7b3e1
Updated link, was dead!
2016-08-03 16:17:36 +02:00
ImreSamu
806bbe1e55
add : A novel algorithm for detecting multiple covariance and clustering of biological sequences
2016-07-30 02:06:00 +02:00
ImreSamu
cd18c606a7
add: Architecture of the Hyperledger Blockchain Fabric
2016-07-26 16:34:05 +02:00
ImreSamu
e49ce9c2a8
add: Reimagining the Programming Experience
2016-07-23 13:56:46 +02:00
ImreSamu
ec48308f32
add: MapReduce vs. Pipelining Counting Triangles
2016-07-23 13:46:55 +02:00
ImreSamu
3d5bda8f7a
add: Tinzenite: Encrypted Peer to Peer File Synchronization via the Tox Protocol ( 2015 )
2016-07-19 10:22:20 +02:00
ImreSamu
7acb1763e7
add: Software Engineering with PSF and Go (Erik van der Schaaf, June 8, 2016 ) thesis, University of Amsterdam
2016-07-15 00:32:01 +02:00
ImreSamu
c0aa3cf86e
Parametric Polymorphism in the Go Programming Language (Matthew Allen) 2016
2016-07-09 16:16:35 +02:00
Damian Gryski
727d59b3ad
Updated ResearchPapers (markdown)
2016-07-03 11:18:59 +02:00
ImreSamu
55b76a3d51
add: Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
2016-07-02 12:53:03 +02:00
Damian Gryski
e6a59686c6
Updated ResearchPapers (markdown)
2016-06-29 16:43:04 +02:00
ImreSamu
eb69accc82
add: Continuous Query-Based Syndication: Distributed, Expressive Messaging for the IoT
2016-06-25 17:36:17 +02:00
Damian Gryski
f31c7dae65
Updated ResearchPapers (markdown)
2016-06-22 14:41:01 +02:00
ImreSamu
160aeafaad
add: Evaluation of performance and productivity metrics of potential programming languages in the HPC environment ( Bachelor Thesis ; Florian Wilkens ) - ( Go, Rust, C, OpenStreetMap )
2016-06-21 13:26:42 +02:00
Nicholas Ng
5b5bffde52
Updated ResearchPapers (markdown)
2016-06-17 18:27:41 +01:00
Philipp Winter
7695ecda5f
Add 2016 techreport on Sybils in Tor.
2016-06-10 22:36:36 +00:00
Damian Gryski
a9039ed5b5
Updated ResearchPapers (markdown)
2016-06-07 13:38:15 +02:00
Damian Gryski
9fb55c96a0
fix year for GoHotDraw paper
2016-06-06 15:48:16 +02:00
Matt Horsnell
f6197c6e86
Simple edit - sort research papers in reverse chronological order (at year granularity).
2016-06-06 11:42:17 +01:00
ImreSamu
ae615c9d39
add: A Comparative Study of Programming Models for Concurrency
2016-06-05 14:24:23 +02:00
ImreSamu
5b70fd0319
add code to "A Study of Successive Over-relaxation Method Parallelization Over Modern HPC Languages"
2016-06-05 14:12:12 +02:00
ImreSamu
a00d9598c4
add: Serving Web Content with Dynamic Process Networks in Go (James Whitehead II) - DOI: 10.3233/978-1-60750-774-1-209
2016-06-05 13:55:24 +02:00
ImreSamu
a14ca89fbf
add: Examining the Expert Gap in Parallel Programming
2016-06-05 13:26:48 +02:00
ImreSamu
9fa5797454
add: Benchmarking Usability and Performance of Multicore Languages
2016-06-05 13:17:46 +02:00
ImreSamu
b7e41e2870
add: SCTP in Go
2016-06-05 13:05:21 +02:00
ImreSamu
790a1e98e5
add: Type inference for Go
2016-06-05 12:56:12 +02:00
ImreSamu
acdeec55d1
add: Message Passing for Programming Languages and Operating Systems - Master’s Thesis
2016-06-05 12:49:47 +02:00
ImreSamu
0f0d24d17f
add: Analysis of the Go runtime scheduler
2016-06-05 12:28:39 +02:00
Damian Gryski
77b0f1e821
more papers; more detail on arxiv links
2016-06-05 11:25:53 +02:00
ImreSamu
986d639720
add : An Implementation and Analysis of a Kernel Network Stack in Go with the CSP Style
2016-06-04 16:59:22 +02:00
ImreSamu
f78c778d34
add: Implementing an intelligent version of the classical sliding-puzzle game for unix terminals using Golang's concurrency primitives
2016-06-04 16:53:26 +02:00
ImreSamu
0ded523668
add : "Fog Computing with Go: A Comparative Study" (2016). CMC Senior Theses. Paper 1348.
2016-06-04 16:45:26 +02:00
Sebastien Binet
4b59188ca5
add biogo
2016-06-04 16:38:22 +02:00
ImreSamu
0c6fc79712
add "A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions "
2016-06-04 16:36:48 +02:00
Brendan Tracey
d99ac34d01
Updated ResearchPapers (markdown)
2016-06-04 07:49:45 -06:00
Brendan Tracey
2da3ab7028
Updated ResearchPapers (markdown)
2016-06-04 07:49:12 -06:00
Sebastien Binet
46274f16ea
add sbinet & go-hep papers
2016-06-04 11:36:23 +02:00
Damian Gryski
1a3a34654b
Updated ResearchPapers (markdown)
2016-06-03 21:19:43 +02:00
Damian Gryski
069f87f470
Created ResearchPapers (markdown)
2016-06-03 21:11:04 +02:00
