No photo of Vikram Sadanand Adve

View Scopus Profile

Vikram Sadanand Adve

Filter
Conference contribution

Search results

  • 2024

    Felix: Optimizing Tensor Programs with Gradient Descent

    Zhao, Y., Sharif, H., Adve, V. & Misailovic, S., Apr 27 2024, Fall Cycle. Association for Computing Machinery, p. 367-381 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures

    Kothari, A., Noor, A. R., Xu, M., Uddin, H., Baronia, D., Baziotis, S., Adve, V., Mendis, C. & Sengupta, S., Apr 27 2024, Summer Cycle. Association for Computing Machinery, p. 514-529 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2022

    HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming

    Ejjeh, A., Medvinsky, L., Councilman, A., Nehra, H., Sharma, S., Adve, V., Nardi, L., Nurvitadhi, E. & Rutenbar, R. A., 2022, Proceedings - 2022 IEEE 33rd International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2022. Pericas, M., Pnevmatikatos, D. N., Trancoso, P. P. M. & Sourdis, I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. (Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors; vol. 2022-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2021

    ApproxTuner: A compiler and runtime system for adaptive approximations

    Sharif, H., Zhao, Y., Kotsifakou, M., Kothari, A., Schreiber, B., Wang, E., Sarita, Y., Zhao, N., Joshi, K., Adve, V. S., Misailovic, S. & Adve, S., Feb 17 2021, PPoPP 2021 - Proceedings of the 2021 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 262-277 16 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Language-parametric compiler validation with application to LLVM

    Kasampalis, T., Park, D., Lin, Z., Adve, V. S. & Rosu, G., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 1004-1019 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2020

    Scalable validation of binary lifters

    Dasgupta, S., Dinesh, S., Venkatesh, D., Adve, V. S. & Fletcher, C. W., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 655-671 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2019

    A complete formal semantics of x86-64 user-level instruction set architecture

    Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Roşu, G., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1133-1148 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Wok: Statistical program slicing in production

    Stoica, B. A., Sahoo, S. K., Larus, J. R. & Adve, V. S., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 324-325 2 p. 8802736. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    HPVM: Heterogeneous parallel virtual machine

    Kotsifakou, M., Srivastava, P., Sinclair, M. D., Komuravelli, R., Adve, V. & Adve, S., Feb 10 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 68-80 13 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • PROMISE: An end-to-End design of a programmable mixed-Signal accelerator for Machine-Learning algorithms

    Srivastava, P., Kang, M., Gonugondla, S. K., Lim, S., Choi, J., Adve, V., Kim, N. S. & Shanbhag, N., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 43-56 14 p. 8416817. (Proceedings - International Symposium on Computer Architecture).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2016

    Region and effect inference for safe parallelism

    Tzannes, A., Heumann, S. T., Eloussi, L., Vakilian, M., Adve, V. S. & Han, M., Jan 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 512-523 12 p. 7372039. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scalable Task Scheduling and Synchronization Using Hierarchical Effects

    Heumann, S. T., Tzannes, A. & Adve, V. S., Mar 8 2016, Proceedings - 24th International Conference on Parallel Architecture and Compilation, PACT 2015. Institute of Electrical and Electronics Engineers Inc., p. 125-137 13 p. 7429300. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2015

    Nested kernel: An operating system architecture for intra-kernel privilege separation

    Dautenhahn, N., Kasampalis, T., Dietz, W., Criswell, J. & Adve, V., Mar 14 2015, ASPLOS 2015 - 20th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 191-206 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Slipstream: Automatic interprocess communication optimization

    Dietz, W., Cranmer, J., Dautenhahn, N. & Adve, V., 2015, Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015. USENIX Association, p. 431-443 13 p. (Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Stash: Have your scratchpad and cache it too

    Komuravelli, R., Sinclair, M. D., Alsop, J., Huzaifa, M., Kotsifakou, M., Srivastava, P., Adve, S. V. & Adve, V. S., Jun 13 2015, ISCA 2015 - 42nd Annual International Symposium on Computer Architecture, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 707-719 13 p. (Proceedings - International Symposium on Computer Architecture; vol. 13-17-June-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2014

    KCoFI: Complete control-flow integrity for commodity operating system kernels

    Criswell, J., Dautenhahn, N. & Adve, V., Nov 13 2014, Proceedings - IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers Inc., p. 292-307 16 p. 6956571. (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Virtual Ghost: Protecting applications from hostile operating systems

    Criswell, J., Dautenhahn, N. & Adve, V., 2014, ASPLOS 2014 - 19th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 81-96 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2013

    The tasks with effects model for safe concurrency

    Heumann, S. T., Adve, V. S. & Wang, S., 2013, PPoPP 2013 - Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 239-250 12 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Using likely invariants for automated software fault localization

    Sahoo, S. K., Criswell, J., Geigle, C. & Adve, V., 2013, ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 139-151 13 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    A mirrored data structures approach to diverse partial memory replication

    Lefever, R. M., Adve, V. S. & Sanders, W. H., 2012, Proceedings - 9th European Dependable Computing Conference, EDCC 2012. p. 61-72 12 p. 6214761. (Proceedings - 9th European Dependable Computing Conference, EDCC 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Understanding integer overflow in C/C++

    Dietz, W., Li, P., Regehr, J. & Adve, V., 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 760-770 11 p. 6227142. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    DeNovo: Rethinking the memory hierarchy for disciplined parallelism

    Choi, B., Komuravelli, R., Sung, H., Smolinski, R., Honarmand, N., Adve, S. V., Adve, V. S., Carter, N. P. & Chou, C. T., 2011, Proceedings - 2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011. p. 155-166 12 p. 6113797. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Types, regions, and effects for safe programming with object-oriented parallel frameworks

    Bocchino, R. L. & Adve, V. S., 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 306-332 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2010

    An empirical study of reported bugs in server software with implications for automated bug diagnosis

    Sahoo, S. K., Criswell, J. & Adve, V., 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 485-494 10 p. (Proceedings - International Conference on Software Engineering; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Diverse partial memory replication

    Lefever, R. M., Adve, V. S. & Sanders, W. H., 2010, Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010. p. 71-80 10 p. 5545012. (Proceedings of the International Conference on Dependable Systems and Networks).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Safe nondeterminism in a deterministic-by-default parallel language

    Bocchino, R. L., Heumann, S., Honarmand, N., Adve, S. V., Adve, V. S., Welc, A. & Shpeisman, T., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 535-548 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    A type and effect system for deterministic parallel Java

    Bocchino, R. L., Adve, V. S., Dig, D., Adve, S. V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H. & Vakilian, M., 2009, OOPSLA 2009 - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 97-116 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Inferring method effect summaries for nested heap regions

    Vakilian, M., Dig, D., Bocchino, R., Overbey, J., Adve, V. & Johnson, R., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 421-432 12 p. 5431752. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Memory safety for low-level software/hardware interactions

    Criswell, J., Geoffray, N. & Adve, V., 2009, Proceedings of the 18th USENIX Security Symposium. USENIX Association, p. 83-100 18 p. (Proceedings of the 18th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Recovery domains: An organizing principle for recoverable operating systems

    Lenharth, A., Adve, V. & King, S. T., 2009, Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-14. Association for Computing Machinery, p. 49-60 12 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2008

    Software transactional memory for large scale clusters

    Bocchino, R. L., Adve, V. S. & Chamberlain, B. L., 2008, PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 247-257 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Understanding the propagation of hard errors to software and implications for resilient system design

    Li, M. L., Ramachandran, P., Sahoo, S. K., Adve, S. V., Adve, V. S. & Zhou, Y., 2008, ASPLOS XIII - Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems. 2 ed. Association for Computing Machinery, p. 265-276 12 p. (Operating Systems Review (ACM); vol. 42, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2007

    Making context-sensitive points-to analysis with heap cloning practical for the real world

    Lattner, C., Lenharth, A. & Adve, V., 2007, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 278-289 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Secure virtual architecture: A safe execution environment for commodity operating systems

    Criswell, J., Lenharth, A., Dhurjati, D. & Adve, V., 2007, SOSP'07: Proceedings of the 21st ACM Symposium on Operating Systems Principles. p. 351-366 16 p. (Operating Systems Review (ACM)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Secure virtual architecture: A safe execution environment for commodity operating systems

    Criswell, J., Lenharth, A., Dhurjati, D. & Adve, V., 2007, SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles. p. 59-72 14 p. 1294295. (SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2006

    Backwards-compatible array bounds checking for C with very low overhead

    Dhurjati, D. & Adve, V., 2006, Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06. IEEE Computer Society, p. 162-171 10 p. (Proceedings - International Conference on Software Engineering; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Efficiently detecting all dangling pointer uses in production servers

    Dhurjati, D. & Adve, V., 2006, Proceedings - DSN 2006: 2006 International Conference on Dependable Systems and Networks. p. 269-278 10 p. 1633516. (Proceedings of the International Conference on Dependable Systems and Networks; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • SAFECode: Enforcing alias analysis for weakly typed languages

    Dhurjati, D., Kowshik, S. & Adve, V., 2006, Conference on Programming Language Design and Implementation - PLAS 2006: Proceedings of the 2006 Programming Languages and Analysis for Security Workshop. Association for Computing Machinery, p. 144-157 14 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • SAFECode: Enforcing alias analysis for weakly typed languages

    Dhurjati, D., Kowshik, S. & Adve, V., 2006, PLDI 2006 - Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 144-157 14 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2005

    A compiler-enabled model- And measurement-driven adaptation environment for dependability and performance

    Adve, V. S., Agbaria, A., Hiltunen, M. A., Iyer, R. K., Joshi, K. R., Kalbarczyk, Z., Lefever, R. M., Plante, R., Sanders, W. H. & Schlichting, R. D., 2005, Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005. 1420134. (Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Transparent pointer compression for linked data structures

    Lattner, C. & Adve, V. S., Jun 12 2005, Proceedings of the 3rd 2005 ACM SIGPLAN Workshop on Memory Systems Performance, MSP 2005. Association for Computing Machinery, p. 24-35 12 p. (Proceedings of the 3rd 2005 ACM SIGPLAN Workshop on Memory Systems Performance, MSP 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2004

    LLVM: A compilation framework for lifelong program analysis & transformation

    Lattner, C. & Adve, V., 2004, International Symposium on Code Generation and Optimization, CGO 2004. p. 75-86 12 p. (International Symposium on Code Generation and Optimization, CGO).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Software implications of virtual instruction set computers

    Adve, V., Brukman, M., Evlogimenos, A. & Gaeke, B., 2004, Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM). p. 2807-2814 8 p. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); vol. 18).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2003

    An approach to optimizing adaptive parabolic PDE solvers for the Grid

    Adve, V., Browne, J., Ensink, B., Rice, J., Teller, P., Vernon, M. & Wright, S., 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213385. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • LLVA: A low-level virtual instruction set architecture

    Adve, V., Lattner, C., Brukman, M., Shukla, A. & Gaeke, B., 2003, Proceedings - 36th International Symposium on Microarchitecture, MICRO 2003. IEEE Computer Society, p. 205-216 12 p. 1253196. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Automatic pool allocation for disjoint data structures

    Lattner, C. & Adve, V., Jun 16 2002, Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002. Association for Computing Machinery, p. 13-24 12 p. (Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Ensuring code safety without runtime checks for real-time control systems

    Kowshik, S., Dhurjati, D. & Adve, V., 2002, Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES '02. p. 288-297 10 p. (Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES '02).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Model-based control of adaptive applications: An overview

    Adve, V., Akinsanmi, A., Browne, J. C., Buaklee, D., Deng, G., Lam, V. V., Morgan, T., Rice, J. R., Rodin, G. J., Teller, P. J., Tracy, G., Vernon, M. & Wright, S., 2002, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002. Institute of Electrical and Electronics Engineers Inc., p. 172-179 8 p. 1016573. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2001

    Compiler synthesis of task graphs for parallel program performance prediction

    Adve, V. & Sakellariou, R., 2001, Languages and Compilers for Parallel Computing - 13th International Workshop, LCPC 2000, Revised Papers. Ferrante, J., Midkiff, S. P., Moreira, J. E., Gupta, M., Chatterjee, S., Prins, J., Pugh, W. & Tseng, C.-W. (eds.). Springer, p. 208-226 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Language and compiler support for adaptive distributed applications

    Adve, V., Lam, V. V. & Ensink, B., Aug 1 2001, Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001. Association for Computing Machinery, p. 238-246 9 p. (Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution