Scientific Publications

Journal Article (7)

1.
Journal Article
Sümer, Ö.; Acar, U. A.; Ihler, A. T.; Mettu, R. R.: Adaptive exact inference in graphical models. Journal of Machine Learning Research 12, pp. 3147 - 3186 (2011)
2.
Journal Article
Dreyer, D.; Ahmed, A.; Birkedal, L.: Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', pp. 1 - 37 (2011)
3.
Journal Article
Akkus, I. E.; Özkasap, Ö.; Civanlar, M. R.: Peer-to-peer multipoint video conferencing with layered video. Journal of Network and Computer Applications 34 (1), pp. 137 - 150 (2011)
4.
Journal Article
Charguéraud, A.: The Locally Nameless Representation. Journal of Automated Reasoning Online First, pp. 1 - 46 (2011)
5.
Journal Article
Cheney, J.; Ahmed, A.; Acar, U. A.: Provenance as dependency analysis. Mathematical Structures in Computer Science 21, pp. 1301 - 1337 (2011)
6.
Journal Article
Ercal, G.; Izhak-Ratzin, R.; Majumdar, R.; Meyerson, A.: VCG with Communities on Random Ad Hoc Networks. International Journal of Distributed Sensor Networks 2011, 895398, pp. 1 - 17 (2011)
7.
Journal Article
Neis, G.; Dreyer, D.; Rossberg, A.: Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, pp. 497 - 562 (2011)

Conference Paper (36)

8.
Conference Paper
Acar, U. A.; Charguéraud, A.; Rainey, M.: Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA '11, Portland, OR, October 22, 2011 - October 27, 2011. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 499 - 518 (2011)
9.
Conference Paper
Acar, U. A.; Cotter, A.; Hudson, B.; Türkoglu, D.: Parallelism in dynamic well-spaced point sets. In: SPAA’11: proceedings of the Twenty-Third Annual Symposium on Parallelism in Algorithms and Architectures, pp. 33 - 42. SPAA '11, San Jose, CA, June 04, 2011 - June 06, 2011. ACM, New York, NY (2011)
10.
Conference Paper
Acar, U. A.; Hudson, B.; Türkoglu, D.: Kinetic mesh refinement in 2D. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry (SCG’11), pp. 341 - 350. SCG '11, Paris, France, June 13, 2011 - June 14, 2011. ACM, New York, NY (2011)
11.
Conference Paper
An, J.; Cha, M.; Gummadi, K. P.; Crowcroft, J.: Media Landscape in Twitter: A World of New Conventions and Political Diversity. In: Proceedings of the Fifth International Conference on Weblogs and Social Media, pp. 18 - 25. ICWSM 2011, Barcelona, Spain, July 17, 2011 - July 21, 2011. AAAI, Menlo Park, CA (2011)
12.
Conference Paper
Bhatotia, P.; Wieder, A.; Akkus, I. E.; Rodrigues, R.; Acar, U. A.: Large-scale incremental data processing with change propagation. In: 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '11), pp. 1 - 5. HotCloud '11, Portland, OR, June 14, 2011 - June 15, 2011. USENIX, Berkeley, CA (2011)
13.
Conference Paper
Bhatotia, P.; Wieder, A.; Rodrigues, R.; Acar, U. A.; Pasquini, R.: Incoop: MapReduce for incremental computations. In: Proceedings of the Second ACM Symposium on Cloud Computing: SOCC 2011, 7, pp. 7:1 - 7:14. SOCC 2011, Cascais, Portugal, October 26, 2011 - October 28, 2011. ACM, New York, NY (2011)
14.
Conference Paper
Charguéraud, A.: Characteristic formulae for the verification of imperative programs. In: ICFP’11: Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, pp. 418 - 430. ICFP'11, Tokyo, Japan, September 19, 2011 - September 21, 2011. ACM, New York, NY (2011)
15.
Conference Paper
Chatterjee, K.; Majumdar, R.: Minimum Attention Controller Synthesis for Omega-Regular Objectives. In: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, pp. 145 - 159 (Eds. Fahrenberg, U.; Tripakis, S.). FORMATS 2011, Aalborg, Denmark, September 21, 2011 - September 23, 2011. Springer, Berlin (2011)
16.
Conference Paper
Chen, R.; Lua, E. K.; Cai, Z.: Bring Order to Online Social Networks. In: 2011 Proceedings IEEE INFOCOM, pp. 541 - 545. INFOCOM 2011, Shanghai, China, April 10, 2011 - April 15, 2011. IEEE, Piscataway, NJ (2011)
17.
Conference Paper
Fonseca, P.; Li, C.; Rodrigues, R.: Finding complex concurrency bugs in large multi-threaded applications. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, pp. 215 - 228. EuroSys '11, Salzburg, Austria, April 10, 2011 - April 13, 2011. ACM, New York, NY (2011)
18.
Conference Paper
Garcia, R.; Rodrigues, R.; Preguiςa, N.: Efficient middleware for Byzantine fault tolerant database replication. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, pp. 107 - 122. EuroSys '11, Salzburg, Austria, April 10, 2011 - April 13, 2011. ACM, New York, NY (2011)
19.
Conference Paper
Gonthier, G.; Ziliani, B.; Nanevski, A.; Dreyer, D.: 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)
20.
Conference Paper
Guha, S.; Cheng, B.; Francis, P.: 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)
Go to Editor View