Best Conference Papers

Best and award-winning papers from academic conferences, by year.

Showing 4,921-4,950 of 5,817 items.

Year	Conferences	Best Papers
2007	NSDI	Do Incentives Build Robustness in BitTorrent?
2007	NSDI	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
2007	PKC	Full-Domain Subgroup Hiding and Constant-Size Group Signatures
2007	PLDI	The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code
2007	PLDI	Fault-tolerant typed assembly language
2007	PODS	Generalized hypertree decompositions: np-hardness and tractable variants
2007	SciVis	Querying and Creating Visualizations by Analogy
2007	Security	Keep Your Enemies Close: Distance Bounding Against Smartcard Relay Attacks
2007	SIGIR	Studying the use of popular destinations to enhance web search interaction
2007	SIGMETRICS	Modeling the Relative Fitness of Storage
2007	SIGMOD	Compiling mappings to bridge applications and databases
2007	SIGMOD	Scalable approximate query processing with the DBO engine
2007	SOSP	Zyzzyva: speculative byzantine fault tolerance
2007	SOSP	Secure web application via automatic partitioning
2007	SOSP	Sinfonia: a new paradigm for building scalable distributed systems
2007	SPAA	Universal Augmentation Schemes for Network Navigability: Overcoming the √n-Barrier
2007	SPAA	Tight Bounds for Distributed Selection
2007	STOC	Faster integer multiplication
2007	STOC	Towards 3-query locally decodable codes of subexponential length
2007	TACAS	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
2007	TCC	Tackling Adaptive Corruptions in Multicast Encryption Protocols
2007	The Web Conference	Wherefore art thou r3579x?: anonymized social networks, hidden patterns, and structural steganography
2007	UIST	ThinSight: versatile multi-touch sensing for thin form-factor displays
2007	USENIX ATC	SafeStore: A Durable and Practical Storage System
2007	USENIX ATC	Hyperion: High Volume Stream Archival for Retrospective Querying
2007	VLDB	Scalable Semantic Web Data Management Using Vertical Partitioning
2006	AAAI	Model Counting: A New Strategy for Obtaining Good Bounds
2006	AAAI	Towards an Axiom System for Default Logic
2006	ACL	Semantic taxonomy induction from heterogenous evidence
2006	AICT	An approach in provision of interoperability of eLearning systems in enlarged EU - the case of iCamp project