Publications in Yearbook 2014

Yearbook
1.
Acar, U. A.; Chargueraud, A.; Rainey, M.;
Scheduling Parallel Programs by Work Stealing with Private Deques. PPoPP’13 : Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 219-228 (2013)
2.
Alvisi, L.; Clement, A.; Epasto, A.; Lattanzi, S.; Panconesi, A.;
SoK: The Evolution of Sybil Defense via Social Networks. 2013 IEEE Symposium on Security and Privacy (SP), 382-396 (2013)
3.
Backstrom, L.; Kleinberg, J.; Lee, L.; Danescu-Niculescu-Mizil, C.;
Characterizing and Curating Conversation Threads: Expansion, Focus, Volume, Re-entry. Proceedings of the 6th ACM International Conference on Web Search and Data Mining, 13-22 (2013)
4.
Baruah, S.; Brandenburg, B. B.;
Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. Proceedings IEEE 34th Real-Time Systems Symposium, 160-169 (2013)
5.
Baumann, A.; Lee, D.; Fonseca, P.; Glendenning, L.; Lorch, J. R.; Bond, B.; Olinsky, R.; Hunt, G. C.;
Composing OS Extensions Safely and Efficiently with Bascule. EuroSys '13 : Proceedings of the 8th ACM European Conference on Computer Systems, 239-252 (2013)
6.
Bergstrom, L.; Fluet, M.; Rainey, M.; Reppy, J.; Rosen, S.; Shaw, A.;
Data-only Flattening for Nested Data Parallelism. PPoPP’13 : Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 81-92 (2013)
7.
Brandenburg, B. B.;
A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications. Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), 292-302 (2013)
8.
Brandenburg, B. B.;
Improved Analysis and Evaluation of Real-Time Semaphore Protocols for P-FP Scheduling. 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 141-152 (2013)
9.
Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.;
A Theory of Partitioned Global Address Spaces. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) 24, 127-139 (2013)
10.
Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.;
A Theory of Partitioned Global Address Spaces. CoRR abs/1307.6590, (2013)
11.
Cerqueira, F.; Brandenburg, B. B.;
A Comparison of Scheduling Latency in Linux, PREEMPT-RT, and LITMUS RT. Proceedings of OSPERT 2013 9th annual workshop on Operating Systems Platforms for Embedded Real-Time Applications, 19-29 (2013)
12.
Chatterjee, K.; de Alfaro, L.; Faella, M.; Majumdar, R.; Raman, V.;
Code Aware Resource Management. Formal Methods in System Design 42 (2), 146-174 (2013)
13.
Chatterjee, K.; de Alfaro, L.; Majumdar, R.;
The Complexity of Coverage. International Journal of Foundations of Computer Science 24 (2), 165-185 (2013)
14.
Chen, R.; Akkus, I.; Francis, P.;
SplitX: High-performance Private Analytics. SIGCOMM’13 : Proceedings of the ACM SIGCOMM 2013 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication, 315-326 (2013)
15.
Chistikov, D. V.;
Using Relevance Queries for Identification of Read-once Functions. Journal of Mathematical Sciences 192 (3), 359-374 (2013)
16.
Chistikov, D. V.; Majumdar, R.;
A Uniformization Theorem for Nested Word to Word Transductions. Implementation and Application of Automata 7982, 97-108 (2013)
17.
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. Interactive Theorem Proving : 4th International Conference, ITP 2013 7998, 67-83 (2013)
18.
Danescu-Niculescu-Mizil, C.; West, R.; Jurafsky, D.; Leskovec, J.;
No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities. WWW’13 : Proceedings of the 22nd International Conference on World Wide Web, 307-318 (2013)
19.
Darulova, E.; Kuncak, V.; Majumdar, R.; Saha, I.;
Synthesis of Fixed-Point Programs. 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), 1-10 (2013)
20.
Dunfield, J.; Krishnaswami, N. R.;
Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. ICFP’13 : Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming, 429-442 (2013)
Go to Editor View