Bergstrom, L.; Fluet, M.; Rainey, M.; Reppy, J.; Rosen, S.; Shaw, A.: Data-only Flattening for Nested Data Parallelism. In: PPoPP'13, pp. 81 - 92. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, February 23, 2013 - February 27, 2013. ACM, New York, NY (2013)

Brandenburg, B.: A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications. In: Proceedings of the 25th Euromicro Conference on Real-Time Systems, pp. 292 - 302. 25th Euromicro Conference on Real-Time Systems, Paris, France, July 09, 2013 - July 12, 2013. IEEE, Los Alamitos, CA (2013)

Brandenburg, B.: Improved Analysis and Evaluation of Real-Time Semaphore Protocols for P-FP Scheduling. In: IEEE 19th Real-Time and Embedded Technology and Applications Symposium, pp. 141 - 152. 19th Real-Time and Embedded Technology and Applications Symposium, Philadelphia, PA, USA, April 09, 2013 - April 11, 2013. IEEE, Los Alamitos, CA (2013)

Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 127 - 139 (Eds. Seth, A.; Vishnoi, N. K.). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Scienc, Guwahati, India, December 12, 2013 - December 14, 2013. Schloss Dagstuhl, Wadern (2013)

Cerqueira, F.; Brandenburg, B.: A Comparison of Scheduling Latency in Linux, PREEMPT-RT, and LITMUS RT. In: Proceedings of OSPERT 2013 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, pp. 19 - 29 (Eds. Bastoni, A.; Kato, S.). 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Paris, France, July 09, 2013. SYSGO AG, s.l. (2013)

Chen, R.; Akkus, I. E.; Francis, P.: SplitX: High-performance Private Analytics. In: SIGCOMM'13, pp. 315 - 326. SIGCOMM 2013, Hong Kong, China, August 12, 2013 - August 16, 2013. ACM, New York, NY (2013)

Chistikov, D. V.; Majumdar, R.: A Uniformization Theorem for Nested Word to Word Transductions. In: Implementation and Application of Automata, pp. 97 - 108 (Ed. Konstantinidis, S.). 18th International Conference on Implementation and Application of Automata , Halifax, Canada,, July 16, 2013 - July 19, 2013. Springer, Berlin (2013)

Claret, G.; González Huesca, L. d. C.; Régis-Gianas, Y.; Ziliani, B.: Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. In: Interactive Theorem Proving, pp. 67 - 83 (Eds. Blazy, S.; Paulin-Mohring, C.; Pichardie, D.). 4th International Conference on Interactive Theorem Provin, Rennes, France, July 22, 2013 - July 26, 2013. Springer, Berlin (2013)

Danescu-Niculescu-Mizil, C.; Sudhof, M.; Jurafsky, D.; Leskovec, J.; Potts, C.: A Computational Approach to Politeness with Application to Social Factors. In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, pp. 250 - 259. 51st Annual Meeting of the Association for Computational Linguistics, Sofia, Bulgaria, August 04, 2013 - August 09, 2013. ACL, [s.l.] (2013)

Danescu-Niculescu-Mizil, C.; West, R.; Jurafsky, D.; Leskovec, J.: No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities. In: WWW'13, pp. 307 - 318. 22nd International Conference on World Wide Web, Rio de Janeiro, Brazil, May 13, 2013 - May 17, 2013. ACM, New York, NY (2013)

Darulova, E.; Kuncak, V.; Majumdar, R.; Saha, I.: Synthesis of Fixed-Point Programs. In: Proceedings of the International Conference on Embedded Software, pp. 1 - 10. Proceedings of the International Conference on Embedded Software , Montreal, Canada, September 29, 2013 - October 04, 2013. IEEE, Piscataway, NJ (2013)

Dunfield, J.; Krishnaswami, N.: Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. In: ICFP'13, pp. 429 - 442. ACM SIGPLAN International Conference on Functional Programming , Boston, MA, USA, September 25, 2013 - September 27, 2013. ACM, New York, NY (2013)

Esparza, J.; Ganty, P.; Majumdar, R.: Parameterized Verification of Asynchronous Shared-Memory Systems. In: Computer Aided Verification, pp. 124 - 140 (Eds. Sharygina, N.; Veith, H.). 25th International Conference on Computer Aided Verification, Saint Petersburg, Russia, June 13, 2013 - June 19, 2013. Springer, Berlin (2013)

Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H.: The First Workshop on Language Support for Privacy-enhancing Technologies (PETShop'13). In: CCS'13, pp. 1085 - 1086. ACM SIGSAC Conference on Computer and Communications Security, Berlin, Germany, November 04, 2013 - November 08, 2013. ACM, New York, NY (2013)

Ghosh, S.; Zafar, M. B.; Bhattacharya, P.; Sharma, N.; Ganguly, N.; Gummadi, K.: On Sampling the Wisdom of Crowds: Random vs. Expert Sampling of the Twitter Stream. In: CIKM'13, pp. 1739 - 1744. 22nd ACM International Conference on Information & Knowledge Management , San Francisco, CA, USA, October 27, 2013 - November 01, 2013. ACM, New York, NY (2013)

Gligoric, M.; Majumdar, R.: Model Checking Database Applications. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 549 - 564 (Eds. Piterman, N.; Smolka, S. A.). 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy, March 16, 2013 - March 24, 2013. Springer, Berlin (2013)

Gujarati, A.; Cerqueira, F.; Brandenburg, B.: Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities. In: Proceedings of the 25th Euromicro Conference on Real-Time Systems, pp. 69 - 79. 25th Euromicro Conference on Real-Time Systems, Paris, France, July 09, 2013 - July 12, 2013. IEEE, Los Alamitos, CA (2013)

Gummadi, K.: Addressing the Privacy Management Crisis in Online Social Networks. In: WWW '13, pp. 841 - 842. 22nd International World Wide Web Conference, Rio de Janeiro, Brazil, May 13, 2013 - May 17, 2013. ACM, New York, NY (2013)

Gvero, T.; Kuncak, V.; Kuraj, I.; Piskac, R.: Complete Completion Using Types and Weights. In: PLDI'13, pp. 27 - 38. ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, USA, June 16, 2013 - June 19, 2013. ACM, New York, NY (2013)

Henzinger, T. A.; Sezgin, A.; Vafeiadis, V.: Aspect-Oriented Linearizability Proofs. In: CONCUR 2013 -- Concurrency Theory, pp. 242 - 256 (Eds. D'Argenio, P. R.; Melgratti, H.). 24th Conference on Concurrency Theory , Buenos Aires, Argentina, August 27, 2013 - August 30, 2013. Springer, Berlin (2013)