Publications

Contribution to book anthology

Ganardi, M., Majumdar, R., Pavlogiannis, A., Schütze, L. & Zetzsche, G. (2022). Reachability in Bidirected Pushdown VASS. In M. Bojanczyk, E. Merelli & D. P. Woodruff (Eds.), 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 Article 124 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2022.124

Feldthaus, A. & Møller, A. (2014). Checking Correctness of TypeScript Interfaces for JavaScript Libraries. In OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications Association for Computing Machinery. https://doi.org/10.1145/2660193.2660215

Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Tool-supported Refactoring for JavaScript. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (pp. 119-138). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048078

Ernst, E., Schwarz, M. R., Strocco, F. & Møller, A. (2015). Message Safety in Dart. In Dynamic Languages Symposium 2015, DLS http://cs.au.dk/~amoeller/papers/fletch/paper.pdf

Endo, A. T. & Møller, A. (2020). NodeRacer: Event Race Detection for Node.js Applications. In 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020: Proceedings (pp. 120-130). Article 9159075 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICST46399.2020.00022

Elgaard, J., Møller, A. & Schwartzbach, M. I. (2000). Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer. https://doi.org/10.1007/3-540-46425-5_8

Elgaard, J., Klarlund, N. & Møller, A. (1998). MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.), Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer. https://doi.org/10.1007/BFb0028773

Durocher, L., Karras, P., Pavlogiannis, A. & Tkadlec, J. (2022). Invasion Dynamics in the Biased Voter Process. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (pp. 265-271). IJCAI Organization. https://doi.org/10.24963/ijcai.2022/38

Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. In M. Nielsen & U. Engberg (Eds.), Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (pp. 367-393). Springer. https://doi.org/10.1007/3-540-45931-6_8

Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 78-91). Springer. https://doi.org/10.1007/3-540-44716-4_5

Danvy, O. (2003). A Journey from Interpreters to Compilers and Virtual Machines. In F. Pfenning & Y. Smaragdakis (Eds.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (pp. 117). Springer. https://doi.org/10.1007/978-3-540-39815-8_7

Danvy, O. (2003). A New One-Pass Transformation into Monadic Normal Form. In G. Hedin (Ed.), Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 77-89). Springer. https://doi.org/10.1007/3-540-36579-6_6

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. In A. Middeldorp & T. Sato (Eds.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (pp. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. In S. D. Swierstra (Ed.), Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (pp. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

Danvy, O. (1998). A simple solution to type specialization. In K. G. Larsen, S. Skyum & G. Winskel (Eds.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (pp. 908-917). Springer. https://doi.org/10.1007/BFb0055112

Danvy, O. & Rhiger, M. (2001). A Simple Take on Typed Abstract Syntax in Haskell-like Languages. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 343-358). Springer. https://doi.org/10.1007/3-540-44716-4_22

Danvy, O., Rhiger, M. & Grobauer, B. (2001). A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer. https://doi.org/10.1007/3-540-44806-3_7

Danvy, O., Johannsen, J. & Zerny, I. (2011). A Walk in the Semantic Park. In S-C. Khoo & J. Siek (Eds.), Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/1929501.1929503

Danvy, O., Thiemann, P. & Zerny, I. (2013). Circularity and Lambda Abstraction. In Proceedings, The 25th symposium on Implementation and Application of Functional Languages. ScienceGate. http://www.sciencegate.ch/home?p_p_id=new_search_portlet_WAR_PSW_3_SciencegatePortlets&p_p_lifecycle=1&p_p_state=normal&p_p_mode=view&p_p_col_id=column-3&p_p_col_pos=1&p_p_col_count=4&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_action=search&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_field=dc.source&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_mode=mode.exact&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_sort=&_new_search_portlet_WAR_PSW_3_SciencegatePortlets_query=The+25th+symposium+on+Implementation+and+Application+of+Functional+Languages.

Danvy, O. & Rhiger, M. (1997). Compiling Actions by Type-Directed Partial Evaluation. In Proceedings of the Nordic Workshop on Programming Theory. NWPT'97

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Danvy, O. (1996). Décompilation de lambda-interprètes. In JFLA '96 - Journées Francophones des Langages Applicatifs (Vol. 15)

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. In roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (pp. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Danvy, O. & Johannsen, J. (2014). From Outermost Reduction Semantics to Abstract Machine. In G. Gupta & R. Ricardo Peña (Eds.), 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers (pp. 91-98). Springer VS. https://doi.org/10.1007/978-3-319-14125-1

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. In T. Nipkow (Ed.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (pp. 286-301). Springer. https://doi.org/10.1007/BFb0052377

Danvy, O. & Schultz, U. P. (1997). Lambda-dropping: transforming recursive equations into programs with block structure. In PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (pp. 90-106). Association for Computing Machinery. https://doi.org/10.1145/258993.259007

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. In Z. Hu & M. Rodríguez-Artalejo (Eds.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (pp. 134-151). Springer. https://doi.org/10.1007/3-540-45788-7_8

Danvy, O. & Spivey, M. (2007). On Barron and Strachey's Cartesian Product Function: Possibly the world's first functional pearl. In R. Hinze & N. Ramsey (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 (pp. 41-46). Association for Computing Machinery. https://doi.org/10.1145/1291151.1291161

Danvy, O. (2004). On Evaluation Contexts, Continuations, and the Rest of the Computation. In Ikke angivet (CSR-04-1 of Technical Reports ed., pp. 13-23). School of Computer Science, University of Birmingham.

Danvy, O. (1998). Online Type-Directed Partial Evaluation. In Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (pp. 271-295)

Danvy, O. (2009). Peter J. Landin (1930-2009). In J. Clements (Ed.), Proceedings of the Scheme and Functional Programming Workshop (pp. 126-129). California Polytechnic State University - San Luis Obispo. http://digitalcommons.calpoly.edu/csse_fac/83

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. In O. Danvy, R. Glück & P. Thiemann (Eds.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (pp. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Danvy, O. & Vestergaard, R. (1996). Semantics-based compiling: A case study in type-directed partial evaluation. In H. Kuchen & S. D. Swierstra (Eds.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (pp. 182-197). Springer. https://doi.org/10.1007/3-540-61756-6_85

Danvy, O. (Ed.) (2003). Special Issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. In P. Thiemann (Ed.), Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002) (Vol. 16(4), pp. 295-401). Springer.

Danvy, O., Damian, D. & Taha, W. (Ed.) (2001). Static Transition Compression. In Semantics, Applications, and Implementation of Program Generation (Vol. 2196 of Lecture Notes in Computer Science, pp. 92-107). Springer.

Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. In P. Degano (Ed.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23

Danvy, O. & Goldberg, M. (2002). There and Back Again. In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (pp. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500

Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 21-36). Association for Computing Machinery.

Danvy, O. (1999). Type-Directed Partial Evaluation. In J. Hatcliff, T. Æ. Mogensen & P. Thiemann (Eds.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (pp. 367-411). Springer. https://doi.org/10.1007/3-540-47018-2_16

Danvy, O. (1996). Type-Directed Partial Evaluation. In Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (pp. 242-257). Association for Computing Machinery.

Damian, D. & Danvy, O. (2001). Static Transition Compression. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 92-107). Springer. https://doi.org/10.1007/3-540-44806-3_6

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (pp. 209-220). Association for Computing Machinery.

Christensen, A. S., Kirkegaard, C. & Møller, A. (2004). A Runtime System for XML Transformations in Java. In Z. Bellahsene, T. Milo, M. Rys, D. Suciu & R. Unland (Eds.), Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings (pp. 143-157). Springer. https://doi.org/10.1007/978-3-540-30081-6_11

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2003). Precise Analysis of String Expressions. In Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings (pp. 1-18). Springer. https://doi.org/10.1007/3-540-44898-5_1

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2002). Static Analysis for Dynamic XML. In E-Proceeding of PLAN-X 2002 http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1868950904.pdf

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R. & Pavlogiannis, A. (2020). Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. In P. Müller (Ed.), Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (pp. 112-140). Springer. https://doi.org/10.1007/978-3-030-44914-8_5

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Quantitative Verification on Product Graphs of Small Treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) (Vol. ´, pp. 42:1-42:23). Article 42 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

Caltais, G., Hojjat, H., Mousavi, M. R. & Tunç, H. C. (2022). DyNetKAT: An Algebra of Dynamic Networks. In P. Bouyer & L. Schröder (Eds.), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 184-204). Springer. https://doi.org/10.1007/978-3-030-99253-8_10

Brabrand, C., Giegerich, R. & Møller, A. (2007). Analyzing Ambiguity of Context-Free Grammars. In Proc. 12th International Conference on Implementation and Application of Automata

Displaying results 101 to 150 out of 439

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

Contribution to book anthology

Magnus Madsen

Andreas Pavlogiannis

Publications

Contribution to book anthology

Faculty

Magnus Madsen

Andreas Pavlogiannis