Cao S, Sun X, Wu X, Bo L, Li B, Wu R, Liu W, He B, Ouyang Y and Li J. Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation. Proceedings of the 45th International Conference on Software Engineering. (397-409).
Cao S, He B, Sun X, Ouyang Y, Zhang C, Wu X, Su T, Bo L, Li B, Ma C, Li J and Wei T.
(2023). ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing 2023 IEEE Symposium on Security and Privacy (SP). 10.1109/SP46215.2023.10179377. 978-1-6654-9336-9. (2726-2743).
Rasheed S and Dietrich J. A hybrid analysis to detect Java serialisation vulnerabilities. Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering. (1209-1213).
Wang Y, Hu X, Zou Z, Tan W and Tan G.
(2019). IVT: an efficient method for sharing subtype polymorphic objects. Proceedings of the ACM on Programming Languages. 3:OOPSLA. (1-22). Online publication date: 10-Oct-2019.
Gadiraju U.
(2018). "A new age of search systems" by Ujwal Gadiraju with Martin Vesely as coordinator. ACM SIGWEB Newsletter. 2018:Summer. (1-11). Online publication date: 4-Sep-2018.
Hargood C.
(2018). The narrative and hypertext workshop series and the value of workshops to research communities. ACM SIGWEB Newsletter. 2018:Summer. (1-6). Online publication date: 4-Sep-2018.
Chiba S, Zhuang Y and Scherr M. Deeply Reifying Running Code for Constructing a Domain-Specific Language. Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. (1-12).
McPherson A, Nagarajan V, Sarkar S and Cintra M.
(2015). Fence placement for legacy data-race-free programs via synchronization read detection. ACM SIGPLAN Notices. 50:8. (249-250). Online publication date: 18-Dec-2015.
Petullo W, Fei W, Solworth J and Gavlin P. Ethos' Deeply Integrated Distributed Types. Proceedings of the 2014 IEEE Security and Privacy Workshops. (167-180).
Miller H, Haller P, Burmako E and Odersky M. Instant pickles. Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications. (183-202).
Sankar S, Shaw M, Vaid K and Gurumurthi S.
(2013). Datacenter Scale Evaluation of the Impact of Temperature on Hard Disk Drive Failures. ACM Transactions on Storage. 9:2. (1-24). Online publication date: 1-Jul-2013.
Altiparmak N and Tosun A.
(2013). Generalized Optimal Response Time Retrieval of Replicated Data from Storage Arrays. ACM Transactions on Storage. 9:2. (1-36). Online publication date: 1-Jul-2013.
Awad H and Glynn P.
(2007). On the theoretical comparison of low-bias steady-state estimators. ACM Transactions on Modeling and Computer Simulation. 17:1. (4-es). Online publication date: 1-Jan-2007.
Doornik J.
(2007). Conversion of high-period random numbers to floating point. ACM Transactions on Modeling and Computer Simulation. 17:1. (3-es). Online publication date: 1-Jan-2007.
Milenković A and Milenković M.
(2007). An efficient single-pass trace compression technique utilizing instruction streams. ACM Transactions on Modeling and Computer Simulation. 17:1. (2-es). Online publication date: 1-Jan-2007.
Grossman D.
(2006). Quantified types in an imperative language. ACM Transactions on Programming Languages and Systems. 28:3. (429-475). Online publication date: 1-May-2006.
Vansummeren S.
(2006). Type inference for unique pattern matching. ACM Transactions on Programming Languages and Systems. 28:3. (389-428). Online publication date: 1-May-2006.
Sriplakich P, Blanc X and Gervais M. Supporting transparent model update in distributed CASE tool integration. Proceedings of the 2006 ACM symposium on Applied computing. (1759-1766).
Tack G, Kornstaedt L and Smolka G.
(2006). Generic Pickling and Minimization. Electronic Notes in Theoretical Computer Science (ENTCS). 148:2. (79-103). Online publication date: 1-Mar-2006.
Chunqiang Tang , DeQing Chen , Dwarkadas S and Scott M. Integrating remote invocation and distributed shared state 18th International Parallel and Distributed Processing Symposium, 2004.. 10.1109/IPDPS.2004.1302942. 0-7695-2132-0. (30-39).
Chen D, Tang C, Sanders B, Dwarkadas S and Scott M.
(2003). Exploiting high-level coherence information to optimize distributed shared state. ACM SIGPLAN Notices. 38:10. (131-142). Online publication date: 1-Oct-2003.
McCamant S and Ernst M.
(2003). Predicting problems caused by component upgrades. ACM SIGSOFT Software Engineering Notes. 28:5. (287-296). Online publication date: 1-Sep-2003.
McCamant S and Ernst M. Predicting problems caused by component upgrades. Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering. (287-296).
Chen D, Tang C, Sanders B, Dwarkadas S and Scott M. Exploiting high-level coherence information to optimize distributed shared state. Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming. (131-142).
Sridhar N, Pike S and Weide B. Dynamic Module Replacement in Distributed Protocols. Proceedings of the 23rd International Conference on Distributed Computing Systems.
Breg F and Polychronopoulos C.
(2003). Java Virtual Machine support for object serialization. Concurrency and Computation: Practice and Experience. 10.1002/cpe.667. 15:3-5. (263-275). Online publication date: 1-Mar-2003.
Sridhar N, Pike S and Weide B. Dynamic module replacement in distributed protocols 23rd International Conference on Distributed Computing Systems, 2003.. 10.1109/ICDCS.2003.1203513. 0-7695-1920-2. (620-627).
Scott M, DeQing Chen , Dwarkadas S and Chunqiang Tang . Distributed shared state The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003.. 10.1109/FTDCS.2003.1204322. 0-7695-1910-5. (122-127).
Breg F and Polychronopoulos C. Java virtual machine support for object serialization. Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande. (173-180).
Chen D, Dwarkadas S, Parthasarathy S, Pinheiro E and Scott M.
(2000). InterWeave: A Middleware System for Distributed Shared State. Languages, Compilers, and Run-Time Systems for Scalable Computers. 10.1007/3-540-40889-4_16. (207-220).
Opyrchal L and Prakash A. Efficient object serialization in Java Proceedings. 19th IEEE International Conference on Distributed Computing Systems. Workshops on Electronic Commerce and Web-based Applications. Middleware. 10.1109/ECMDD.1999.776421. 0-7695-0225-3. (96-101).
Weiss C, Knopp J and Hellwagner H. Implementing automatic coordination on networks of workstations Third International Workshop on High-Level Parallel Programming Models and Supportive Environments. 10.1109/HIPS.1998.665145. 0-8186-8412-7. (72-81).
Bachmann O, Schönemann H and Gray S. A proposal for syntactic data integration math protocols. Proceedings of the second international symposium on Parallel symbolic computation. (165-175).
Novak G.
(1997). Software Reuse by Specialization of Generic Procedures through Views. IEEE Transactions on Software Engineering. 23:7. (401-417). Online publication date: 1-Jul-1997.
Weicker R.
(1997). On the use of SPEC benchmarks in computer architecture research. ACM SIGARCH Computer Architecture News. 25:1. (19-22). Online publication date: 1-Mar-1997.
Duggan D.
(1997). A type-based implementation of a language with distributed scope. Mobile Object Systems Towards the Programmable Internet. 10.1007/3-540-62852-5_20. (277-292).
Kim T and Purtilo J. A source-level transformation framework for RPC-based distributed programs. Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing.
Maybee M, Heimbigner D and Osterweil L. Multilanguage interoperability in distributed systems. Proceedings of the 18th international conference on Software engineering. (451-463).
Maybee M, Heimbigner D and Osterweil L. Multilanguage interoperability in distributed systems. Experience report IEEE 18th International Conference on Software Engineering. 10.1109/ICSE.1996.493440. 0-8186-7247-1. (451-463).
Mira Da Silva M, Atkinson M and Black A. Semantics for parameter passing in a type-complete persistent RPC 16th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1996.507989. 0-8186-7399-0. (411-418).
Tae-Hyung Kim and Purtilo J.
(1996). A source-level transformation framework for RPC-based distributed programs Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing. 10.1109/HPDC.1996.546176. 0-8186-7582-9. (78-87).
Warren I and Sommerville I. A model for dynamic configuration which preserves application integrity International Conference on Configurable Distributed Systems. 10.1109/CDS.1996.509349. 0-8186-7395-8. (81-88).
Wolff T.
(1996). Transparent Object Distribution and Remote Inheritance. Tools and Environments for Parallel and Distributed Systems. 10.1007/978-1-4615-4123-3_13. (279-303).
Wolff T and Löhr K.
(1996). Transparently programming heterogeneous distributed systems. Distributed Platforms. 10.1007/978-0-387-34947-3_30. (399-412).
Birrell A, Nelson G, Owicki S and Wobber E.
(1995). Network objects. Software—Practice & Experience. 25:S4. (87-130). Online publication date: 30-Dec-1995.
Novak Jr. G.
(1995). Creation of Views for Reuse of Software with Different Data Representations. IEEE Transactions on Software Engineering. 21:12. (993-1005). Online publication date: 1-Dec-1995.
Mira da Silva M. Automating type-safe RPC RIDE-DOM'95. Fifth International Workshop on Research Issues in Data Engineering-Distributed Object Management. 10.1109/RIDE.1995.378739. 0-8186-7056-8. (100-107).
Wolff T. Transparently distributing objects with inheritance Twenty-Eighth Annual Hawaii International Conference on System Sciences. 10.1109/HICSS.1995.375458. 0-8186-6935-7. (222-231).
Toyn I and Dix A.
(2006). Efficient binary transfer of pointer structures. Software: Practice and Experience. 10.1002/spe.4380241103. 24:11. (1001-1023). Online publication date: 1-Nov-1994.
Bogle P and Liskov B. Reducing cross domain call overhead using batched futures. Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications. (341-354).
Purtilo J.
(1994). The POLYLITH software bus. ACM Transactions on Programming Languages and Systems. 16:1. (151-174). Online publication date: 1-Jan-1994.
Lin Huang and Lamb D. Communicating abstract data type values in heterogeneous distributed programs 14th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1994.302453. 0-8186-5840-1. (458-465).
Hseush and Kaiser . The design and implementation of late binding in a distributed programming language. Proceedings of the 1993 5th IEEE Symposium on Parallel and Distributed Processing. (438-445).
Baker H.
(1993). Equal rights for functional objects or, the more things change, the more they are the same. ACM SIGPLAN OOPS Messenger. 4:4. (2-27). Online publication date: 1-Oct-1993.
Chiba S and Masuda T. Designing an Extensible Distributed Language with a Meta-Level Architecture. Proceedings of the 7th European Conference on Object-Oriented Programming. (482-501).
Ohori A and Kato K. Semantics for communication primitives in a polymorphic language. Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (99-112).
Chiba S and Masuda T. Designing an Extensible Distributed Language with a Meta-Level Architecture. ECOOP’ 93 — Object-Oriented Programming. 10.1007/3-540-47910-4_24. (482-501).
Soares P. On remote procedure call. Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2. (215-267).
Evers D and Robinson P. Modula-3 network objects over ANSA. Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring. (1-5).
Greif I, Seliger R and Weihl W.
(1992). A Case Study of CES. IEEE Transactions on Software Engineering. 18:9. (827-839). Online publication date: 1-Sep-1992.
Novak G, Hill F, Wan M and Sayrs B.
(1992). Negotiated Interfaces for Software Reuse. IEEE Transactions on Software Engineering. 18:7. (646-653). Online publication date: 1-Jul-1992.
Sitaraman M. A class of programming language mechanisms to facilitate multiple implementations of the same specification 1992 International Conference on Computer Languages. 10.1109/ICCL.1992.185491. 0-8186-2585-6. (272-281).
Bilgic M. High performance PDU processing for application layer First International Symposium on High-Performance Distributed Computing. (HPDC-1). 10.1109/HPDC.1992.246476. 0-8186-2970-3. (161-170).
Campos A and Hanson D. Distributed EZ (string processing language) [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference. 10.1109/CMPSAC.1992.217590. 0-8186-3000-0. (136-142).
Wileden J, Wolf A, Rosenblatt W and Tarr P.
(1991). Specification-level interoperability. Communications of the ACM. 34:5. (72-87). Online publication date: 1-May-1991.
Volz R, Krishnan P and Theriault R.
(1991). Distributed Ada. Information and Software Technology. 33:4. (292-300). Online publication date: 1-May-1991.
Wei Y, Stoyenko A and Goldszmidt G.
(1991). The design of a stub generator for heterogeneous RPC systems. Journal of Parallel and Distributed Computing. 11:3. (188-197). Online publication date: 1-Feb-1991.
Stadel M.
(1991). Object oriented programming techniques to replace software components on the fly in a running program. ACM SIGPLAN Notices. 26:1. (99-108). Online publication date: 1-Jan-1991.
Purtilo J and Hofmeister C. Dynamic reconfiguration of distributed programs 11th International Conference on Distributed Computing Systems. 10.1109/ICDCS.1991.148726. 0-8186-2144-3. (560-571).
Jordan M.
(1990). An extensible programming environment for Modula-3. ACM SIGSOFT Software Engineering Notes. 15:6. (66-76). Online publication date: 1-Dec-1990.
Levy H and Tempero E.
(1990). Modules, objects and distributed programming. Software—Practice & Experience. 21:1. (77-90). Online publication date: 1-Dec-1990.
Jordan M. An extensible programming environment for Modula-3. Proceedings of the fourth ACM SIGSOFT symposium on Software development environments. (66-76).
Stamos J and Gifford D.
(1990). Remote evaluation. ACM Transactions on Programming Languages and Systems. 12:4. (537-564). Online publication date: 1-Oct-1990.
Wileden J, Wolf A, Rosenblatt W and Tarr P. Specification level interoperability. Proceedings of the 12th international conference on Software engineering. (74-85).
Wileden J, Wolf A, Rosenblatt W and Tarr P. Specification level interoperability 12th International Conference on Software Engineering. 10.1109/ICSE.1990.63605. 0-8186-2026-9. (74-85).
Bal H, Kaashoek M and Tanenbaum A. Experience with distributed programming in Orca 1990 International Conference on Computer Languages. 10.1109/ICCL.1990.63763. 0-8186-2036-6. (79-89).
Bal H, Steiner J and Tanenbaum A.
(1989). Programming languages for distributed computing systems. ACM Computing Surveys. 21:3. (261-322). Online publication date: 1-Sep-1989.
Ravindran K and Chanson S.
(1989). Failure Transparency in Remote Procedure Calls. IEEE Transactions on Computers. 38:8. (1173-1187). Online publication date: 1-Aug-1989.
Martin T, Macleod I and Nordin B.
(1989). Remote procedure call facility for a PC environment. Computer Communications. 10.1016/0140-3664(89)90045-5. 12:1. (31-38). Online publication date: 1-Feb-1989.
Ravindran K, Chanson S and Ramakrishnan K. Reliable client-server communication in distributed programs [1989] Proceedings. 14th Conference on Local Computer Networks. 10.1109/LCN.1989.65268. 0-8186-1968-6. (242-251).
Gifford D and Glasser N.
(1988). Remote pipes and procedures for efficient distributed communication. ACM Transactions on Computer Systems. 6:3. (258-283). Online publication date: 1-Aug-1988.
Bisiani R and Forin A.
(1988). Multilanguage Parallel Programming of Heterogeneous Machines. IEEE Transactions on Computers. 37:8. (930-945). Online publication date: 1-Aug-1988.
Liskov B and Shrira L.
(1988). Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. ACM SIGPLAN Notices. 23:7. (260-267). Online publication date: 1-Jul-1988.
Liskov B and Shrira L. Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation. (260-267).
Jul E, Levy H, Hutchinson N and Black A.
(1988). Fine-grained mobility in the Emerald system. ACM Transactions on Computer Systems. 6:1. (109-133). Online publication date: 1-Feb-1988.
Berzins V. The design of software interfaces in Spec Proceedings. 1988 International Conference on Computer Languages. 10.1109/ICCL.1988.13073. 0-8186-0874-9. (266-270).
Liskov B, Curtis D, Johnson P and Scheifer R. Implementation of Argus. Proceedings of the eleventh ACM Symposium on Operating systems principles. (111-122).
Liskov B, Curtis D, Johnson P and Scheifer R.
(1987). Implementation of Argus. ACM SIGOPS Operating Systems Review. 21:5. (111-122). Online publication date: 1-Nov-1987.
Nichols D.
(1987). Using idle workstations in a shared computing environment. ACM SIGOPS Operating Systems Review. 21:5. (5-12). Online publication date: 1-Nov-1987.
Lamb D.
(1987). IDL: sharing intermediate representations. ACM Transactions on Programming Languages and Systems. 9:3. (297-318). Online publication date: 1-Jul-1987.
Gibbons P.
(1987). A Stub Generator for Multilanguage RPC in Heterogeneous Environments. IEEE Transactions on Software Engineering. 13:1. (77-87). Online publication date: 1-Jan-1987.
Black A, Hutchinson N, Jul E, Levy H and Carter L.
(1987). Distrbution and Abstract Types in Emerald. IEEE Transactions on Software Engineering. 13:1. (65-76). Online publication date: 1-Jan-1987.
Black A, Hutchinson N, Jul E and Levy H.
(1986). Object structure in the Emerald system. ACM SIGPLAN Notices. 21:11. (78-86). Online publication date: 1-Nov-1986.
Wiebe D. A distributed repository for immutable persistent objects. Conference proceedings on Object-oriented programming systems, languages and applications. (453-465).
Black A, Hutchinson N, Jul E and Levy H. Object structure in the Emerald system. Conference proceedings on Object-oriented programming systems, languages and applications. (78-86).
Berzins V, Gray M and Naumann D.
(1986). Abstraction-based software development. Communications of the ACM. 29:5. (402-415). Online publication date: 1-May-1986.
Lee I, Prywes N and Szymanski B.
(1986). Partitioning of Massive/Real-Time Programs for Parallel Processing. . 10.1016/S0065-2458(08)60475-1. (215-275).
Liskov B and Herlihy M.
(1986). Issues in Process and Communication Structure for Distributed Programs. Computer Systems for Process Control. 10.1007/978-1-4613-2237-5_10. (213-240).
Sarin S and Greif I. Software for interactive on-line conferences. Proceedings of the second ACM-SIGOA conference on Office information systems. (46-58).
Winner R and Carter E.
(1983). Toward type-oriented dynamic vertical migration. ACM SIGMICRO Newsletter. 14:4. (128-139). Online publication date: 1-Dec-1983.
Liskov B and Scheifler R.
(1983). Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Transactions on Programming Languages and Systems. 5:3. (381-404). Online publication date: 1-Jul-1983.