Computer Systems and Networks @ Brown

Computer Systems and Networking Research @BrownCSDept

[Brown CS @BrownCSDept]

Beginning next fall, @BrownCSDept will make available a number of merit-based, full-tuition scholarships to support our diversity and inclusion goals. All admitted applicants will be automatically considered, with no additional application needed: https://t.co/Oay8wlwPcp

[Computer Systems and Networks @ Brown @SystemsAtBrown]

Join us! 🥳

[Brown CS @BrownCSDept]

@BrownCSDept is hiring multiple tenure-track faculty members at the level of Assistant Professor and one at the rank of Lecturer, Senior Lecturer, or Distinguished Senior Lecturer. To learn more and to apply, please see https://t.co/rN4KyWwPLD.

[Brown CS @BrownCSDept]

@BrownCSDept is hiring multiple tenure-track faculty members at the level of Assistant Professor and one at the rank of Lecturer, Senior Lecturer, or Distinguished Senior Lecturer. To learn more and to apply, please see https://t.co/rN4KyWwPLD.

[Computer Systems and Networks @ Brown @SystemsAtBrown]

@DotTheophilus @get_gianni_up The video for this talk is now available! https://t.co/aDfy6gW0t2

[Computer Systems and Networks @ Brown @SystemsAtBrown]

We're excited to have @EthanCecchetti present Serif, his best-paper-winning @IEEESSP paper (w/ @AndrewCMyers) about protecting invariants in reentrant programs (like smart contracts) even in the presence of malicious code.

This Friday at noon, CIT 368 and on Zoom!

[Malte Schwarzkopf @ms705]

Today, we release Tuplex (https://t.co/fJgqR2KKCp), a new system that turns Python data science pipelines into efficient, optimized machine code.

Think PySpark or Dask, but with end-to-end LLVM code generation for custom Python code. Tuplex often yields speedups of 10-20x. 🧵⏎

[Malte Schwarzkopf @ms705]

At HotOS today, Lily Tsai (@tslilyai) presents our work on making better privacy in web applications a reality through structured database transformations we call "disguises".

Check out her talk (https://t.co/5RC09FTwSp) and tune in for discussion at 4:40pm Eastern!

[Brown CS @BrownCSDept]

Professor @ms705 of @BrownCSDept has just won a @Google Research Scholarship for work on privacy-compliant web services by construction. Learn more about his research at https://t.co/FPkc6MGUcj.

[Computer Systems and Networks @ Brown @SystemsAtBrown]

Today's systems seminar was by @refezs of @YaleCompsci on FPGA security in cloud datacenters: https://t.co/VAoAi8jflh

Did you know that you can "fingerprint" an individual FPGA on the cloud, and that an FPGA's temperature is a covert channel that can leak information?

[Computer Systems and Networks @ Brown @SystemsAtBrown]

This work is a collaboration between Zain, @ms705 of @SystemsAtBrown, @MarcosKAguilera of @vmwareresearch, and Adam Belay of MIT.

[Computer Systems and Networks @ Brown @SystemsAtBrown]

Check out Friday's systems seminar talk by @RuanZain , on AIFM, a new approach to extending scarce server memory with remote ("far") memory: https://t.co/1dfUI26fxY

AIFM's userspace runtime avoids kernel overheads+captures application semantics, achieving near-local memory perf.

[Computer Systems and Networks @ Brown @SystemsAtBrown]

Today's systems seminar talk was by @arpanbg and @mpi_jcmace, on Clockwork, their new system for predictable DNN inference over shared GPUs: https://t.co/zSXSHcyDAA

Key take: meeting inference SLOs is easy if the serving infrastructure around the actual model is predictable

[Computer Systems and Networks @ Brown @SystemsAtBrown]

We have more exciting speakers coming up this semester, including @irinacalciu, @ICGog, @arpanbg , @lukenels_, and others. We'll publish videos on YouTube for most talks!

[Computer Systems and Networks @ Brown @SystemsAtBrown]

We were delighted to host @vj_chidambaram at the Brown Systems Seminar today: https://t.co/J53pOsy2p5

Vijay spoke about work on file systems and data structures for persistent memory, storage for ML, and other topics!

[Malte Schwarzkopf @ms705]

New paper on shared indexes ("arrangements") for stream processing! Joint work with @frankmcsherry of @MaterializeInc, and @utaal + Mothy Roscoe of @SystemsGroupETH.

tl;dr: shared arrangements reduce new-query latency by 100x (no rebuilding of indexes) & memory footprint by 3x.

[Computer Systems and Networks @ Brown @SystemsAtBrown]

From the award citation: "the public release of production data [...] on a timely topic [...] marks an important milestone for the community" 🏆

[Computer Systems and Networks @ Brown @SystemsAtBrown]

Congratulations to @rodrigo_fonseca and co-authors, who won the Community Award at @usenix ATC 2020 today for their paper "Serverless in the Wild"!

[Rodrigo Fonseca @rodrigo_fonseca]

Our upcoming @usenix ATC paper, Serveless in the Wild, has the 1st characterization of a #serverless provider workload, real traces, and a policy that reduces cold starts, saves resources, and is being deployed in production! https://t.co/C8MvNYdicQ https://t.co/HB3nVn18KF #azure

[Rodrigo Fonseca @rodrigo_fonseca]

Our upcoming @usenix ATC paper, Serveless in the Wild, has the 1st characterization of a #serverless provider workload, real traces, and a policy that reduces cold starts, saves resources, and is being deployed in production! https://t.co/C8MvNYdicQ https://t.co/HB3nVn18KF #azure

[Computer Systems and Networks @ Brown @SystemsAtBrown]

4) Zero downtime release (@usama6naseer & @DotTheophilus again, w/ @fb_research: @lvc4, @udippant, @ranj33th, Alan Frindell) discusses crucial components in Facebook infrastructure that sustain a high release frequency, without disrupting user connections and experience [SIGCOMM]

[Computer Systems and Networks @ Brown @SystemsAtBrown]

Awesome week for Systems and Networks at Brown -- three (!) papers accepted at @ACMSIGCOMM and one at @VLDB2020! 🎉

The papers cover efficient stream processing, ML for CDN configs, formal verification of a WAN, and zero-downtime release deployment (details in thread below) ⬇️

[Computer Systems and Networks @ Brown @SystemsAtBrown]

3) Network verification (Da Yu, w/ @rodrigo_fonseca, @ennanzhai, @lampson0505): practical & algorithmic innovations for formal verification of @AlibabaGroup's WAN configuration, which prevented many misconfigurations & reduced the failure rate of updates by >50% in 2019 [SIGCOMM]