Search
Results
-
Comparing two approaches for evaluating a floorplan’s ability to change: SAGA and AOM
(2020)Sustainability in Energy and Buildings: Research AdvancesConference Paper -
Five years of the #RSCPoster Twitter conference
(2020)Chemical CommunicationsThe #RSCPoster Twitter conference is an annual, 24 hour poster conference held each March on Twitter. This original conference format has enabled hundreds of participants to share their research, with 32 million measurable impressions of #RSCPoster in 2020, participation growing each year and inspiring new conferences. Here, we will give a brief outline of the history, technicalities and content of the event. © 2020 The Royal Society of ...Conference Paper -
Anomaly Detection and Classification in Time Series with Kervolutional Neural Network
(2020)Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Managaement ConferenceConference Paper -
Finite-Time In-Network Computation of Linear Transforms
(2020)2020 54th Asilomar Conference on Signals, Systems, and ComputersThis paper focuses on finite-time in-network computation of linear transforms of distributed graph data. Finite-time transform computation problems are of interest in graph-based computing and signal processing applications in which the objective is to compute, by means of distributed iterative methods, various (linear) transforms of the data distributed at the agents or nodes of the graph. While finite-time computation of consensus-type ...Conference Paper -
Testing Database Engines via Pivoted Query Synthesis
(2020)Proceedings of the14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20)Database Management Systems (DBMSs) are used widely, and have been extensively tested by fuzzers, which are successful in finding crash bugs. However, approaches to finding logic bugs, such as when a DBMS computes an incorrect result set, have remained mostly untackled. To this end, we devised a novel and general approach that we have termed Pivoted Query Synthesis. The core idea of this approach is to automatically generate queries for ...Conference Paper -
Do OS abstractions make sense on FPGAs?
(2020)Proceedings of the14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20)Hybrid computing systems, consisting of a CPU server coupled with a Field-Programmable Gate Array (FPGA) for application acceleration, are today a common facility in datacenters and clouds. FPGAs can deliver tremendous improvements in performance and energy efficiency for a range or workloads, but development and deployment of FPGA-based applications remains cumbersome, leading to recent work which replicates subsets of the traditional ...Conference Paper -
xBGP: When you can’t wait for the IETF and vendors
(2020)Proceedings of the 19th ACM Workshop on Hot Topics in NetworksThanks to the standardization of routing protocols such as BGP, OSPF or IS-IS, Internet Service Providers (ISP) and enterprise networks can deploy routers from various vendors. This prevents them from vendor-lockin problems. Unfortunately, this also slows innovation since any new feature must be standardized and implemented by all vendors before being deployed. We propose a paradigm shift that enables network operators to program the ...Conference Paper -
Efficient and safe substrates for black soldier fly biowaste treatment along circular economy principles
(2020)SUM 2020: 5th Symposium on Urban Mining and Circular Economy. ProceedingsConference Paper -
Storage Systems are Distributed Systems (So Verify Them That Way!)
(2020)Proceedings of the14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20)To verify distributed systems, prior work introduced a methodology for verifying both the code running on individual machines and the correctness of the overall system when those machines interact via an asynchronous distributed environment. The methodology requires neither domain-specific logic nor tooling. However, distributed systems are only one instance of the more general phenomenon of systems code that interacts with an asynchronous ...Conference Paper -
Time delays from one-photon transitions in the continuum
(2020)The 22nd International Conference on Ultrafast Phenomena 2020We retrieve time delays from one-photon transitions in the electronic contin-uum. This enables a quantification of the angular momentum contribution to the photoion-ization time delay.Conference Paper