Frenetic: A Network Programming Language by FOSTER, Nate, HARRISON, Rob, FREEDMAN, Michael J, MONSANTO, Christopher, REXFORD, Jennifer, STORY, Alec, WALKER, David

Get full text

Accelerating CUDA Graph Algorithms at Maximum Warp by HONG, Sungpack, SANG KYUN KIM, OGUNTEBI, Tayo, OLUKOTUN, Kunle

Get full text

Automating String Processing in Spreadsheets Using Input-Output Examples by GULWANI, Sumit

Get full text

The Spoofax Language Workbench: Rules for Declarative Specification of Languages and IDEs by KATS, Lennart C. L, VISSER, Eelco

Get full text

Evaluation of Delta Compression Techniques for Efficient Live Migration of Large Virtual Machines by SVARD, Petter, HUDZIA, Benoit, TORDSSON, Johan, ELMROTH, Erik

Get full text

Model-driven Autotuning of Sparse Matrix-Vector Multiply on GPUs by CHOI, Jee W, SINGH, Amik, VUDUC, Richard W

Get full text

VeriPhy: Verified controller executables from verified cyber-physical system models by Bohrer, Brandon, Tan, Yong Kiam, Mitsch, Stefan, Myreen, Magnus, Platzer, André

Get full text

Combinatorial sketching for finite programs by SOLAR-LEZAMA, Armando, TANCAU, Liviu, BODIK, Rastislav, SARASWAT, Vijay, SESHIA, Sanjit

Get full text

The minimal model of operating systems by ZHU, Ming-Yuan, LEI LUO, XIONG, Guang-Ze

Get full text

Pick Your Contexts Well: Understanding Object-Sensitivity: The Making of a Precise and Scalable Pointer Analysis by SMARAGDAKIS, Yannis, BRAVENBOER, Martin, LHOTAK, Ondřej

Get full text

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs by ROMPF, Tiark, ODERSKY, Martin

Get full text

CETS: Compiler-Enforced Temporal Safety for C by NAGARAKATTE, Santosh, JIANZHOU ZHAO, MARTIN, Milo M. K, ZDANCEWIC, Steve

Get full text

CloudNet: Dynamic Pooling of Cloud Resources by Live WAN Migration of Virtual Machines by WOOD, Timothy, SHENOY, Prashant, RAMAKRISHNAN, K. K, DER MERWE, Jacobus Van

Get full text

LaCasa: lightweight affinity and object capabilities in Scala by Haller, Philipp, Loiko, A.

Get full text

A Practical Automatic Polyhedral Parallelizer and Locality Optimizer by BONDHUGULA, Uday, HARTONO, Albert, RAMANUJAM, J, SADAYAPPAN, P

Get full text

Valgrind : A framework for heavyweight dynamic binary instrumentation by NETHERCOTE, Nicholas, SEWARD, Julian

Get full text

Producing Wrong Data Without Doing Anything Obviously Wrong by AMER DIWAN, Todd Mytkowicz, HAUSWIRTH, Matthias, SWEENEY, Peter F

Get full text

HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell by Buiras, Pablo, Vytiniotis, Dimitrios, Russo, Alejandro

Get full text

Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation by BAEK, Woongki, CHILIMBI, Trishul M

Get full text

PowerNap: Eliminating Server Idle Power by MEISNER, David, GOLD, Brian T, WENISCH, Thomas F

Get full text