Conference Paper (937)
1101.
Conference Paper
How to Make Ad Hoc Proof Automation Less Ad Hoc. In: ICFP’11: proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, pp. 163 - 175. ICFP’11, Tokyo, Japan, September 19, 2011 - September 21, 2011. ACM, New York, NY (2011)
1102.
Conference Paper
Privad: Practical Privacy in Online Advertising. In: NSDI ’11: 8th USENIX Symposium on Networked Systems Design and Implementation, pp. 169 - 182. NSDI'11, Boston, MA, USA, March 30, 2011 - April 01, 2011. USENIX, Berkeley, CA (2011)
1103.
Conference Paper
Self-adjusting stack machines. OOPSLA '11, Portland, OR, October 22, 2011 - October 28, 2011. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 753 - 772 (2011)
1104.
Conference Paper
A Kripke Logical Relation Between ML and Assembly. In: POPL’11 Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 133 - 146. POPL’11, Austin, Texas, January 26, 2011 - January 28, 2011. ACM, New York, NY (2011)
1105.
Conference Paper
Separation Logic in the Presence of Garbage Collection. In: 26th Annual IEEE Symposium on Logic in Computer Science: proceedings, pp. 247 - 256. LICS 2011, Toronto, Ontario, Canada, June 21, 2011 - June 24, 2011. IEEE Computer Society, Los Alamitos, CA (2011)
1106.
Conference Paper
HMC: Verifying Functional Programs Using Abstract Interpreters. In: Computer Aided Verification: 23rd International Conference, CAV 2011, pp. 470 - 486 (Eds. Gopalakrishnan, G.; Qadeer, S.). CAV 2011, Snowbird, UT, USA,, July 14, 2011 - July 20, 2011. Springer, Berlin (2011)
1107.
Conference Paper
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. In: Computer Aided Verification: 23rd International Conference, CAV 2011, pp. 504 - 509 (Eds. Gopalakrishnan, G.; Qadeer, S.). CAV 2011, Snowbird, UT, USA, July 14, 2011 - July 20, 2011. Springer, Berlin (2011)
1108.
Conference Paper
Cause Clue Clauses:Error Localization using Maximum Satisfiability. In: PLDI’11: Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation, pp. 437 - 446. PLDI'11, San Jose, CA, USA, June 04, 2011 - June 08, 2011. ACM, New York, NY (2011)
1109.
Conference Paper
Analyzing Facebook Privacy Settings:User Expectations vs. Reality. In: Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference, pp. 61 - 70. IMC’11, Berlin, Germany, November 02, 2011 - November 04, 2011. ACM, New York, NY (2011)
1110.
Conference Paper
Social Trust and Reputation in Online Social Networks. In: 2011 17th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2011), pp. 811 - 816. ICPADS 2011, Tainan, Taiwan, December 17, 2011 - December 19, 2011. IEEE, Piscataway, NJ (2011)
1111.
Conference Paper
Robust Discrete Synthesis against Unspecified Disturbances. In: HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, pp. 211 - 220. HSCC'11, Chicago, IL, USA, April 12, 2011 - April 14, 2011. ACM, New York, NY (2011)
1112.
Conference Paper
Performance-Aware Scheduler Synthesis for Control Systems. In: EMSOFT 2011: Proceedings of the Ninth ACM International Conference on Embedded Software, pp. 299 - 308. EMSOFT 2011, Taipei, Taiwan, October 09, 2011 - October 14, 2011. ACM, New York, NY (2011)
1113.
Conference Paper
The Local and Global Effects of Traffic Shaping in the Internet. In: Third International Conference on Communication Systems and Networks (COMSNETS 2011), pp. 1 - 10. COMSNETS 2011, Bangalore, India, January 04, 2011 - January 08, 2011. IEEE, Piscataway ,NJ (2011)
1114.
Conference Paper
Sharing Social Content from Home: A Measurement-driven Feasibility Study. In: NOSSDAV 2011: Proceedings of the 21st International Workshop on Network and Operating Systems Support for Digital Audio and Video, pp. 45 - 50. NOSSDAV 2011, Vancouver, British Columbia, Canada, June 01, 2011 - June 03, 2011. ACM, New York, NY (2011)
1115.
Conference Paper
Autonomous Storage Management for Personal Devices with PodBase. In: 2011 USENIX Annual Technical Conference (USENIX ATC ’11): Conference Proceedings, pp. 425 - 439. USENIX ATC ’11, Portland, OR, June 15, 2011 - June 17, 2011. USENIX, Berkeley, CA (2011)
1116.
Conference Paper
Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems. In: HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, pp. 315 - 316. HSCC'11, Chicago, IL, USA, April 12, 2011 - April 14, 2011. ACM, New York, NY (2011)
1117.
Conference Paper
Auctions in Do-Not-Track Compliant Internet Advertising. In: CCS’11: Proceedings of the 18th ACM Conference on Computer & Communications Security, pp. 667 - 676. CSS'11, Chicago, IL, USA, October 17, 2011 - October 21, 2011. ACM, New York, NY (2011)
1118.
Conference Paper
On Word-of-Mouth Based Discovery of the Web. In: Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference, pp. 381 - 396. IMC’11, Berlin, Germany, November 02, 2011 - November 04, 2011. ACM, New York, NY (2011)
1119.
Conference Paper
Relaxed-Memory Concurrency and Verified Compilation. In: POPL’11: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 43 - 54. POPL'11, Austin, TX, USA, January 26, 2011 - January 28, 2011. ACM, New York, NY (2011)
1120.
Conference Paper
Iterative Refinement of Specification for Component Based Embedded Systems. In: 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), pp. 276 - 286 (Eds. Dwyer, M. B.; Tip, F.). ISSTA 2011, Toronto, ON, Canada, July 17, 2011 - July 21, 2011. ACM, New York, NY (2011)