Reproducibility in Computer Science

Notice

We originally put up this website so that the reviewers of our submitted paper could have access to our raw data, code, and technical report, in case they wished to review it. It was never publicly announced. Nevertheless, the site became public knowledge, and over the last week we have received many emails pointing out many apparent errors in the data. Some of these errors are, no doubt, a consequence of the definition of reproducibility we used in the study:

Can a CS student build the software within 30 minutes, including finding and installing any dependent software and libraries, and without bothering the authors?
As a result, we are currently making another pass over the data, and, so are the people behind this site. We very much welcome these reviews-of-the-reviews - this is exactly the way science should work! Please don't hesitate to contact us should you have any further questions and comments.

Christian and Todd

Reproducibility is a cornerstone of the scientific process: only if my colleagues can reproduce my work should they trust its veracity. Excepting special cases, in applied Computer Science reproducing published work should be as simple as going to the authors' website, downloading their code and data, typing "make" and seeing if the results correspond to the published ones.

To investigate the extent to which Computer Science researchers are willing to share their code and data, and the extend to which this code will actually build with reasonable effort, we performed a study of 613 papers in eight ACM conferences (ASPLOS'12, CCS'12, OOPSLA'12, OSDI'12, PLDI'12, SIGMOD'12, SOSP'11, VLDB'12) and five journals (TACO'9, TISSEC'15, TOCS'30, TODS'37, TOPLAS'34).

The details of this study are described in a technical report "Measuring Reproducibility in Computer Systems Research" and a summary of results as seen below. The summary data can be downloaded as a tab separated file. Finally, the raw data and scripts used to analyze results are also available.

Results

Hardware or Theoretical Link not found but no email sent Negative email result or build result Successfully Built
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TISSEC'15 Martin Abadi, Gordon D. Plotkin On Protection by Layout Randomization Theoretical - - - - Database Entry - -
TISSEC'15 Ryan Roemer, Erik Buchanan, Hovav Shacham, Stefan Savage Return-Oriented Programming: Systems, Languages, and Applications Practical - Email sent Replied no - Database Entry - -
TISSEC'15 Joan Feigenbaum, Aaron Johnson, Paul F. Syverson Probabilistic analysis of onion routing in a black-box model Theoretical - - - - Database Entry - -
TISSEC'15 Prateek Mittal, Nikita Borisov Information Leaks in Structured Peer-to-Peer Anonymous Communication Systems Theoretical - - - - Database Entry - -
TISSEC'15 Attila Altay Yavuz, Peng Ning, Michael K. Reiter BAF and FI-BAF: Efficient and Publicly Verifiable Cryptographic Schemes for Secure Logging in Resource-Constrained Systems Theoretical - - - - Database Entry - -
TISSEC'15 Boris Danev, Srdjan Capkun, Ramya Jayaram Masti, Thomas S. Benjamin Towards Practical Identification of HF RFID Devices Theoretical - - - - Database Entry - -
TISSEC'15 Jan Camenisch, Thomas Gross Efficient Attributes for Anonymous Credentials Practical Link from paper Not sent - Builds Database Entry Build notes -
TISSEC'15 David A. Basin, Samuel J. Burri, Gunter Karjoth Dynamic enforcement of abstract separation of duty constraints Practical - Email sent Replied no - Database Entry - -
TISSEC'15 Norman Danner, Sam DeFabbia-Kane, Danny Krizanc, Marc Liberatore Effectiveness and detection of denial-of-service attacks in tor Practical Link from paper Not sent - Builds Database Entry Build notes -
TISSEC'15 Karthikeyan Bhargavan, Cedric Fournet, Ricardo Corin, Eugen Zalinescu Verified Cryptographic Implementations for TLS Practical - Email sent Replied yes Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TISSEC'15 Yossi Gilad, Amir Herzberg LOT: A Defense Against IP Spoofing and Flooding Attacks Practical Link from paper Not sent - Build fails Database Entry Build notes -
TISSEC'15 Raphael Khoury, Nadia Tawbi Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors Theoretical - - - - Database Entry - -
TISSEC'15 Michael Brennan, Sadia Afroz, Rachel Greenstadt Adversarial stylometry: Circumventing authorship recognition to preserve privacy and anonymity Theoretical - - - - Database Entry - -
TACO'9 Boubacar Diouf, Can Hantas, Albert Cohen, Ozcan Ozturk, Jens Palsberg A decoupled local memory allocator Practical - Email sent Replied no - Database Entry - -
TACO'9 Pavlos M. Mattheakis, Ioannis Papaefstathiou Significantly reducing MPI intercommunication latency and power overhead in both embedded and HPC systems Hardware - - - - Database Entry - -
TACO'9 David Gregg, Jimmy Cleary, Owen Callanan, Mark Purcell Fast asymmetric thread synchronization Practical - Email sent No response - Database Entry - -
TACO'9 Christian Wimmer, Michael Haupt, Michael L. VanDeVanter, Mick Jordan, Laurent Daynes, Douglas Simon Maxine: An approachable virtual machine for, and in, java Practical Link from paper Not sent - Builds Database Entry Build notes -
TACO'9 Abhinandan Majumdar, Shihari Cadambi, Michela Becchi, Srimat T. Chakradhar, Hans Peter graf A Massively Parallel, Energy Efficient Programmable Accelerator for Learning and Classification Practical - Email sent Replied no - Database Entry - -
TACO'9 Servesh Muralidharan, Stephen Golan, David Gregg Compiler support for lightweight context switching Practical Link from google Not sent - Builds Database Entry Build notes -
TACO'9 Bin Li, Li Shiuan Peh, Li Zhao, Ravi Iyer Dynamic QoS management for chip multiprocessors Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TACO'9 Yang Chen, Shuangde Fang, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Olivier Temam, Chengyong Wu Deconstructing iterative optimization Theoretical - - - - Database Entry - -
TACO'9 Jongwon Lee, Yohan Ko, Kyoungwoo Lee, Jonghee M. Youn, Yunheung Peak Dynamic code duplication with vulnerability awareness for soft error detection on VLIW architectures Practical - Email sent Replied no - Database Entry - -
TACO'9 Choonki Jang, Jaejin Lee, Bernhard Egger, Soojung Ryu Automatic code overlay generation and partially redundant code fetch elimination Hardware - - - - Database Entry - -
TACO'9 Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi Lock-contention-aware scheduler: A scalable and energy-efficient method for addressing scalability collapse on multicore systems Practical - Email sent Replied yes Builds Database Entry Build notes -
TACO'9 Hyesoon Kim, Jaekyu Lee, Richard Vuduc When Prefetching Works, When It Doesn't, and Why Theoretical - - - - Database Entry - -
TACO'9 James R. Geraci, Sharon M. Sacco A transpose-free in-place SIMD optimized FFT Hardware - - - - Database Entry - -
TACO'9 Diego Andrade, Basilio B. Fraguela, Ramon Doallo Static analysis of the worst-case memory performance for irregular codes with indirections Practical - Email sent Replied no - Database Entry - -
TACO'9 Kishore Kumar Pusukuri, Rajix Gupta, Laxmi N. Bhuyan ADAPT: A framework for coscheduling multithreaded programs Practical Link from paper Not sent - Build fails Database Entry Build notes -
TACO'9 Yu Du, Miao Zhou, Bruce Childers, Rami Melhem, Daniel Mosse Delta-compressed caching for overcoming the write bandwidth limitation of hybrid main memory Hardware - - - - Database Entry - -
TACO'9 Paraskevas Yiapanis, Demian RosasHam, Gavin Brown, Mikel Lujan Optimizing software runtime systems for speculative parallelization Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TACO'9 Anurag Negi, Ruben Titos-Gil SCIN-cache: Fast speculative versioning in multithreaded cores Hardware - - - - Database Entry - -
TACO'9 Alejandro Valero, Julio Sahuquillo, Salvador Petit, Pedro Lopez, Jose Duato Combining recency of information with selective random and a victim cache in last-level caches Hardware - - - - Database Entry - -
TACO'9 Chunhua Xiao, MC Frank Chang, Jaon Cong, Michael Gill, Zhangqin Huang, Chunyue Liu, Glenn Reinman, Hao Wu Stream arbitration: Towards efficient bandwidth utilization for emerging on-chip interconnects Hardware - - - - Database Entry - -
TACO'9 Jingling Xue, Huimin Cui, Lei Wang, Yang Yang, Xiaobing Feng, Dongrui Fan Extendable pattern-oriented optimization directives Practical - Email sent Replied no - Database Entry - -
TACO'9 Doris Chen, Deshanand Singh Profile-guided floating- to fixed-point conversion for hybrid FPGA-processor applications Practical - Email sent Replied no - Database Entry - -
TACO'9 Li Wang, Xuejun Yang, Jingling Xue, Qingbo Wu Comparability Graph Coloring for Optimizing Utilization of Software-Managed Stream Register Files for Stream Processors Practical - Email sent No response - Database Entry - -
TACO'9 Carlos Luque, Miquel Moreto, Francisco J. Cazorla, Mateo Valero Fair CPU time accounting in CMP{\&}plus;SMT processors Hardware - - - - Database Entry - -
TACO'9 Thibaut Lutz, Christian Fensch, Murray Cole PARTANS: An autotuning framework for stencil computation on multi-GPU systems Hardware - - - - Database Entry - -
TACO'9 Yong Li, Rami Melhem, Alex K. Jones PS-TLB: Leveraging page classification information for fast,scalable and efficient translation for future CMPs Hardware - - - - Database Entry - -
TACO'9 Suresh Purini, Lakshya Jain Finding good optimization sequences covering program space Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TACO'9 Marco E.T. Gerards, Jan Kuper Optimal DPM and DVFS for frame-based real-time systems Theoretical - - - - Database Entry - -
TACO'9 Lieven Eeckhout, Kristof Du Bois, Stijn Eyerman Per-thread cycle accounting in multicore processors Practical - Not sent - - Database Entry - -
TACO'9 Yangchun Luo, Antonia Zhai Dynamically dispatching speculative threads to improve sequential execution Hardware - - - - Database Entry - -
TACO'9 Yi Yang, Ping Xiang, Jingfei Kong, Mike Mantor, Huiyang Zhou A unified optimizing compiler framework for different GPGPU architectures Practical Link from paper Not sent - Builds Database Entry Build notes -
TACO'9 Zahra Abbasi, Georgios Varsamopoulos, Sandeep K.S. Gupta TACOMA: Server and workload management in internet data centers considering cooling-computing power trade-off and energy proportionality Practical - Email sent Replied no - Database Entry - -
TACO'9 Stijn Eyerman, Lieven Eeckhout Probabilistic modeling for job symbiosis scheduling on SMT processors Practical - Email sent Replied no - Database Entry - -
TACO'9 Lieven Eeckhout, Kenzo Van Craeynest Understanding fundamental design choices in single-ISA heterogeneous multicore architectures Theoretical - - - - Database Entry - -
TACO'9 Pablo Abad, Jose-Angel Gregorio, Valentin Puente LIGERO: A light but efficient router conceived for cache-coherent chip multiprocessors Hardware - - - - Database Entry - -
TACO'9 Zhichao Yan, Hong Jiang, Yujuan Tan, Dan Feng An integrated pseudo-associativity and relaxed-order approach to hardware transactional memory Practical - Email sent No response - Database Entry - -
TACO'9 Grigorios Chrysos, Panagiotis Dagritzikos, Ioannis Papaefstathiou, Apostolos Dollas HC-CART: A parallel system implementation of data mining classification and regression tree (CART) algorithm on a multi-FPGA system Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TACO'9 Malik Khan, Protonu Basu, Gabe Rudy, Mary Hall, Chun Chen, Jacqueline Chame A script-based autotuning compiler system to generate high-performance CUDA code Hardware - - - - Database Entry - -
TACO'9 David Yuste, Erven Rohou, Kevin Williams Vectorization technology to improve interpreter performance Practical - Email sent Replied yes Builds Database Entry Build notes -
TACO'9 Mehmet E. Belviranli, Laxmi N. Bhuyan, Rajiv Gupta A dynamic self-scheduling scheme for heterogeneous multiprocessor architectures Practical - Email sent No response - Database Entry - -
TACO'9 Fabien Coelho, Francois Irigoin API compilation for image hardware accelerators Practical Link from google Not sent - Builds Database Entry Build notes -
TACO'9 Samuel Antao, Leonel Sousa The CRNS framework and its application to programmable and reconfigurable cryptography Practical - Email sent Replied no - Database Entry - -
TACO'9 Jorge Alberticio, Pablo Ibanez, Victor Vinals, Jose Maria Llaberia Exploiting reuse locality on inclusive shared last-level caches Practical - Email sent Replied no - Database Entry - -
TACO'9 Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunovic Improved loop tiling based on the removal of spurious false dependences Practical - Email sent Replied yes Build fails Database Entry Build notes -
TACO'9 Jung Ho Ahn, Norman P. Jouppi, Christos Kozyrakis, Jacob Leverich, Robers S. Schreiber Improving System Energy Efficiency with Memory Rank Subsetting Hardware - - - - Database Entry - -
TACO'9 Walid J. Ghandour, Haitham Akkary, Wes Masri Leveraging Strength-Based Dynamic Information Flow Analysis to Enhance Data Value Prediction Practical - Not sent - - Database Entry - -
TACO'9 Bita Mazloom, Shashidhar Mysore, Mohit Tiwari, Banit Agrawal, Tim Sherwood Dataflow Tomography: Information Flow Tracking For Understanding and Visualizing Full Systems Practical - Email sent Replied yes Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TACO'9 Bart Coppens, Bjorn De Sutter, Hibas Maebe Feedback-driven binary code diversification Practical - Email sent Replied no - Database Entry - -
TACO'9 Polychronis Xekalakis, Nikolas Ioannou, Marcelo Cintra Mixed speculative multithreaded execution models Practical - Email sent Replied no - Database Entry - -
TACO'9 Adam Wave Lewis, NianFeng Tzeng, Soumik Ghosh Runtime energy consumption estimation for server workloads based on chaotic time-series approximation Practical - Email sent No response - Database Entry - -
TACO'9 Antoniu Pop, Albert Cohen OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs Practical Link from paper Not sent - Build fails Database Entry Build notes -
TACO'9 Andreas Lanks, Thomas Wild, Stefan Wallentowitz, Andreas Herkersdorf Benefits of selective packet discard in networks-on-chip Hardware - - - - Database Entry - -
TACO'9 Apala Guha, Kin Hazelwood, Mary Lou Soffa Memory optimization of dynamic binary translators for embedded systems Hardware - - - - Database Entry - -
TACO'9 Huimin Cui, Qing Li, Jingling Xue, Xiaobing Feng Layout-oblivious compiler optimization for matrix computations Practical - Email sent Replied yes Build fails Database Entry Build notes -
TACO'9 Juan Carlos Juega, Sven Verdoolaege, Albert Cohen, Jose Ignacio Gomez, Christian Tenllado, Francky Catthoor Polyhedral parallel code generation for CUDA Practical Link from paper Not sent - Build fails Database Entry Build notes -
TACO'9 Jeremy Fowers, Greg Brown, John Wernsing, Greg Stitt A performance and energy comparison of convolution on GPUs,FPGAs, and multicore processors Theoretical - - - - Database Entry - -
TACO'9 Vincent Loechner, Rachid Seghir, Benoit Meister Integer affine transformations of parametric ;-polytopes and applications to loop nest optimization Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TACO'9 Mageda Sharafeddine, Komal Jothi, Haitham Akkary Disjoint out-of-order execution processor Practical - Email sent Replied no - Database Entry - -
TACO'9 Michele Tartara, Stefano Crespi Reghizzi Continuous learning of compiler heuristics Practical Link from google Not sent - Builds Database Entry Build notes -
TACO'9 Cedric Nugteren, Pieter Custers, Henk Corporal Algorithmic species: A classification of affine loop nests for parallel programming Practical Link from paper Not sent - Builds Database Entry Build notes -
TODS'37 Alin Deutsch, Elio Damaggio, Victor Vianu Artifact systems with data dependencies and arithmetic Theoretical - - - - Database Entry - -
TODS'37 Gao Cong, Wenfei Fan, Anastasios Kementsietsidis, Jianzhong Li, Xianmin Liu Partial Evaluation for Distributed XPath Query Processing and Beyond Practical - Email sent Replied no - Database Entry - -
TODS'37 Wenfei Fan, Floris Geerts, Jef Wijsen Determining the Currency of Data Theoretical - - - - Database Entry - -
TODS'37 Dmitri V Kalashnikov, Rabia Nuray-Turan, Sharad Mehrotra Exploiting Web querying for Web people search Practical Link from google Not sent - Build fails Database Entry Build notes -
TODS'37 Leonid Libkin, Pablo Barcelo, Anthony W Lin, Peter T Wood Expressive Languages for Path Queries over Graph-Structured Data Theoretical - - - - Database Entry - -
TODS'37 Boduo Li, Edward Mazur, Yanlei Diao, Andrew Mcgregor, Prashant Shenoy SCALLA: A Platform for Scalable One-Pass Analytics Using MapReduce Practical Link from google Not sent - Builds Database Entry Build notes -
TODS'37 Daniel Deutch, Yael Amsterdamer, Tova Milo, Val Tannen On Provenance Minimization Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TODS'37 Sebastian Link, Sven Hartmann The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations Theoretical - - - - Database Entry - -
TODS'37 Davide Martinenghi, Marco Tagliasacchi Proximity measures for rank join Practical Link from google Not sent - Builds Database Entry Build notes -
TODS'37 Daniel Lemire, Owen Kaser, Eduardo Gutarra Reordering rows for better compression: Beyond the lexicographic order Practical Link from paper Not sent - Builds Database Entry Build notes -
TODS'37 Benny Kimelfeld, Jan Vondrak, Ryan Williams Maximizing Conjunctive Views in Deletion Propagation Theoretical - - - - Database Entry - -
TODS'37 Yinan Li, Jignesh M Patel, Allison Terrell WHAM: A High-Throughput Sequence Alignment Method Practical Link from google Not sent - Build fails Database Entry Build notes -
TODS'37 Yufei Tao, Cheng Sheng, Jianzhong Li Exact and approximate algorithms for the most connected vertex problem Practical - Email sent Replied yes Builds Database Entry Build notes -
TODS'37 Junhu Wang, Jeffrey Xu Yu Revisiting answering tree pattern queries using views Practical - Email sent Replied no - Database Entry - -
TODS'37 Wenjie Zhang, Xuemin Lin, Ying Zhang, Muhammad Aamir Cheema, Qing Zhang Stochastic skylines Practical - Email sent Replied yes Builds Database Entry Build notes -
TODS'37 Cheng Sheng, Yufei Tao Worst-Case I/O-Efficient Skyline Algorithms Theoretical - - - - Database Entry - -
TODS'37 Harumi Kuno, Goetz Graefe, Hideaki Kimura Foster b-trees Practical - Email sent No response - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TODS'37 Leonid Libkin, Claire David, Tony Tan Efficient reasoning about data trees via integer linear programming Practical - Email sent Replied yes Builds Database Entry Build notes -
TODS'37 Christopher Re, Dan Suciu Understanding cardinality estimation using entropy maximization Theoretical - - - - Database Entry - -
TODS'37 Kexin Xie, Ke Deng, Shuo Shang, Xiaofang Zhou, Kai Zheng Finding Alternative Shortest Paths in Spatial Networks Practical - Email sent No response - Database Entry - -
TODS'37 Di Yang, Elke A Rundensteiner, Matthew O Ward Shared execution strategy for neighbor-based pattern mining requests over streaming windows Practical - Email sent No response - Database Entry - -
TODS'37 Victor Vianu, Serge Abiteboul, Pierre Bourhis Comparing workflow specification languages: A matter of views Theoretical - - - - Database Entry - -
TODS'37 Cindy Chen, Tian Xia, Donghui Zhang, Zheng Fang, Jie Wang Online subspace skyline query processing using the compressed skycube Practical - Email sent No response - Database Entry - -
TODS'37 Tamir Tassa, Ehud Gudes Secure distributed computation of anonymized views of shared databases Practical - Email sent Replied no - Database Entry - -
TODS'37 Dmitri V Kalashnikov, Rabia Nuray-Turan, Sharad Mehrotra, Yaming Yu Attribute and object selection queries on objects with probabilistic attributes Practical Link from google Not sent - Build fails Database Entry Build notes -
TODS'37 Goetz Graefe A survey of B-tree logging and recovery techniques Theoretical - - - - Database Entry - -
TODS'37 Ziyang Liu, Yi Chen Differentiating search results on structured data Practical - Email sent No response - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TODS'37 Markus Schneider, Tao Chen, Ganesh Viswanathan, Wenjie Yuan Cardinal directions between complex regions Theoretical - - - - Database Entry - -
TODS'37 Jef Wijsen Certain conjunctive query answering in first-order logic Theoretical - - - - Database Entry - -
OSDI'12 Arjun Narayan, Andreas Haeberlen DJoin: differentially private join queries over distributed databases Practical - Not sent - - Database Entry - -
OSDI'12 Aapo Kyrola, Guy Blelloch, Carlos Guestrin GraphChi: Large-scale graph computation on just a PC Practical Link from paper Not sent - Builds Database Entry Build notes -
OSDI'12 Tom Rodeheffer, Indrajit Roy, Patrick Stuedi, Benjamin Wester, Ramakrishna Kotla Pasture: secure offline data access using commodity trusted hardware Practical - Email sent Replied no - Database Entry - -
OSDI'12 Lenin Ravindranath, Jitendra Padhye, Sharad Agarwal, Ratul Mahajan, Ian Obermiller, Shahin Shayandeh AppInsight: mobile app performance monitoring in the wild Practical - Email sent Replied no - Database Entry - -
OSDI'12 Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich Efficient patch-based auditing for web application vulnerabilities Practical - Not sent - - Database Entry - -
OSDI'12 Alan M Dunn, Michael Z Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel Eternal sunshine of the spotless machine: Protecting privacy with ephemeral channels Practical - Email sent Replied no - Database Entry - -
OSDI'12 Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, others, James C Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes Spanner: Googles globally-distributed database Practical - Email sent Replied no - Database Entry - -
OSDI'12 Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazieres, Christos Kozyrakis Dune: safe user-level access to privileged CPU features Practical Link from google Not sent - Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OSDI'12 Mona Attariyan, Michael Chow, Jason Flinn X-ray: automating root-cause diagnosis of performance anomalies in production software Practical - Email sent Replied yes Builds Database Entry Build notes -
OSDI'12 Ding Yuan, Soyeon Park, Peng Huang, Yang Liu, Michael M Lee, Xiaoming Tang, Yuanyuan Zhou, Stefan Savage Be conservative: enhancing failure diagnosis with proactive logging Practical - Not sent - - Database Entry - -
OSDI'12 Yang Tang, Phillip Ames, Sravan Bhamidipati, Ashish Bijlani, Roxana Geambasu, Nikhil Sarda CleanOS: Limiting mobile data exposure with idle eviction Practical - Not sent - - Database Entry - -
OSDI'12 David Shue, Michael J Freedman, Anees Shaikh Performance isolation and fairness for multi-tenant cloud storage Practical - Not sent - - Database Entry - -
OSDI'12 Mark S Gordon, D Anoushe Jamshidi, Scott Mahlke, Z Morley Mao, Xu Chen COMET: code offload by migrating execution transparently Practical Link from google Not sent - Builds Database Entry Build notes -
OSDI'12 Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguica, Rodrigo Rodrigues Making geo-replicated systems fast as possible, consistent when necessary Practical - Email sent Replied no - Database Entry - -
OSDI'12 Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Hucheng Zhou, Sean McDirmid, Chang Liu, Wei Lin, Jingren Zhou, Lidong Zhou Spotting code optimizations in data-parallel pipelines through PeriSCOPE Practical - Email sent Replied no - Database Entry - -
OSDI'12 Philip Levis Experiences from a decade of TinyOS development Practical Link from paper Not sent - Builds Database Entry Build notes -
OSDI'12 Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, Mike Dahlin All about Eve: execute-verify replication for multi-core servers Practical - Not sent - - Database Entry - -
OSDI'12 Sangjin Han, Scott Marshall, Byung-Gon Chun, Sylvia Ratnasamy Megapipe: a new programming interface for scalable network i/o Practical - Email sent Replied yes Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OSDI'12 Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M Frans Kaashoek Improving integer security for systems with KINT Practical Link from paper Not sent - Build fails Database Entry Build notes -
OSDI'12 Matthew J Renzelmann, Asim Kadav, Michael M Swift SymDrive: testing drivers without devices Practical Link from google Not sent - Build fails Database Entry Build notes -
OSDI'12 Edmund B Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Yutaka Suzue Flat datacenter storage Practical - Email sent Replied no - Database Entry - -
OSDI'12 David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, Aaron Johnson Dissent in numbers: making strong anonymity scale Practical Link from paper Not sent - Build fails Database Entry Build notes -
OSDI'12 J Gonzalez, Yucheng Low, Haijie Gu, Danny Bickson, Carlos Guestrin PowerGraph: Distributed graph-parallel computation on natural graphs Practical Link from google Not sent - Builds Database Entry Build notes -
OSDI'12 Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, Shan Lu Automated concurrency-bug fixing Practical - Not sent - - Database Entry - -
SIGMOD'12 Gaoping Zhu, Xuemin Lin, Ke Zhu, Wenjie Zhang, Jeffery Xu Yu TreeSpan: efficiently computing similarity all-matching Practical - Not sent - - Database Entry - -
SIGMOD'12 Shengqi Yang, Xifeng Yan, Bo Zong, Arijit Khan Towards effective partition management for large graphs Practical Link from google Not sent - Builds Database Entry Build notes -
SIGMOD'12 Theodoros Rekatsinas, Amol Deshpande, Lise Getoor Local structure and determinism in probabilistic databases Practical - Not sent - - Database Entry - -
SIGMOD'12 Jiaheng Lu, Pierre Senellart, Chunbin Lin, Xiaoyong Du, Shan Wang, Xinxing Chen Optimal top-k generation of attribute combinations based on ranked lists Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SIGMOD'12 Asterios Katsifodimos, Ioana Manolescu, Vasilis Vassalos Materialized view selection for XQuery workloads Practical - Not sent - - Database Entry - -
SIGMOD'12 Manish Singh, Arnab Nandi, Hosagrahar V. Jagadish Skimmer: rapid scrolling of relational query results Practical - Email sent Replied yes Builds Database Entry Build notes -
SIGMOD'12 Nikos Giatrakos, Antonios Deliginnakis, Minos Garadalakis, Izchak Shafman, Assaf Schuster Prediction-based geometric monitoring over distributed data streams Practical - Email sent Replied yes Builds Database Entry Build notes -
SIGMOD'12 Barzan Mozafari, Kai Zeng, Carlo Zaniolo High-performance complex event processing over XML streams Practical - Email sent Replied yes Builds Database Entry Build notes -
SIGMOD'12 Mingyang Zhang, Nan Zhang, Gautam das Aggregate suppression for enterprise search engines Practical - Not sent - - Database Entry - -
SIGMOD'12 Jelle Hellings, George H.L. Fletcher, Herman Haverkort Efficient external-memory bisimulation on DAGs Practical Link from paper Not sent - Build fails Database Entry Build notes -
SIGMOD'12 Anish Das Sarma, Lujun Fang, Nitin Gupta, Alon Halevy, Hongrae Lee, Fei Wu, Reynold Xin, Cong Yu Finding related tables Practical - Not sent - - Database Entry - -
SIGMOD'12 Michaela Gotz, Surman Nath, Johannes Gehrke MaskIt: privately releasing user context streams for personalized mobile applications Practical - Not sent - - Database Entry - -
SIGMOD'12 James Cheng, Shumo Chu, Yiping Ke, Carter Cheng Efficient processing of distance queries in large graphs: a vertex cover approach Practical Link from google Not sent - Builds Database Entry Build notes -
SIGMOD'12 Xixuan Feng, Arun Kumar, Benjamn Recht, Christopher Re Towards a unified architecture for in-RDBMS analytics Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SIGMOD'12 Aditya Parameswaran, Hector Garcia-Molina, Hyunjung Park, Neoklis Polyzotis, Aditya Ramesh, Jennifer Widom CrowdScreen: algorithms for filtering data with humans Practical - Not sent - - Database Entry - -
SIGMOD'12 Prashanth Mohan, Abhradeep Thakurta, Elaine Shi, Dawn Song, David E. Culler GUPT: privacy preserving data analysis made easy Practical Link from google Not sent - Builds Database Entry Build notes -
SIGMOD'12 Ruomin Jin, Ning Ruan, Saikat Dey, Jeffrey Yu Xu SCARAB: scaling reachability computation on large graphs Practical Link from google Not sent - Build fails Database Entry Build notes -
SIGMOD'12 Ruoming Jin, Ning Ruan, Yang Xiang, Victor E. Lee A highway-centric labeling approach for answering distance queries on large sparse graphs Practical - Email sent Replied yes Builds Database Entry Build notes -
SIGMOD'12 Jayanta Mondal, Amol Deshpande Managing large dynamic graphs efficiently Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Russell Sears, Raghu Ramakrishnan bLSM: a general purpose log structured merge tree Practical Link from paper Not sent - Build fails Database Entry Build notes -
SIGMOD'12 Jiannan Wang, Guoliang Li, Jianhua Feng Can we beat the prefix filtering?: an adaptive framework for similarity join and search Practical - Not sent - - Database Entry - -
SIGMOD'12 Darius Sidlauskas, Simonas Saltenis, Christian S. Jensen Parallel main-memory indexing for moving-object query and update workloads Practical - Not sent - - Database Entry - -
SIGMOD'12 Wentao Wu, Hongsong Li, Haixun Wang, Kenny Q. Zhu Probase: a probabilistic taxonomy for text understanding Practical - Not sent - - Database Entry - -
SIGMOD'12 Danupon Nanongkai, Ashwin Lall, Atish Das Sarma, Kazuhisa Makino Interactive regret minimization Practical - Email sent Replied yes Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SIGMOD'12 Jingren Zhou, Nicolas Bruno, Wei lin Advanced partitioning techniques for massively distributed computation Practical - Not sent - - Database Entry - -
SIGMOD'12 Naruabi O. Consens, Kleoni Ioannidou, Jeff LeFevre, Neoklis Polyzotis Divergent physical design tuning for replicated databases Practical - Not sent - - Database Entry - -
SIGMOD'12 Piero Fraternali, Davide Martinenghi, Marco Tagliasacchi Top-k bounded diversification Practical - Email sent Replied yes Build fails Database Entry Build notes -
SIGMOD'12 Bolin Ding, Haixun Wang, Ruoming Jin, Jiawei Han, Zhongyuan Wang Optimizing index for taxonomy keyword search Practical - Not sent - - Database Entry - -
SIGMOD'12 Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, Daniel J. Abadi Calvin: fast distributed transactions for partitioned database systems Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Andrew Pavlo, Carlo Curino, Stan Zdonik Skew-aware automatic database partitioning in shared-nothing,parallel OLTP systems Practical - Not sent - - Database Entry - -
SIGMOD'12 YongChul Kwon, Magdalena Balazinska, Bill Howe, Jerome Rolia SkewTune: mitigating skew in mapreduce applications Practical Link from google Not sent - Builds Database Entry Build notes -
SIGMOD'12 Ioannis Alagiannis, Renata Borovica, Miguel Branco, Stratos Idreos, Anastasia Ailamaki NoDB: efficient query execution on raw data files Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Wenfei Fan, Jianzhong Li, Xin Wang, Yinghui Wu Query preserving graph compression Practical - Not sent - - Database Entry - -
SIGMOD'12 Jens Teubner, Louis Woods, Chongling Nie Skeleton automata for FPGAs: reconfiguring without reconstructing Hardware - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SIGMOD'12 Stephen Guo, Aditya Parameswaran, Hector Garcia-Molina So who won?: dynamic max discovery with the crowd Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Carl-Christian Kanne, Cuk Ercegovac Declarative error management for robust data-intensive applications Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Karthik Ramachandra, S Sudarshan Holistic optimization by prefetching query results Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Mohamed Yakout, Kris Ganjam, Kaushik Chakrabarti, Surajit Chaudhuri InfoGather: entity augmentation and attribute discovery by holistic matching with web tables Practical - Not sent - - Database Entry - -
SIGMOD'12 Albert Yu, Pankaj K. Agarwal, Jun Yang Processing a large number of continuous preference top-{\it k} queries Practical - Email sent Replied no - Database Entry - -
SIGMOD'12 Haibo Hu, Jianliang Xu, Qian Chen, Ziwei Yang Authenticating location-based services without compromising location privacy Practical - Email sent Replied yes Builds Database Entry Build notes -
SIGMOD'12 Zhiqiang Xu, Yiping Ke, Yi Wang, Hong Cheng, James Cheng A model-based approach to attributed graph clustering Practical - Not sent - - Database Entry - -
SIGMOD'12 Junhao Gan, Jianlin Feng, Qiong Fang, Wilfred Ng Locality-sensitive hashing scheme based on dynamic collision counting Practical Link from google Not sent - Build fails Database Entry Build notes -
SIGMOD'12 Jeppe Rishede Thomsen, Man Lung Yiu, Christian S. Jensen Effective caching of shortest paths for location-based services Practical - Not sent - - Database Entry - -
SIGMOD'12 Zheng Li, Tingjian ge Online windowed subsequence matching over probabilistic sequences Practical - Email sent No response - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SIGMOD'12 Steven Begley, Zhen He, Yi-Ping Phoebe Chen MCJoin: a memory-constrained join for column-store main-memory databases Practical - Email sent Replied yes Builds Database Entry Build notes -
SIGMOD'12 Li Qian, Machael J. Cafarella, Hosagrahar V. Jagadish Sample-driven schema mapping Practical - Not sent - - Database Entry - -
ASPLOS'12 Sriram Govindan, Di Wang, Anand Sivasubramaniam, Bhuvan Urgaonkar Leveraging stored energy for handling power emergencies in aggressively provisioned datacenters Hardware - - - - Database Entry - -
ASPLOS'12 Min Lee, Karsten Schwan Region scheduling: efficiently using the cache architectures via page-level affinity Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu Applying transactional memory to concurrency bugs Theoretical - - - - Database Entry - -
ASPLOS'12 Yang Chen, Shuangde Fang, Lieven Eeckout, Olivier Temam, Chengyong Wu Iterative optimization for the data center Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis Path-exploration lifting: hi-fi tests for lo-fi emulators Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Marek Olszewski, Qin Zhao, David Koh, Jason Ansel, Saman Amarasinghe Aikido: accelerating shared data dynamic analyses Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Sankaralingam Panneerselvam, Michael M. Swift Chameleon: operating system support for dynamic processors Practical - Not sent - - Database Entry - -
ASPLOS'12 Jichuan Chang, Justin Meza, Parthasarathy Ranganathan, Amip Shah, Rocky Shih, Cullen Bash Totally green: evaluating and designing servers for lifecycle environmental impact Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
ASPLOS'12 Peter Feiner, Angela Demke Brown, Ashvin Goel Comprehensive kernel instrumentation via dynamic binary translation Practical - Email sent Replied yes Builds Database Entry Build notes -
ASPLOS'12 Asim Kadav, Michael M. Swift Understanding modern device drivers Theoretical - - - - Database Entry - -
ASPLOS'12 Baris Kasikci, Cristian Zamfir, George Candea Data races vs. data race bugs: telling the difference with portend Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Austin T. Clements, M Frans Kaashoek, Zickolai Zeldovich Scalable address spaces using RCU balanced trees Practical Link from paper Not sent - Build fails Database Entry Build notes -
ASPLOS'12 David Cheriton, Amin Firoozshahian, Alex Solomatnikov, Jogn P. Stevenson, Omid Azizi HICAMP: architectural support for efficient concurrency-safe shared structured data access Hardware - - - - Database Entry - -
ASPLOS'12 Abel Gordon, Nadav Amit, Nadav HarEl, Muli Ben Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir ELI: bare-metal performance for I/O virtualization Practical - Email sent No response - Database Entry - -
ASPLOS'12 Joseph L. Greathouse, Hongyi Xin, Yixin Luo, Todd Austin A case for unlimited watchpoints Practical - Email sent Replied yes Build fails Database Entry Build notes -
ASPLOS'12 Andy A. Hwang, Ioan Stefanovici, Bianca Schroeder Cosmic rays don't strike twice: understanding the nature of DRAM errors and the implications for system design Theoretical - - - - Database Entry - -
ASPLOS'12 Sungpack Hong, Hassan Chafi, Eric Sedlar, Kunle Olukotun Green-Marl: a DSL for easy and efficient graph analysis Practical Link from paper Not sent - Builds Database Entry Build notes -
ASPLOS'12 Faraz Ahmad, Srimat Chakradhar, Anand Raghunathan, T N. Vijaykumar Tarazu: optimizing MapReduce on heterogeneous clusters Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
ASPLOS'12 Jakub Szefer, Ruby B. Lee Architectural support for hypervisor-secure virtualization Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug Burger Architecture support for disciplined approximate programming Practical - Not sent - - Database Entry - -
ASPLOS'12 Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naeimi, Pradeep Ramachandran Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Michael Ferdman, Almutaz Adileh, Onur Kocberber, Stavros Volos, Mohammad Alisaface, Djordje Jevdjic, Cansu Kaynak, Adian Daniel Popescu, Anastasia Ailamaki, Babak Falsafi Clearing the clouds: a study of emerging scale-out workloads on modern hardware Practical Link from google Not sent - Build fails Database Entry Build notes -
ASPLOS'12 Dimitrios Lymberopoulos, Oriana Riva, Karin Strauss, Akshay Mittal, Alexandros Ntoulas PocketWeb: instant web browsing for mobile devices Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Jose A. Joao, M Aater Suleman, Onur Mutlu, Yale N. Patt Bottleneck identification and scheduling in multithreaded applications Hardware - - - - Database Entry - -
ASPLOS'12 Aamer Jaleel, Hashem H. Najaf-abadi, Samantika Subramaniam, Simon C. Steely Jr, Joel Emer CRUISE: cache replacement and utility-aware scheduling Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Felix Xiaozhu Lin, Zhen Wang, Robert LiKamWa, Lin Zhong Reflex: using low-power processors in smartphones without knowing them Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Yongjun Park, Sangwon Seo, Hyunchul Park, Hyoun Kyu Cho, Scott Mahlke SIMD defragmenter: efficient ILP realization on data-parallel architectures Practical - Not sent - - Database Entry - -
ASPLOS'12 Adrian M. Caulfield, Todoer I. Mollov, Lous Alex Eisner, Arup De, Joel Coburn, Steven Swanson Providing safe, user space access to fast, solid state disks Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
ASPLOS'12 Nedeljko Vasic, Dejan Novakovic, Svetozar Miucin, Dejan Kostic, Ricardo Bianchini DejaVu: accelerating resource allocation in virtualized environments Practical - Email sent Replied yes Builds Database Entry Build notes -
ASPLOS'12 Myron King, Nirav Dave, Arvind Mithal Automatic generation of hardware/software interfaces Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Dushyanth Narayanan, Orion Hodson Whole-system persistence Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Dilip N Simha, Maohua Lu, Tzi-cker Chiueh An update-aware storage system for low-locality update-intensive workloads Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Changhui Lin, Vijay Nagarajan, Rajiv Gupta, Bharghava Rajaram Efficient sequential consistency via conflict ordering Practical - Not sent - - Database Entry - -
ASPLOS'12 Rei Odaira, Toshio Nakatani Continuous object access profiling and optimizations to overcome the memory wall and bloat Practical - Not sent - - Database Entry - -
ASPLOS'12 Petar Radojkovic, Vladimir Cakarevic, Miquel Moreto, Javier Verdu, Alex Pajuelo, Francisco J. Cazorla, Mario Nemirovsky, Mateo Valero Optimal task assignment in multithreaded processors: a statistical approach Practical - Email sent Replied no - Database Entry - -
ASPLOS'12 Matthew DeVuyst, Ashish Venkat, Dean M. Tullsen Execution migration in a heterogeneous-ISA chip multiprocessor Practical - Not sent - - Database Entry - -
ASPLOS'12 David Meisner, Thomas F. Wenisch DreamWeaver: architectural support for deep sleep Practical - Email sent Replied yes Builds Database Entry Build notes -
OOPSLA'12 Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi Type-based safe resource deallocation for shared-memory concurrency Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Francesco Logozzo, Thomas Ball Modular and verified automatic program repair Practical - Not sent - - Database Entry - -
OOPSLA'12 Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett An abstract interpretation framework for refactoring with application to extract methods with contracts Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Grigore Rosu, Andrei Stefanescu Checking reachability using matching logic Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Munawar Hafiz, Paul Adamczyk The nature of order: from security patterns to a pattern language Practical - Email sent Replied yes Build fails Database Entry Build notes -
OOPSLA'12 Anton Willy Dubrau, Laurie J. Hendren Taming MATLAB Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Steven Fraser, Richard P. Gabriel, Gail E. Harris, Ricardo Lopez, Dennis Mancl, William F. Opdyke Trade-offs in software design and delivery Theoretical - - - - Database Entry - -
OOPSLA'12 Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu Work-stealing without the baggage Practical - Email sent Replied yes Build fails Database Entry Build notes -
OOPSLA'12 Sebastien Bocq, Koen Daenen Molecule: using monadic and streaming I/O to compose process networks on the JVM Practical - Email sent Replied yes Builds Database Entry Build notes -
OOPSLA'12 Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup Open and efficient type switch for C++ Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Giorgio Ausiello, Camil Demetrescu, Irene Finocchi, Donatella Firmani k-Calling context profiling Practical - Email sent Replied yes Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Ying Zhang, Gang Huang, Xuanzhe Liu, Wei Zhang, Hong Mei, Shunxiang Yang Refactoring android Java code for on-demand computation offloading Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Subhajit Datta, Renuka Sindhgatta, Bikram Sengupta Talk versus work: characteristics of developer collaboration on the jazz platform Theoretical - - - - Database Entry - -
OOPSLA'12 Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen Optimization coaching: optimizers learn to communicate with programmers Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Gabriel D. P. Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser The spoofax name binding language Practical Link from google Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Mattias De Wael, Tom Van Cutsem How to achieve scalable fork/join on many-core architectures? Theoretical - - - - Database Entry - -
OOPSLA'12 Luis Corral Using software quality standards to assure the quality of the mobile software product Theoretical - - - - Database Entry - -
OOPSLA'12 Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu, Toshio Nakatani Adaptive multi-level compilation in a trace-based Java JIT compiler Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Jeff Huang, Charles Zhang Execution privatization for scheduler-oblivious concurrent programs Practical - Not sent - - Database Entry - -
OOPSLA'12 Junaid Haroon Siddiqui, Sarfraz Khurshid Scaling symbolic execution using ranged analysis Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Tomas Kalibera, Matthew Mole, Richard Jones, Jan Vitek A black-box approach to understanding concurrency in DaCapo Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Stefan Muller, Stephen Chong Towards a practical secure concurrent language Practical - Email sent Replied yes Build fails Database Entry Build notes -
OOPSLA'12 Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski From clarity to efficiency for distributed algorithms Practical - Email sent Replied yes Builds Database Entry Build notes -
OOPSLA'12 Xiaomin Xu, Sheng Huang, Yanghua Xiao, Wei Wang SCuV: a novel software clustering and visualization tool Practical Link from google Not sent - Builds Database Entry Build notes -
OOPSLA'12 Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard Bolt: on-demand infinite loop escape in unmodified binaries Practical - Email sent Replied yes Build fails Database Entry Build notes -
OOPSLA'12 Jie Yu, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam Maple: a coverage-driven testing tool for multithreaded programs Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen Gradual typing for first-class classes Theoretical - - - - Database Entry - -
OOPSLA'12 Ulrik Pagh Schultz Programming language abstractions for self-reconfigurable robots Practical Link from google Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy Uniqueness and reference immutability for safe parallelism Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Zachary R. Anderson Efficiently combining parallel software using fine-grained,language-level, hierarchical resource management policies Practical - Email sent Replied yes Builds Database Entry Build notes -
OOPSLA'12 Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kastner Reifying and optimizing collection queries for modularity Practical Link from paper Not sent - Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 K. Rustan M. Leino Staged program development Theoretical - - - - Database Entry - -
OOPSLA'12 Guoqing Xu Finding reusable data structures Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Gustavo Soares Soares Automated behavioral testing of refactoring engines Practical Link from google Not sent - Builds Database Entry Build notes -
OOPSLA'12 Suriya Priya R. Asaithambi, Stan Jarzabek Generic adaptable test cases for software product line testing: software product line Theoretical - - - - Database Entry - -
OOPSLA'12 Hung-Wei Tseng, Dean M. Tullsen Software data-triggered threads Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Christian Kastner, Klaus Ostermann, Sebastian Erdweg A variability-aware module system Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Jennifer B. Sartor, Lieven Eeckhout Exploring multi-threaded Java application performance on multicore hardware Theoretical - - - - Database Entry - -
OOPSLA'12 Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum Detecting problematic message sequences and frequencies in distributed systems Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su Reusing debugging knowledge via trace-based bug search Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt Chaperones and impersonators: run-time support for reasonable interposition Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Jose G. Castanos, David Edelsohn, Kazuaki Ishizaki, Priya Nagpurkar, Toshio Nakatani, Takeshi Ogasawara, Peng Wu On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages Practical - Not sent - - Database Entry - -
OOPSLA'12 Michael Cohen, Haitao Steve Zhu, Emgin Ezgi Senem, Yu David Liu Energy types Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Seonghoon Kang, Sukyoung Ryu Formal specification of a JavaScript module system Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Alessandro Ricci, Andrea Santi From actors to agent-oriented programming abstractions in simpAL Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Mark Zarb Understanding communication within pair programming Theoretical - - - - Database Entry - -
OOPSLA'12 Barbara Simons Internet voting: an idea whose time has not come Theoretical - - - - Database Entry - -
OOPSLA'12 Xudong Wang, Xuanzhe Liu, Ying Zhang, Gang Huang Migration and execution of JavaScript applications between mobile devices and cloud Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Ravi Chugh, David Herman, Ranjit Jhala Dependent types for JavaScript Practical Link from google Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Tao Bao, Yunhui Zheng, Xiangyu Zhang White box sampling in uncertain data processing enabled by program analysis Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Clemens Mayer, Stefan Hanenberg, Romain Robbes, Eric Tanter, Andreas Stefik An empirical study of the influence of static type systems on the usability of undocumented software Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Fernanda Campos, Yadran Eterovic Applying aspect mining techniques to understand an existing program Practical - Email sent No response - Database Entry - -
OOPSLA'12 Youngjoon Jo, Milind Kulkarni Automatically enhancing locality for tree traversals with traversal splicing Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley Automating object transformations for dynamic software updating Practical - Not sent - - Database Entry - -
OOPSLA'12 Fadi Meawad, Gregor Richards, Floreal Morandat, Jan Vitek Eval begone!: semi-automated removal of eval from javascript programs Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Todd W. Schiller, Michael D. Ernst Reducing the barriers to writing verified specifications Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Bo Wu, Zhijia Zhao, Xipeng Shen, Yunlian Jiang, Yaoqing Gao, Raul Silvera Exploiting inter-sequence correlations for program behavior prediction Theoretical - - - - Database Entry - -
OOPSLA'12 Hiroki Nishino Developing a new computer music programming language in the 'research through design' context Theoretical - - - - Database Entry - -
OOPSLA'12 James Coplien Reflections on reflection Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Pavel Parizek, Ondrej Lhotak Predicate abstraction of Java programs with collections Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien Nguyen Analyzing ultra-large-scale code corpus with boa Practical Link from google Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv Understanding the behavior of database operations under program control Practical - Not sent - - Database Entry - -
OOPSLA'12 Sam Tobin-Hochstadt, David Van Horn Higher-order symbolic execution via contracts Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Filip Voracek, Zdenek Tronicek JaDaRD: java data-race detector Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster Kitsune: efficient, general-purpose dynamic software updating for C Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Steven Fraser, Kendra Cooper, Jim Coplien, Ruth G. Lennon, Ramya Ravichandar, Diomidis Spinellis, Giancarlo Succi Software tools research: a matter of scale and scope - or commoditization? Theoretical - - - - Database Entry - -
OOPSLA'12 Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm IFRit: interference-free regions for dynamic data-race detection Practical - Email sent Replied yes Build fails Database Entry Build notes -
OOPSLA'12 Kivanc Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin Speculative analysis of integrated development environment recommendations Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Alon Mishne, Sharon Shoham, Eran Yahav Typestate-based semantic code search over partial programs Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 K. Rustan M. Leino, Aleksandar Milicevic Program extrapolation with jennisys Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Jaswanth Sreeram, Santosh Pande Safe compiler-driven transaction checkpointing and recovery Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
OOPSLA'12 Guilherme Ottoni, Haiping Zhao, Iain Proctor, Minghui Yang, Xin Qi, Mark Williams, Qi Gao, Andrew Paroski, Scott MacVicar, Jason Evans, Stephen Tu The HipHop compiler for PHP Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Paolo G. Giarrusso Reifying and optimizing collection queries for modularity Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Dimitrios Prountzos, Roman Manevich, Keshav Pingali Elixir: a system for synthesizing concurrent graph programs Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor AutoMan: a platform for integrating human-based and digital computation Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Jeff Huang, Charles Zhang LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Sameer Kulkarni, John Cavazos Mitigating the compiler optimization phase-ordering problem using machine learning Practical - Email sent Replied no - Database Entry - -
OOPSLA'12 Shams Mahmood Imam, Vivek Sarkar Integrating task parallelism with actors Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst Reim {\&} ReImInfer: checking and inference of reference immutability and method purity Practical Link from paper Not sent - Builds Database Entry Build notes -
OOPSLA'12 Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson GPUVerify: a verifier for GPU kernels Practical Link from paper Not sent - Build fails Database Entry Build notes -
OOPSLA'12 Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat Constrained kinds Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TOPLAS'34 Yuan Feng, Runyao Duan, Mingsheng Ying Bisimulation for Quantum Processes Theoretical - - - - Database Entry - -
TOPLAS'34 Maartie De Jonge, Lennart C. L. Kats, Eelco Visser, Emma Soderberg Natural and Flexible Error Recovery for Generated Modular Language Environments Practical - Email sent Replied yes Build fails Database Entry Build notes -
TOPLAS'34 Jan Hoffmann, Klaus Aehlig, Martin Hofmann Multivariate amortized resource analysis Practical Link from paper Not sent - Builds Database Entry Build notes -
TOPLAS'34 Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence checking of static affine programs using widening to handle recurrences Practical - Not sent - - Database Entry - -
TOPLAS'34 Pierre Ganty, Rupak Majumdar Algorithmic verification of asynchronous programs Theoretical - - - - Database Entry - -
TOPLAS'34 Frank Tip, Mandana Vaziri, Jan Vitek, Julian Dolby, Christian Hammer, Daniel Marino A data-centric approach to synchronization Practical Link from paper Not sent - Build fails Database Entry Build notes -
TOPLAS'34 Xing Wu, Frank Mueller ScalaExtrap: Trace-based communication extrapolation for SPMD programs Practical Link from google Not sent - Build fails Database Entry Build notes -
TOPLAS'34 Bruno De Fraine, Erik Ernst, Mario Sudholt Essential AOP: The a calculus Practical Link from paper Not sent - Builds Database Entry Build notes -
TOPLAS'34 Anna Bendersky, Erez Petrank Space overhead bounds for dynamic memory management with partial compaction Theoretical - - - - Database Entry - -
TOPLAS'34 Zhengqin luo, Tamara Rezk, Manuel Serrano, Gerard Boudol Reasoning about Web Applications: An Operational Semantics for HOP Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TOPLAS'34 Lakshminarayanan Renganarayanan, Daegon Kim, Michelle Mills Strout, Sanjay Rajopadhye Parameterized loop tiling Practical Link from paper Not sent - Build fails Database Entry Build notes -
TOPLAS'34 Marco Carbone, Kohei Honda, Nobuko Yoshida Structured Communication-Centered Programming for Web Services Theoretical - - - - Database Entry - -
TOPLAS'34 Patrick Lam, Eric Bodden, Laurie Hendren Partially Evaluating Finite-State Runtime Monitors Ahead of Time Practical Link from paper Not sent - Builds Database Entry Build notes -
TOPLAS'34 Samir Genaim, Amir M. Ben-Amram, Abu Naser Masud On the Termination of Integer Loops Theoretical - - - - Database Entry - -
TOPLAS'34 Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-J. Boehm, Dhruva R. Chakrabarti On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code Practical - Not sent - - Database Entry - -
TOPLAS'34 Jan Smans, Bart Jacobs, Frank Piessens Implicit dynamic frames Practical Link from paper Not sent - Builds Database Entry Build notes -
PLDI'12 Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala Deterministic parallelism via liquid effects Practical Link from google Not sent - Build fails Database Entry Build notes -
PLDI'12 Florian Benz, Andreas Hildebrandt, Sebastian Hack A dynamic program analysis to find floating-point accuracy problems Practical Link from google Not sent - Build fails Database Entry Build notes -
PLDI'12 Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko Synthesizing software verifiers from proof rules Practical Link from google Not sent - Build fails Database Entry Build notes -
PLDI'12 Michael Pradel, Thomas R. Gross Fully automatic and precise detection of thread safety violations Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
PLDI'12 Paul Gazzillo, Robert Grimm SuperC: parsing all of C by taming the preprocessor Practical Link from paper Not sent - Builds Database Entry Build notes -
PLDI'12 Dmitrijs Zaparanuks, Matthias Hauswirth Algorithmic profiling Practical - Email sent Replied no - Database Entry - -
PLDI'12 Patrice Godefroid, Ankur Taly Automated synthesis of symbolic instruction encodings from I/O samples Practical - Email sent Replied no - Database Entry - -
PLDI'12 Danfeng Zhang, Aslan Askarov, Andrew C. Myers Language-based control and mitigation of timing channels Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Yan Chen, Joshua Dunfield, Umut A. Acar Type-directed automatic incrementalization Practical - Email sent Replied no - Database Entry - -
PLDI'12 Chun Chen Polyhedra scanning revisited Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav Dynamic synthesis for relaxed memory models Practical - Not sent - - Database Entry - -
PLDI'12 Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi Multicore acceleration of priority-based schedulers for concurrency bug detection Practical - Email sent Replied no - Database Entry - -
PLDI'12 Omer Tripp, Roman Manevich, John Field, Mooly Sagiv JANUS: exploiting parallelism via hindsight Practical - Not sent - - Database Entry - -
PLDI'12 Arun Raman, Ayal Zaks, Jae W. Lee, David I. August Parcae: a system for flexible parallel execution Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
PLDI'12 Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu Understanding and detecting real-world performance bugs Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang Sound and precise analysis of parallel programs through schedule specialization Practical - Email sent No response - Database Entry - -
PLDI'12 John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang Test-case reduction for C compiler bugs Practical Link from paper Not sent - Build fails Database Entry Build notes -
PLDI'12 Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner Verifying GPU kernels by test amplification Practical - Email sent Replied no - Database Entry - -
PLDI'12 Yong Hun Eom, Brian Demsky Self-stabilizing Java Practical - Email sent Replied yes Builds Database Entry Build notes -
PLDI'12 David F. Bacon, Perry Cheng, Sunil Shukla And then there were none: a stall-free real-time garbage collector for reconfigurable hardware Practical - Email sent Replied no - Database Entry - -
PLDI'12 Emilio Coppa, Camil Demetrescu, Irene Finocchi Input-sensitive profiling Practical Link from paper Not sent - Build fails Database Entry Build notes -
PLDI'12 Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman Type-directed completion of partial expressions Practical Link from google Not sent - Build fails Database Entry Build notes -
PLDI'12 Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink Compiling a high-level language for GPUs: (via language support for architectures and compilers) Practical - Not sent - - Database Entry - -
PLDI'12 Mehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Janghaeng Lee, Scott A. Mahlke Adaptive input-aware compilation for graphics engines Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
PLDI'12 Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi The implicit calculus: a new foundation for generic programming Practical Link from paper Not sent - Build fails Database Entry Build notes -
PLDI'12 Luke Cartey, Rune Lyngso, Oege de Moor Synthesising graphics card programs from DSLs Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby Race detection for web applications Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi Design and implementation of sparse global analyses for C-like languages Practical - Email sent Replied no - Database Entry - -
PLDI'12 Cosmin E. Oancea, Lawrence Rauchwerger Logical inference techniques for loop parallelization Practical - Email sent Replied no - Database Entry - -
PLDI'12 Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali Engage: a deployment management system Practical Link from google Not sent - Builds Database Entry Build notes -
PLDI'12 Isil Dillig, Thomas Dillig, Alex Aiken Automated error diagnosis using abductive inference Practical - Email sent Replied no - Database Entry - -
PLDI'12 Min Feng, Rajiv Gupta, Iulian Neamtiu Effective parallelization of loops in the presence of I/O operations Practical - Email sent Replied no - Database Entry - -
PLDI'12 Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha Static analysis and compiler design for idempotent processing Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Rachid Guerraoui, Viktor Kuncak, Giuliano Losa Speculative linearizability Practical Link from paper Not sent - Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
PLDI'12 Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav Scalable and precise dynamic datarace detection for structured parallelism Practical - Not sent - - Database Entry - -
PLDI'12 Aaron Turon Reagents: expressing and composing fine-grained concurrency Practical Link from paper Not sent - Build fails Database Entry Build notes -
PLDI'12 Justin Holewinski, Ragavendar Ramamurthi, Mahesh Ravishankar, Naznin Fauzia, Louis-Noel Pouchet, Atanas Rountev, P. Sadayappan Dynamic trace-based analysis of vectorization potential of applications Practical - Email sent Replied yes Build fails Database Entry Build notes -
PLDI'12 Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard Proving acceptability properties of relaxed nondeterministic approximate programs Practical Link from paper Not sent - Build fails Database Entry Build notes -
PLDI'12 Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Concurrent data representation synthesis Practical - Not sent - - Database Entry - -
PLDI'12 Charisee Chiw, Gordon Kindlmann, John Reppy, Lamont Samuels, Nick Seltzer Diderot: a parallel DSL for image analysis and visualization Practical Link from google Not sent - Builds Database Entry Build notes -
PLDI'12 Brian Hackett, Shu-yu Guo Fast and precise hybrid type inference for JavaScript Practical - Email sent Replied yes Builds Database Entry Build notes -
PLDI'12 Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams Synchronising C/C++ and POWER Practical Link from paper Not sent - Builds Database Entry Build notes -
PLDI'12 Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan RockSalt: better, faster, stronger SFI for the x86 Practical - Email sent Replied yes Builds Database Entry Build notes -
PLDI'12 Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August Speculative separation for privatization and reductions Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
PLDI'12 Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani Parallelizing top-down interprocedural analyses Practical - Email sent Replied no - Database Entry - -
PLDI'12 Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir A compiler framework for extracting superword level parallelism Practical - Email sent Replied no - Database Entry - -
PLDI'12 Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea Efficient state merging in symbolic execution Practical Link from paper Not sent - Build fails Database Entry Build notes -
PLDI'12 Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy Chimera: hybrid program analysis for determinism Practical - Not sent - - Database Entry - -
SOSP'11 Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh Pervasive detection of process races in deployed systems Practical - Not sent - - Database Entry - -
SOSP'11 Brad Calder, Ju Wang, Aaron Ogus, Niranjan Nilakantan, Arild Skjolsvold, Sam McKelvie, Yikang Xu, Shashwat Srivastav, Jiesheng Wu, Huseyin Simitci, Jaidev Haridas, Chakravarthy Uddaraju, Hemal Khatri, Andrew Edwards, Vaman Bedekar, Shane Mainali, Rafay Abbasi, Arpit Agarwal, Mian Fahim ul Haq, Muhammad Ikram ul Haq, Deepali Bhardwaj, Sowmya Dayanand, Anitha Adusumilli, Marvin McNett, Sriram Sankaran, Kavitha Manivannan, Leonidas Rigas Windows Azure Storage: a highly available cloud storage service with strong consistency Practical - Email sent No response - Database Entry - -
SOSP'11 Ulfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu Fay: extensible distributed tracing from kernels to clusters Practical - Not sent - - Database Entry - -
SOSP'11 Diego Ongaro, Stephen M. Rumble, Ryan Stutsman, John K. Ousterhout, Mendel Rosenblum Fast crash recovery in RAMCloud Practical Link from google Not sent - Build fails Database Entry Build notes -
SOSP'11 Tongping Liu, Charlie Curtsinger, Emery D. Berger Dthreads: efficient deterministic multithreading Practical Link from google Not sent - Builds Database Entry Build notes -
SOSP'11 Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang Efficient deterministic multithreading through schedule relaxation Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SOSP'11 Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh Cells: a virtual mobile smartphone architecture Practical - Email sent Replied no - Database Entry - -
SOSP'11 Michael P. Mesnier, Feng Chen, Tian Luo, Jason B. Akers Differentiated storage services Practical - Email sent Replied no - Database Entry - -
SOSP'11 Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan CryptDB: protecting confidentiality with encrypted query processing Practical Link from paper Not sent - Build fails Database Entry Build notes -
SOSP'11 Lisa Glendenning, Ivan Beschastnikh, Arvind Krishnamurthy, Thomas E. Anderson Scalable consistency in Scatter Practical - Email sent Replied no - Database Entry - -
SOSP'11 Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish Detecting failures in distributed systems with the Falcon spy network Practical Link from paper Not sent - Build fails Database Entry Build notes -
SOSP'11 Yair Sovran, Russell Power, Marcos K. Aguilera, Jinyang Li Transactional storage for geo-replicated systems Practical - Email sent Replied yes Build fails Database Entry Build notes -
SOSP'11 Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich Intrusion recovery for database-backed web applications Practical - Not sent - - Database Entry - -
SOSP'11 Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang Practical software model checking via dynamic interface reduction Practical - Not sent - - Database Entry - -
SOSP'11 Hyeontaek Lim, Bin Fan, David G. Andersen, Michael Kaminsky SILT: a memory-efficient, high-performance key-value store Practical Link from google Not sent - Build fails Database Entry Build notes -
SOSP'11 Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, Shankar Pasupathy, Zuoning Yin An empirical study on configuration errors in commercial and open source systems Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SOSP'11 James Mickens, Mohan Dhawan Atlantis: robust, extensible execution environments for web applications Practical - Email sent Replied no - Database Entry - -
SOSP'11 Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau A file is not a file: understanding the I/O behavior of Apple desktop applications Theoretical - - - - Database Entry - -
SOSP'11 Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr Secure network provenance Practical - Email sent Replied no - Database Entry - -
SOSP'11 Christopher J. Rossbach, Jon Currey, Mark Silberstein, Baishakhi Ray, Emmett Witchel PTask: operating system abstractions to manage GPUs as compute devices Practical - Not sent - - Database Entry - -
SOSP'11 Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek Software fault isolation with API integrity and multi-principal modules Practical - Email sent Replied no - Database Entry - -
SOSP'11 Yanpei Chen, Kiran Srinivasan, Garth R. Goodson, Randy H. Katz Design implications for enterprise storage systems via multi-dimensional trace analysis Practical - Email sent Replied no - Database Entry - -
SOSP'11 Atul Adya, Gregory Cooper, Daniel Myers, Michael Piatek Thialfi: a client notification service for internet-scale applications Practical - Email sent Replied no - Database Entry - -
SOSP'11 Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization Practical - Email sent Replied no - Database Entry - -
SOSP'11 Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy Detecting and surviving data races using complementary schedules Practical - Not sent - - Database Entry - -
SOSP'11 Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter Loscocco, Andrew Warfield Breaking up is hard to do: security and functionality in a commodity hypervisor Practical - Email sent Replied yes Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
SOSP'11 Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen Don't settle for eventual: scalable causal consistency for wide-area storage with COPS Practical - Email sent Replied yes Build fails Database Entry Build notes -
SOSP'11 Emin Gun Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider Logical attestation: an authorization architecture for trustworthy computing Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Amit Goyal, Francesco Bonchi, Laks V. S. Lakshmanan A Data-Based Approach to Social Influence Maximization Practical Link from paper Not sent - Builds Database Entry Build notes -
VLDB'12 Guoliang Li, Dong Deng, Jiannan Wang, Jianhua Feng PASS-JOIN: A Partition-based Method for Similarity Joins Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Georgios John Fakas, Zhi Cai, Nikos Mamoulis Size-l Object Summaries for Relational Keyword Search Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Thanh Hoang Nguyen, Viviane Moreira, Huong Nguyen, Hoa Nguyen, Juliana Freire Multilingual Schema Matching for Wikipedia Infoboxes Practical - Email sent No response - Database Entry - -
VLDB'12 Yizhou Sun, Charu C. Aggarwal, Jiawei Han Relation Strength-Aware Clustering of Heterogeneous Information Networks with Incomplete Attributes Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Ning Zhang, Jun'ichi Tatemura, Jignesh M. Patel, Hakan Hacigumus Towards Cost-Effective Storage Provisioning for DBMSs Practical - Email sent Replied no - Database Entry - -
VLDB'12 Lujun Fang, Anish Das Sarma, Cong Yu, Philip Bohannon REX: Explaining Relationships between Entity Pairs Practical - Email sent Replied no - Database Entry - -
VLDB'12 Sayan Ranu, Ambuj K. Singh Answering Top-k Queries Over a Mixture of Attractive and Repulsive Dimensions Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Francois Goasdoue, Konstantinos Karanasos, Julien Leblay, Ioana Manolescu View Selection in Semantic Web Databases Practical - Email sent Replied yes Build fails Database Entry Build notes -
VLDB'12 Jeffrey Jestes, Ke Yi, Feifei Li Building Wavelet Histograms on Large Data in MapReduce Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Rani Qumsiyeh, Maria Soledad Pera, Yiu-Kai Ng Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements Practical - Email sent No response - Database Entry - -
VLDB'12 Christopher Hoobin, Simon J. Puglisi, Justin Zobel Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Dan Lin, Christian S. Jensen, Rui Zhang, Lu Xiao, Jiaheng Lu A MovingObject Index for Efficient Query Processing with Peer-Wise Location Privacy Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Guimei Liu, Haojun Zhang, Limsoon Wong Controlling False Positives in Association Rule Mining Practical - Email sent Replied no - Database Entry - -
VLDB'12 Essam Mansour, Amin Allam, Spiros Skiadopoulos, Panos Kalnis ERA: Efficient Serial and Parallel Suffix Tree Construction for Very Long Strings Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Adam Marcus, Eugene Wu, David R. Karger, Samuel Madden, Robert C. Miller Human-powered Sorts and Joins Practical - Email sent Replied no - Database Entry - -
VLDB'12 Fabian M. Suchanek, Serge Abiteboul, Pierre Senellart PARIS: Probabilistic Alignment of Relations, Instances,and Schema Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Andrew Pavlo, Evan P. C. Jones, Stanley B. Zdonik On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems Practical - Email sent Replied yes Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Graham Cormode, Justin Thaler, Ke Yi Verifying Computations with Streaming Interactive Proofs Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Peixiang Zhao, Charu C. Aggarwal, Min Wang gSketch: On Query Estimation in Graph Streams Practical - Not sent - - Database Entry - -
VLDB'12 Daniel Fabbri, Kristen LeFevre Explanation-Based Auditing Practical - Email sent Replied no - Database Entry - -
VLDB'12 Brian E. Ruttenberg, Ambuj K. Singh Indexing the Earth Mover's Distance Using Normal Distributions Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Hongchan Roh, Sanghyun Park, Sungho Kim, Mincheol Shin, Sang-Won Lee B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives Practical - Email sent Replied no - Database Entry - -
VLDB'12 Lingkun Wu, Xiaokui Xiao, Dingxiong Deng, Gao Cong, Andy Diwen Zhu, Shuigeng Zhou Shortest Path and Distance Queries on Road Networks: An Experimental Evaluation Practical Link from paper Not sent - Build fails Database Entry Build notes -
VLDB'12 Michael Armbrust, Kristal Curtis, Tim Kraska, Armando Fox, Michael J. Franklin, David A. Patterson PIQL: Success-Tolerant Query Processing in the Cloud Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Jens Kruger, Changkyu Kim, Martin Grund, Nadathur Satish, David Schwalb, Jatin Chhugani, Hasso Plattner, Pradeep Dubey, Alexander Zeier Fast Updates on Read-Optimized Databases Using Multi-Core CPUs Practical - Email sent No response - Database Entry - -
VLDB'12 Di Yang, Elke A. Rundensteiner, Matthew O. Ward Summarization and Matching of Density-Based Clusters in Streaming Environments Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Stephan Ewen, Kostas Tzoumas, Moritz Kaufmann, Volker Markl Spinning Fast Iterative Data Flows Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Lu Qin, Jeffrey Xu Yu, Lijun Chang Diversifying Top-K Results Practical - Email sent No response - Database Entry - -
VLDB'12 Dong-Wan Choi, Chin-Wan Chung, Yufei Tao A Scalable Algorithm for Maximizing Range Sum in Spatial Databases Practical - Not sent - - Database Entry - -
VLDB'12 Marina Barsky, Sangkyum Kim, Tim Weninger, Jiawei Han Mining Flipping Correlations from Large Datasets with Taxonomies Practical - Not sent - - Database Entry - -
VLDB'12 Paolo Boldi, Francesco Bonchi, Aristides Gionis, Tamir Tassa Injecting Uncertainty in Graphs for Identity Obfuscation Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Wenfei Fan, Xin Wang, Yinghui Wu Performance Guarantees for Distributed Reachability Queries Practical - Email sent Replied no - Database Entry - -
VLDB'12 Xin Cao, Lisi Chen, Gao Cong, Xiaokui Xiao Keyword-aware Optimal Route Search Practical - Not sent - - Database Entry - -
VLDB'12 Xiaochun Yang, Honglei Liu, Bin Wang ALAE: Accelerating Local Alignment with Affine Gap Exactly in Biosequence Databases Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Abhay Jha, Dan Suciu Probabilistic Databases with MarkoViews Practical - Email sent Replied no - Database Entry - -
VLDB'12 Haohan Zhu, George Kollios, Vassilis Athitsos A Generic Framework for Efficient and Effective Subsequence Retrieval Practical Link from paper Not sent - Builds Database Entry Build notes -
VLDB'12 Goetz Graefe, Felix Halim, Stratos Idreos, Harumi Kuno, Stefan Manegold Concurrency Control for Adaptive Indexing Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Dora Erdos, Vatche Ishakian, Andrei Lapets, Evimaria Terzi, Azer Bestavros The Filter-Placement Problem and its Application to Minimizing Information Multiplicity Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Bahman Bahmani, Benjamin Moseley, Andrea Vattani, Sergei Vassilvitskii, Ravi Kumar Scalable K-Means++ Practical - Not sent - - Database Entry - -
VLDB'12 Houtan Shirani-Mehr, Farnoush Banaei-Kashani, Cyrus Shahabi Efficient Reachability Query Evaluation in Large Spatiotemporal Contact Datasets Practical - Email sent Replied no - Database Entry - -
VLDB'12 Robert Isele, Christian Bizer Learning Expressive Linkage Rules using Genetic Programming Practical Link from paper Not sent - Builds Database Entry Build notes -
VLDB'12 Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke The Complexity of Social Coordination Practical - Not sent - - Database Entry - -
VLDB'12 Yi Zhang, Jun Yang Optimizing I/O for Big Array Analytics Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Yongxin Tong, Lei Chen, Yurong Cheng, Philip S. Yu Mining Frequent Itemsets over Uncertain Databases Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Per-Ake Larson, Spyros Blanas, Cristian Diaconu, Craig Freedman, Jignesh M. Patel, Mike Zwilling High-Performance Concurrency Control Mechanisms for Main-Memory Databases Practical - Not sent - - Database Entry - -
VLDB'12 Jaroslaw Szlichta, Parke Godfrey, Jarek Gryz Fundamentals of Order Dependencies Theoretical - - - - Database Entry - -
VLDB'12 Michael Benedikt, Pierre Bourhis, Clemens Ley Querying Schemas With Access Restrictions Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Bo Zhao, Benjamin I P Rubinstein, Jim Gemmell, Jiawei Han A Bayesian Approach to Discovering Truth from Conflicting Sources for Data Integration Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Pirooz Chubak, Davood Rafiei Efficient Indexing and Querying over Syntactically Annotated Trees Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Ganzhao Yuan, Zhenjie Zhang, Marianne Winslett, Xiaokui Xiao, Yin Yang, Zhifeng Hao Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy Practical Link from paper Not sent - Builds Database Entry Build notes -
VLDB'12 Peter Bailis, Shivaram Venkataraman, Michael J. Franklin, Joseph M. Hellerstein, Ion Stoica Probabilistically Bounded Staleness for Practical Partial Quorums Practical Link from paper Not sent - Build fails Database Entry Build notes -
VLDB'12 Chao Li, Gerome Miklau An Adaptive Mechanism for Accurate Query Answering under Differential Privacy Practical Link from paper Not sent - Builds Database Entry Build notes -
VLDB'12 Ziyu Guan, Xifeng Yan, Lance M. Kaplan Measuring Two-Event Structural Correlations on Graphs Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Jiexing Li, Arnd Christian Konig, Vivek Narasayya, Surajit Chaudhuri Robust Estimation of Resource Consumption for SQL Queries using Statistical Techniques Practical - Not sent - - Database Entry - -
VLDB'12 Goetz Graefe, Harumi Kuno Definition, Detection, and Recovery of Single-Page Failures,a Fourth Class of Database Failures Theoretical - - - - Database Entry - -
VLDB'12 Georgios Giannikis, Gustavo Alonso, Donald Kossmann SharedDB: Killing One Thousand Queries With One Stone Practical - Email sent Replied no - Database Entry - -
VLDB'12 Michael T. Goodrich, Duy Nguyen, Olga Ohrimenko, Charalampos Papamanthou, Roberto Tamassia, Nikos Triandopoulos, Cristina Videira Lopes Efficient Verification of Web-Content Searching Through Authenticated Web Crawlers Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Albert Angel, Nick Koudas, Nikos Sarkas, Divesh Srivastava Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification Practical - Email sent Replied no - Database Entry - -
VLDB'12 Venu Satuluri, Srinivasan Parthasarathy Bayesian Locality Sensitive Hashing for Fast Similarity Search Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Nodira Khoussainova, Magdalena Balazinska, Dan Suciu PerfXplain: Debugging MapReduce Job Performance Practical - Not sent - - Database Entry - -
VLDB'12 Cheng Sheng, Nan Zhang, Yufei Tao, Xin Jin Optimal Algorithms for Crawling a Hidden Database in the Web Practical - Email sent Replied yes Build fails Database Entry Build notes -
VLDB'12 Karl Schnaitter, Neoklis Polyzotis Semi-Automatic Index Tuning: Keeping DBAs in the Loop Practical - Email sent Replied no - Database Entry - -
VLDB'12 Iman Elghandour, Ashraf Aboulnaga ReStore: Reusing Results of MapReduce Jobs Practical - Email sent Replied no - Database Entry - -
VLDB'12 Jun Zhang, Zhenjie Zhang, Xiaokui Xiao, Yin Yang, Marianne Winslett Functional Mechanism: Regression Analysis under Differential Privacy Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Lukas Blunschi, Claudio Jossen, Donald Kossmann, Magdalini Mori, Kurt Stockinger SODA: Generating SQL for Business Users Practical - Email sent No response - Database Entry - -
VLDB'12 Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana Type-Based Detection of XML Query-Update Independence Practical - Email sent Replied no - Database Entry - -
VLDB'12 Kyriakos Mouratidis, Man Lung Yiu Shortest Path Computation with No Information Leakage Practical - Email sent Replied yes Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Gabriela Jacques-Silva, Bugra Gedik, Rohit Wagle, Kun-Lung Wu, Vibhore Kumar Building User-defined Runtime Adaptation Routines for Stream Processing Applications Practical - Email sent Replied no - Database Entry - -
VLDB'12 Shuai Ma, Yang Cao, Jinpeng Huai, Wenfei Fan, Tianyu Wo Capturing Topology in Graph Pattern Matching Practical - Not sent - - Database Entry - -
VLDB'12 Manoj K Agarwal, Krithi Ramamritham, Manish Bhide Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments Practical - Email sent Replied no - Database Entry - -
VLDB'12 K Selcuk Candan, Rosaria Rossini, Maria Luisa Sapino, Xiaolan Wang sDTW: Computing DTW Distances using Locally Relevant Constraints based on Salient Feature Alignments Practical - Email sent Replied no - Database Entry - -
VLDB'12 Zhao Sun, Hongzhi Wang, Haixun Wang, Bin Shao, Jianzhong Li Efficient Subgraph Matching on Billion Node Graphs Practical - Email sent Replied no - Database Entry - -
VLDB'12 Ahmed M. Aly, Walid G. Aref, Mourad Ouzzani Spatial Queries with Two kNN Predicates Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Xiaofei Zhang, Lei Chen, Min Wang Efficient Multi-way Theta-Join Processing Using MapReduce Practical - Not sent - - Database Entry - -
VLDB'12 Woon-Hak Kang, Sang-Won Lee, Bongki Moon Flash-based Extended Cache for Higher Throughput and Faster Recovery Practical - Email sent No response - Database Entry - -
VLDB'12 Florian Funke, Alfons Kemper, Thomas Neumann Compacting Transactional Data in Hybrid OLTP {\&}amp; OLAP Databases Practical - Not sent - - Database Entry - -
VLDB'12 Caleb Chen Cao, Jieying She, Yongxin Tong, Lei Chen Whom to Ask? Jury Selection for Decision Making Tasks on Micro-blog Services Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Wei Lu, Yanyan Shen, Beng Chin Ooi, Su Chen Efficient Processing of k Nearest Neighbor Joins using MapReduce Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Thi Nguyen, Zhen He, Rui Zhang, Phillip Ward Boosting Moving Object Indexing through Velocity Partitioning Practical - Not sent - - Database Entry - -
VLDB'12 Arnd Christian Konig, Bolin Ding, Surajit Chaudhuri, Vivek Narasayya A Statistical Approach Towards Robust Progress Estimation Practical - Email sent Replied no - Database Entry - -
VLDB'12 Jia Wang, James Cheng Truss Decomposition in Massive Networks Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, Prithwish Basu Cologne: A Declarative Distributed Constraint Optimization Platform Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Ahmed Metwally, Christos Faloutsos V-SMART-Join: A Scalable MapReduce Framework for All-Pair Similarity Joins of Multisets and Vectors Practical - Email sent Replied no - Database Entry - -
VLDB'12 Robert Fink, Larisa Han, Dan Olteanu Aggregation in Probabilistic Databases via Knowledge Compilation Practical - Not sent - - Database Entry - -
VLDB'12 MartinaCezara Albutiu, Alfons Kemper, Thomas Neumann Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems Practical - Email sent No response - Database Entry - -
VLDB'12 Joachim Selke, Christoph Lofi, Wolf-Tilo Balke Pushing the Boundaries of Crowd-enabled Databases with Query-driven Schema Expansion Practical - Email sent No response - Database Entry - -
VLDB'12 Jeffrey Jestes, Jeff M. Phillips, Mingwang Tang, Feifei Li Ranking Large Temporal Data Practical - Email sent Replied yes Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Yasuhiro Fujiwara, Makoto Nakatsuji, Makoto Onizuka, Masaru Kitsuregawa Fast and Exact Top-k Search for Random Walk with Restart Practical - Email sent Replied no - Database Entry - -
VLDB'12 Odysseas Papapetrou, Minos Garofalakis, Antonios Deligiannakis Sketch-based Querying of Distributed Sliding-Window Data Streams Practical - Not sent - - Database Entry - -
VLDB'12 Hongzhi Yin, Bin Cui, Jing Li, Junjie Yao, Chen Chen Challenging the Long Tail Recommendation Practical - Email sent Replied yes Build fails Database Entry Build notes -
VLDB'12 Bogdan Cautis, Evgeny Kharlamov Answering Queries using Views over Probabilistic XML: Complexity and Tractability Theoretical - - - - Database Entry - -
VLDB'12 Theodoros Lappas, Marcos R. Vieira, Dimitrios Gunopulos, Vassilis J. Tsotras On The Spatiotemporal Burstiness of Terms Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Michael A. Bender, Martin FarachColton, Rob Johnson, Russell Kraner, Bradley C. Kuszmaul, Dzejla Medjedovic, Pablo Montes, Pradeep Shetty, Richard P. Spillane, Erez Zadok Don't Thrash: How to Cache Your Hash on Flash Practical - Email sent Replied no - Database Entry - -
VLDB'12 Yu Cao, Chee-Yong Chan, Jie Li, Kian-Lee Tan Optimization of Analytic Window Functions Practical - Email sent Replied no - Database Entry - -
VLDB'12 Harold Lim, Herodotos Herodotou, Shivnath Babu Stubby: A Transformation-based Optimizer for MapReduce Workflows Practical - Email sent Replied no - Database Entry - -
VLDB'12 Zhuowei Bao, Susan B. Davidson, Tova Milo Labeling Workflow Views with Fine-Grained Dependencies Practical - Email sent Replied no - Database Entry - -
VLDB'12 Yanif Ahmad, Oliver Kennedy, Christoph Koch, Milos Nikolic DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views Practical Link from google Not sent - Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Nurzhan Bakibayev, Dan Olteanu, Jakub Zavodny FDB: A Query Engine for Factorised Relational Databases Practical - Email sent Replied no - Database Entry - -
VLDB'12 Benjamin Sowell, Wojciech Golab, Mehul A. Shah Minuet: A Scalable Distributed Multiversion B-Tree Practical - Email sent Replied no - Database Entry - -
VLDB'12 Qiang Zeng, Hai Zhuge Comments on "Stack-based Algorithms for Pattern Matching on DAGs" Practical - Not sent - - Database Entry - -
VLDB'12 Rishabh Singh, Sumit Gulwani Learning Semantic String Transformations from Examples Practical - Email sent Replied no - Database Entry - -
VLDB'12 Jens Dittrich, Stefan Richter, Jorge-Arnulfo Quiane-Ruiz, Stefan Schuh, Alekh Jindal, Jorg Schad Only Aggressive Elephants are Fast Elephants Practical - Email sent Replied no - Database Entry - -
VLDB'12 Alexander Hall, Olaf Bachmann, Robert Bussow, Silviu Ganceanu, Marc Nunkesser Processing a Trillion Cells per Mouse Click Practical - Email sent Replied no - Database Entry - -
VLDB'12 Stacy Patterson, Aaron J. Elmore, Faisal Nawab, Divyakant Agrawal, Amr El Abbadi Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores Practical - Email sent Replied no - Database Entry - -
VLDB'12 Tamraparni Dasu, Ji Meng Loh Statistical Distortion: Consequences of Data Cleaning Practical - Email sent No response - Database Entry - -
VLDB'12 Hoang Tam Vo, Sheng Wang, Divyakant Agrawal, Gang Chen, Beng Chin Ooi LogBase: A Scalable Log-structured Database System in the Cloud Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers Automatic Partitioning of Database Applications Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Farhan Tauheed, Thomas Heinis, Felix Schurmann, Anastasia Ailamaki, Henry Markram SCOUT: Prefetching for Latent Feature Following Queries Practical - Not sent - - Database Entry - -
VLDB'12 Yael Amsterdamer, Susan B. Davidson, Daniel Deutch, Tova Milo, Julia Stoyanovich Putting Lipstick on Pig: Enabling Database-style Workflow Provenance Practical - Not sent - - Database Entry - -
VLDB'12 Prasang Upadhyaya, Magdalena Balazinska, Dan Suciu How to Price Shared Optimizations in the Cloud Practical - Email sent Replied no - Database Entry - -
VLDB'12 Mahashweta Das, Saravanan Thirumuruganathan, Sihem AmerYahia, Gautam Das Who Tags What? An Analysis Framework Practical - Not sent - - Database Entry - -
VLDB'12 Bahman Bahmani, Ravi Kumar, Sergei Vassilvitskii Densest Subgraph in Streaming and MapReduce Practical - Email sent Replied no - Database Entry - -
VLDB'12 Jiannan Wang, Tim Kraska, Michael J. Franklin, Jianhua Feng CrowdER: Crowdsourcing Entity Resolution Practical - Email sent Replied no - Database Entry - -
VLDB'12 Mayank Sachan, Arnab Bhattacharya Mining Statistically Significant Substrings using the Chi-Square Statistic Practical - Email sent Replied no - Database Entry - -
VLDB'12 Junchen Jiang, Hongji Bao, Edward Y. Chang, Yuqian Li MOIST: A Scalable and Parallel Moving Object Indexer with School Tracking Practical - Email sent Replied no - Database Entry - -
VLDB'12 Arun Kumar, Christopher Re Probabilistic Management of OCR Data using an RDBMS Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Danica Porobic, Ippokratis Pandis, Miguel Branco, Pinar Tozun, Anastasia Ailamaki OLTP on Hardware Islands Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Rakesh Pimplikar, Sunita Sarawagi Answering Table Queries on the Web using Column Keywords Practical - Email sent Replied no - Database Entry - -
VLDB'12 Nilesh Dalvi, Ashwin Machanavajjhala, Bo Pang An Analysis of Structured Data on the Web Theoretical - - - - Database Entry - -
VLDB'12 Ju Fan, Guoliang Li, Lizhu Zhou, Shanshan Chen, Jun Hu SEAL: Spatio-Textual Similarity Search Practical - Email sent No response - Database Entry - -
VLDB'12 Fabian Hueske, Mathias Peters, Matthias J. Sax, Astrid Rheinlander, Rico Bergmann, Aljoscha Krettek, Kostas Tzoumas Opening the Black Boxes in Data Flow Optimization Practical - Email sent Replied no - Database Entry - -
VLDB'12 Mateusz Pawlik, Nikolaus Augsten RTED: A Robust Algorithm for the Tree Edit Distance Practical Link from google Not sent - Builds Database Entry Build notes -
VLDB'12 Arlei Silva, Wagner Meira Jr, Mohammed J. Zaki Mining Attribute-structure Correlated Patterns in Large Attributed Graphs Practical Link from paper Not sent - Build fails Database Entry Build notes -
VLDB'12 Jianneng Cao, Panagiotis Karras Publishing Microdata with a Robust Privacy Guarantee Practical - Not sent - - Database Entry - -
VLDB'12 Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H C Yap Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores Practical - Email sent Replied yes Build fails Database Entry Build notes -
VLDB'12 Ye Yuan, Guoren Wang, Lei Chen, Haixun Wang Efficient Subgraph Similarity Search on Large Probabilistic Graph Databases Practical - Not sent - - Database Entry - -
VLDB'12 Willis Lang, Stavros Harizopoulos, Jignesh M. Patel, Mehul A. Shah, Dimitris Tsirogiannis Towards Energy-Efficient Database Cluster Design Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Kaibo Wang, Yin Huai, Rubao Lee, Fusheng Wang, Xiaodong Zhang, Joel H. Saltz Accelerating Pathology Image Data Cross-Comparison on CPU-GPU Hybrid Systems Practical - Email sent Replied yes Build fails Database Entry Build notes -
VLDB'12 Francesco Gullo, Andrea Tagarelli Uncertain Centroid based Partitional Clustering of Uncertain Data Practical - Email sent Replied yes Builds Database Entry Build notes -
VLDB'12 Vince barany, Balder ten Cate, Martin Otto Queries with Guarded Negation Theoretical - - - - Database Entry - -
VLDB'12 Michele Dallachiesa, Besmira Nushi, Katsiaryna Mirylenka, Themis Palpanas Uncertain Time-Series Similarity: Return to the Basics Practical Link from google Not sent - Build fails Database Entry Build notes -
VLDB'12 Xuan Liu, Meiyu Lu, Beng Chin Ooi, Yanyan Shen, Sai Wu, Meihui Zhang CDAS: A Crowdsourcing Data Analytics System Practical - Not sent - - Database Entry - -
VLDB'12 Manolis Terrovitis, John Liagouris, Nikos Mamoulis, Spiros Skiadopoulos Privacy Preservation by Disassociation Practical - Email sent Replied no - Database Entry - -
VLDB'12 Qiang Zeng, Xiaorui Jiang, Hai Zhuge Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data Practical - Email sent Replied no - Database Entry - -
VLDB'12 Bhargav Kanagal, Amr Ahmed, Sandeep Pandey, Vanja Josifovski, Jeff Yuan, Lluis Garcia-Pueyo Supercharging Recommender Systems using Taxonomies for Learning User Purchase Behavior Practical - Email sent No response - Database Entry - -
VLDB'12 Ninghui Li, Wahbeh Qardaji, Dong Su, Jianneng Cao PrivBasis: Frequent Itemset Mining with Differential Privacy Practical - Not sent - - Database Entry - -
VLDB'12 Nikolay Laptev, Kai Zeng, Carlo Zaniolo Early Accurate Results for Advanced Analytics on MapReduce Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
VLDB'12 Yucheng Low, Joseph Gonzalez, Aapo Kyrola, Danny Bickson, Joseph M. Hellerstein Distributed GraphLab: A Framework for Machine Learning in the Cloud Practical Link from paper Not sent - Builds Database Entry Build notes -
VLDB'12 Jun Gao, Ruoming Jin, Jiashuai Zhou, Jeffrey Xu Yu, Xiao Jiang, Tengjiao Wang Relational Approach for Shortest Path Discovery over Large Graphs Practical - Not sent - - Database Entry - -
VLDB'12 Tian Luo, Rubao Lee, Michael Mesnier, Feng Chen, Xiaodong Zhang hStorage-DB: Heterogeneity-aware Data Management to Exploit the Full Capability of Hybrid Storage Systems Practical - Not sent - - Database Entry - -
TOCS'30 Christoffer Dall, Jeremy Andrus, Alexander Van't Hof, Oren Laadan, Jason Nieh The Design, Implementation, and Evaluation of Cells: A Virtual Smartphone Architecture Theoretical - - - - Database Entry - -
TOCS'30 Juan Carlos Saez, Alexandra Fedorova, David Koufaty, Manuel Prieto Leveraging Core Specialization via OS Scheduling to Improve Performance on Asymmetric Multicore Systems Practical - Email sent Replied no - Database Entry - -
TOCS'30 Edouard Bugnion, Mendel Rosenblum, Scott Devine, Jeremy Sugerman, Edward Y. Wang Bringing Virtualization to the x86 Architecture with the Original VMware Workstation Practical - Email sent Replied no - Database Entry - -
TOCS'30 Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau A File Is Not a File: Understanding the I/O Behavior of Apple Desktop Applications Practical Link from paper Not sent - Builds Database Entry Build notes -
TOCS'30 Anshul Gandhi, Mor Harchol-Balter, Ram Raghunathan, Michael A. Kozuch AutoScale: Dynamic, Robust Capacity Management for Multi-Tier Data Centers Practical - Email sent Replied no - Database Entry - -
TOCS'30 Peter M. Chen, Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Jason Flinn, Satish Narayanasamy DoublePlay: Parallelizing Sequential Logging and Replay Practical - Email sent Replied no - Database Entry - -
TOCS'30 Mark Gebhart, Daniel R. Johnson, David Tarjan, Stephen W. Keckler, William J. Dally, Erik Lindholm, Kevin Skadron A Hierarchical Thread Scheduler and Register File for Energy-Efficient Throughput Processors Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
TOCS'30 Adrian Schupbach, Andrew Baumann, Timothy Roscoe, Simon Peter A Declarative Language Approach to Device Configuration Practical Link from google Not sent - Build fails Database Entry Build notes -
TOCS'30 Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou, Stefan Savage Improving Software Diagnosability via Log Enhancement Practical - Email sent No response - Database Entry - -
TOCS'30 Michael Ferdman, Almutaz Adileh, Yusuf Onur Kocberber, Stavros Volos, Mohammad Alisafaee, Djordje Jevdjic, Cansu Kaynak, Adrian Daniel Popescu, Anastasia Ailamaki, Babak Falsafi Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors Practical Link from google Not sent - Build fails Database Entry Build notes -
TOCS'30 George Candea, Vitaly Chipounov, Volodymyr Kuznetsov The S2E Platform: Design, Implementation, and Applications Practical Link from paper Not sent - Build fails Database Entry Build notes -
TOCS'30 Mihai Budiu, Ulfar Erlingsson, Marcus Peinado, Simon Peter, Gloria Mainar-Ruiz Fay: Extensible Distributed Tracing from Kernels to Clusters Practical - Email sent Replied no - Database Entry - -
TOCS'30 Eiman Ebrahimi, Chang Joo Lee, Onur Mutlu, Yale N. Patt Fairness via Source Throttling: A Configurable and High-Performance Fairness Substrate for Multicore Memory Systems Practical - Email sent No response - Database Entry - -
TOCS'30 Hadi Esmaeilzadeh, Emily R. Blem, Renee St. Amant, Karthikeyan Sankaralingam, Doug Burger Power Limitations and Dark Silicon Challenge the Future of Multicore Practical Link from paper Not sent - Build fails Database Entry Build notes -
CCS'12 Nigel Edwards, Liqun Chen An historical examination of open source releases and their vulnerabilities Theoretical - - - - Database Entry - -
CCS'12 Chunyi Peng, Chi-yu Li, Guan-hua Tu, Songwu Lu, Lixia Zhang Mobile data charging: new attacks and countermeasures Theoretical - - - - Database Entry - -
CCS'12 Martin Georgiev, Subodh Iyengar, Suman Jana, Rishita Anubhai, Dan Boneh, Vitaly Shmatikov The most dangerous code in the world: validating SSL certificates in non-browser software Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith Secure two-party computations in ANSI C Practical Link from paper Not sent - Builds Database Entry Build notes -
CCS'12 Myrto Arapinis, Loretta Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar New privacy issues in mobile telephony: fix and verification Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Zhou Li, Kehuan Zhang, Yinglian Xie, Fang Yu, XiaoFeng Wang Knowing your enemy: understanding and detecting malicious web advertising Practical - Not sent - - Database Entry - -
CCS'12 Jason Crampton, Gregory Gutin, Anders Yeo On the parameterized complexity of the workflow satisfiability problem Theoretical - - - - Database Entry - -
CCS'12 Weining Yang, Ninghui Li, Yuan Qi, Wahbeh Qardaji, Stephen McLaughlin, Patrick McDaniel Minimizing private data disclosures in the smart grid Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Istemi Ekin Akkus, Ruichuan Chen, Michaela Hardt, Paul Francis, Johannes Gehrke Non-tracking web analytics Practical - Not sent - - Database Entry - -
CCS'12 Hooman Mohajeri Moghaddam, Baiyu Li, Mohammad Derakhshani, Ian Goldberg SkypeMorph: protocol obfuscation for Tor bridges Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Mashael AlSabah, Kevin Bauer, Ian Goldberg Enhancing Tor's performance using real-time traffic classification Practical - Not sent - - Database Entry - -
CCS'12 Ishtiaq Rouf, Hossen Mustafa, Miao Xu, Wenyuan Xu, Rob Miller, Marco Gruteser Neighborhood watch: security and privacy analysis of automatic meter reading systems Practical - Email sent Replied no - Database Entry - -
CCS'12 Yinglian Xie, Fang Yu, Qifa Ke, Martin Abadi, Eliot Gillum, Krish Vitaldevaria, Jason Walter, Junxian Huang, Z Morley Mao Innocent by association: early recognition of legitimate users Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Mihir Bellare, Viet Tung Hoang, Phillip Rogaway Foundations of garbled circuits Theoretical - - - - Database Entry - -
CCS'12 Gilles Barthe, David Pointcheval, Santiago Zanella Beguelin Verified security of redundancy-free encryption from Rabin and RSA Practical Link from google Not sent - Build fails Database Entry Build notes -
CCS'12 Seny Kamara, Payman Mohassel, Ben Riva Double-spending fast payments in bitcoin Practical - Not sent - - Database Entry - -
CCS'12 S Dov Gordon, Jonathan Katz, Vladimir Kolesnikov, Fernando Krell, Tal Malkin, Mariana Raykova, Yevgeniy Vahlis Secure two-party computation in sublinear (amortized) time Practical - Email sent Replied no - Database Entry - -
CCS'12 Sascha Fahl, Marian Harbach, Thomas Muders, Matthew Smith, Lars Baumgartner, Bernd Freisleben Why eve and mallory love android: an analysis of android SSL (in)security Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Peter Williams, Radu Sion, Alin Tomescu PrivateFS: a parallel oblivious file system Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Alexei Czeskis, Michael Dietz, Tadayoshi Kohno, Dan Wallach, Dirk Balfanz Strengthening user authentication through opportunistic cryptographic identity assertions Practical - Email sent Replied no - Database Entry - -
CCS'12 Michaela Hardt, Suman Nath Privacy-aware personalization for mobile advertising Practical - Email sent Replied no - Database Entry - -
CCS'12 Chi-Yao Hong, Fang Yu, Yinglian Xie Populated IP addresses: classification and applications Practical - Email sent Replied no - Database Entry - -
CCS'12 Michael Backes, Ankit Malik, Dominique Unruh Computational soundness without protocol restrictions Theoretical - - - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Richard Wartell, Vishwath Mohan, Kevin W. Hamlen, Zhiqiang Lin Binary stirring: self-randomizing instruction addresses of legacy x86 binary code Practical - Email sent Replied yes Build fails Database Entry Build notes -
CCS'12 Mads Dam, Gurvan Le Guernic, Andreas Lundblad TreeDroid: a tree automaton based approach to enforcing data processing policies Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Chris Grier, Lucas Ballard, Juan Caballero, Neha Chachra, Christian J. Dietrich, Kirill Levchenko, Panayiotis Mavrommatis, Damon McCoy, Antonio Nappa, Andreas Pitsillidis, Niels Provos, M Zubair Rafique, Moheeb Abu Rajab, Christian Rossow, Kurt Thomas, Vern Paxson, Stefan Savage, Geoffrey M. Voelker Manufacturing compromise: the emergence of exploit-as-a-service Theoretical - - - - Database Entry - -
CCS'12 Mihhail Aizatulin, Andrew D. Gordon, Jan Jurjens Computational verification of C protocol implementations by symbolic execution Practical Link from google Not sent - Build fails Database Entry Build notes -
CCS'12 Hao Peng, Chris Gates, Bhaskar Sarma, Ninghui Li, Yuan Qi, Rahul Potharaju, Cristina Nita-Rotaru, Ian Molloy Using probabilistic generative models for ranking risks of Android apps Practical - Not sent - - Database Entry - -
CCS'12 Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes Practical - Email sent Replied yes Build fails Database Entry Build notes -
CCS'12 Jan Camenisch, Anna Lysyanskaya, Gregory Neven Practical yet universally composable two-server password-authenticated secret sharing Practical - Email sent Replied no - Database Entry - -
CCS'12 Tiffany Hyun-Jin Kim, Payas Gupta, Jun Han, Emmanuel Owusu, Jason Hong, Adrian Perrig, Debin Gao OTO: online trust oracle for user-centric trust establishment Theoretical - - - - Database Entry - -
CCS'12 San-Tsai Sun, Konstantin Beznosov The devil is in the (implementation) details: an empirical analysis of OAuth SSO systems Theoretical - - - - Database Entry - -
CCS'12 Shakeel Butt, H Andres Lagar-Cavilla, Abhinav Srivastava, Vinod Ganapathy Self-service cloud computing Practical - Email sent Replied no - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Jose Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Beguelin Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols Practical - Email sent Replied yes Build fails Database Entry Build notes -
CCS'12 Ilya Mironov On significance of the least significant bits for differential privacy Theoretical - - - - Database Entry - -
CCS'12 Cristian Bravo-Lillo, Lorrie Cranor, Julie Downs, Saranga Komanduri, Stuart Schechter, Manya Sleeper Operating system framed in case of mistaken identity: measuring the success of web-based spoofing attacks on OS password-entry dialogs Theoretical - - - - Database Entry - -
CCS'12 Dominique Schroder, Heike Schroder Verifiable data streaming Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Joan Calvet, Jose M. Fernandez, Jean-Yves Marion Aligot: cryptographic function identification in obfuscated binary programs Practical Link from paper Not sent - Builds Database Entry Build notes -
CCS'12 Venkatanathan Varadarajan, Thawan Kooburat, Benjamin Farley, Thomas Ristenpart, Michael M. Swift Resource-freeing attacks: improve your cloud performance (at your neighbor's expense) Practical - Email sent Replied no - Database Entry - -
CCS'12 Antonio Bianchi, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna Blacksheep: detecting compromised hosts in homogeneous crowds Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Yu-Yuan Chen, Pramod A. Jamkhedkar, Ruby B. Lee A software-hardware architecture for self-protecting data Hardware - - - - Database Entry - -
CCS'12 Yinqian Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart Cross-VM side channels and their use to extract private keys Practical - Not sent - - Database Entry - -
CCS'12 Nikos Mavrogiannopoulos, Frederik Vercauteren, Vesselin Velichkov, Bart Preneel A cross-protocol attack on the TLS protocol Practical - Email sent No response - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Muhammad Jamshed, Jihyung Lee, Sangwoo Moon, Insu Yun, Deokjin Kim, Sungryoul Lee, Yung Yi, KyoungSoo Park Kargus: a highly-scalable software-based intrusion detection system Practical - Email sent Replied no - Database Entry - -
CCS'12 Zhiyun Qian, Z Morley Mao, Yinglian Xie Collaborative TCP sequence number inference attack: how to crack sequence number under a second Practical - Not sent - - Database Entry - -
CCS'12 Zhaoyan Xu, Lingfeng Chen, Guofei Gu, Christopher Kruegel PeerPress: utilizing enemies' P2P strength against them Practical - Not sent - - Database Entry - -
CCS'12 Tyler Nighswander, Brent Ledvina, Jonathan Diamond, Robert Brumley, David Brumley GPS software attacks Hardware - - - - Database Entry - -
CCS'12 Seny Kamara, Payman Mohassel, Ben Riva Salus: a system for server-aided secure function evaluation Practical - Email sent Replied no - Database Entry - -
CCS'12 Long Lu, Zhichun Li, Zhenyu Wu, Wenke Lee, Guofei Jiang CHEX: statically vetting Android apps for component hijacking vulnerabilities Practical - Not sent - - Database Entry - -
CCS'12 Divya Muthukumaran, Trent Jaeger, Vinod Ganapathy Leveraging "choice" to automate authorization hook placement Practical - Not sent - - Database Entry - -
CCS'12 Peter Williams, Radu Sion Single round access privacy on outsourced storage Hardware - - - - Database Entry - -
CCS'12 Xiang Cai, Xin Cheng Zhang, Brijesh Joshi, Rob Johnson Touching from a distance: website fingerprinting attacks and defenses Practical - Not sent - - Database Entry - -
CCS'12 Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens FlowFox: a web browser with flexible and precise information flow control Practical Link from paper Not sent - Build fails Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Guanhua Yan, Ritchie Lee, Alex Kent, David Wolpert Towards a bayesian network game framework for evaluating DDoS attacks and defense Practical - Email sent Replied no - Database Entry - -
CCS'12 Scott Moore, Aslan Askarov, Stephen Chong Precise enforcement of progress-sensitive security Practical - Not sent - - Database Entry - -
CCS'12 Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, David Lie PScout: analyzing the Android permission specification Practical Link from google Not sent - Build fails Database Entry Build notes -
CCS'12 Wei-Hong Chuang, Ravi Garg, Min Wu How secure are power network signature based time stamps? Practical - Email sent No response - Database Entry - -
CCS'12 Marten van Dijk, Ari Juels, Alina Oprea, Ronald L. Rivest, Emil Stefanov, Nikos Triandopoulos Hourglass schemes: how to prove that cloud files are encrypted Practical - Email sent Replied yes Build fails Database Entry Build notes -
CCS'12 Raoul Strackx, Frank Piessens Fides: selectively hardening software application components against kernel-level or process-level malware Practical - Email sent Replied no - Database Entry - -
CCS'12 Seny Kamara, Charalampos Papamanthou, Tom Roeder Dynamic searchable symmetric encryption Practical - Not sent - - Database Entry - -
CCS'12 Zachary Weinberg, Jeffrey Wang, Vinod Yegneswaran, Linda Briesemeister, Steven Cheung, Frank Wang, Dan Boneh StegoTorus: a camouflage proxy for the Tor anonymity system Practical Link from google Not sent - Builds Database Entry Build notes -
CCS'12 David Bernhard, Veronique Cortier, Olivier Pereira, Bogdan Warinschi Measuring vote privacy, revisited Theoretical - - - - Database Entry - -
CCS'12 Nick Nikiforakis, Luca Invernizzi, Alexandros Kapravelos, Steven Van Acker, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna You are what you include: large-scale evaluation of remote javascript inclusions Practical - Not sent - - Database Entry - -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Damon McCoy, Hitesh Dharmdasani, Christian Kreibich, Geoffrey M. Voelker, Stefan Savage Priceless: the role of payments in abuse-advertised goods Theoretical - - - - Database Entry - -
CCS'12 Max Schuchard, John Geddes, Christopher Thompson, Nicholas Hopper Routing around decoys Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Man Ho Au, Apu Kapadia PERM: practical reputation-based blacklisting without TTPS Theoretical - - - - Database Entry - -
CCS'12 Hyungon Moon, Hojoon Lee, Jihoon Lee, Kihwan Kim, Yunheung Paek, Brent Byunghoon Kang Vigilare: toward snoop-based kernel integrity monitor Hardware - - - - Database Entry - -
CCS'12 Stephen McLaughlin, Patrick McDaniel SABOT: specification-based payload generation for programmable logic controllers Practical - Not sent - - Database Entry - -
CCS'12 Qiyan Wang, Xun Gong, Giang T. K Nguyen, Amir Houmansadr, Nikita Borisov CensorSpoofer: asymmetric communication using IP spoofing for censorship-resistant web browsing Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Dimitris Geneiatakis, Georgios Portokalidis, Vasileios P. Kemerlis, Angelos D. Keromytis Adaptive defenses for commodity software through virtual application partitioning Practical Link from paper Not sent - Build fails Database Entry Build notes -
CCS'12 Reza Shokri, George Theodorakopoulos, Carmela Troncoso, Jean-Pierre Hubaux, Jean-Yves Le Boudec Protecting location privacy: optimal strategy against localization attacks Practical - Email sent Replied yes Builds Database Entry Build notes -
CCS'12 Alexandra Boldyreva, Robert Lychev Provable security of S-BGP and other path vector protocols: model, analysis and extensions Theoretical - - - - Database Entry - -
CCS'12 Rui Chen, Gergely Acs, Calude Castelluccia Differentially private sequential data publication via variable-length n-grams Practical Link from google Not sent - Builds Database Entry Build notes -
Group Authors Title Practical Article/Google Email Sent Email Reply Build Results Database Entry Build Notes Author Comment
CCS'12 Mudhakar Srivatsa, Mike Hicks Deanonymizing mobility traces: using social network as a side-channel Practical - Not sent - - Database Entry - -
CCS'12 Kai Engelhardt, Ron van der Meyden, Chenyi Zhang Intransitive noninterference in nondeterministic systems Theoretical - - - - Database Entry - -
CCS'12 Markus Kammerstetter, Christian Platzer, Gilbert Wondracek Vanity, cracks and malware: insights into the anti-copy protection ecosystem Theoretical - - - - Database Entry - -

Summary Results

TISSEC'15
TACO'9
TODS'37
OSDI'12
SIGMOD'12
ASPLOS'12
OOPSLA'12
TOPLAS'34
PLDI'12
SOSP'11
VLDB'12
XXX
TOCS'30
Journals
Conferences
Industrial
Joint
Academic
No NSF
NSF
Total