Search results for "erlang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
169	Ulf T. Wiger, Gösta Ask, Kent Boortz	World-class product certification using Erlang.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	testing, erlang
152	Scott Lystig Fritchie	The evolution of Erlang drivers and the Erlang driver toolkit.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	code generation, functional programming, Erlang, language extensibility
136	Alceste Scalas, Giovanni Casu, Piero Pili	High-performance technical computing with erlang.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	numerical applications, erlang, hpc
136	Hans Svensson, Lars-Åke Fredlund	A more accurate semantics for distributed Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	distributed systems, model checking, verification, semantics, erlang
131	Clara Benac Earle, Lars-Åke Fredlund, John Derrick	Verifying fault-tolerant Erlang programs.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	code verification, fault-tolerance, concurrency
131	Joe Armstrong	Getting Erlang to talk to the outside world.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
124	Philip W. Trinder	Comparing C++ and ERLANG for motorola telecoms software.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	C++, ERLANG
124	Emil Hellman	Evaluation of database management systems for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	DBMS, AHP, Erlang
120	Lars-Åke Fredlund, Clara Benac Earle	Model checking erlang programs: the functional approach.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	code verification, concurrency
113	Jan Henry Nyström	Automatic assessment of failure recovery in Erlang applications.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	erlang
113	Konstantinos Sagonas, Daniel Luna	Gradual typing of erlang programs: a wrangler experience.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	dialyzer, software defect detection, contracts, erlang
113	Vincenzo Nicosia	Towards hard real-time Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	scheduling, real time, erlang
113	Qiang Guo 0001, John Derrick	Verification of timed Erlang/OTP components using the process algebra mucrl.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	OTP, process algebra ?CRL, timeout events, verification, erlang
113	Romain Lenglet, Shigeru Chiba	Dryverl: a flexible Erlang/C binding compiler.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	stub, compiler, C, erlang, binding, port, driver, ODP
113	Antonella Di Stefano, Francesca Gangemi, Corrado Santoro	ERESYE: artificial intelligence in Erlang programs.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	RETE algorithm, ontologies, expert systems, Erlang
111	Thomas Arts, Clara Benac Earle, John Derrick	Verifying Erlang Code: A Resource Locker Case-Study.	FME	2002	DBLP DOI BibTeX RDF	Model checking, formal verification, process algebra, telecommunication, Erlang
108	Gábor Fehér, András G. Békés	ECT: an object-oriented extension to Erlang.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	object oriented programming
108	Daniel Luna, Mikael Pettersson, Konstantinos Sagonas	HiPE on AMD64.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	AMD64, native code compilation, erlang
102	Richard Carlsson, Mickaël Rémond	EUnit: a lightweight unit testing framework for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	frameworks, unit testing, Erlang, agile methods
102	Richard Carlsson, Björn Gustavsson, Patrik Nyblom	Erlang's exception handling revisited.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	semantics, exception handling, erlang
101	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
97	Chanchal Kumar Roy, Thomas Noll 0001, Banani Roy, James R. Cordy	Towards automatic verification of Erlang programs by pi-calculus translation.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	translation mapping, mobile systems, ?-calculus, functional programming languages
97	Per Gustafsson, Konstantinos Sagonas	Native code compilation of Erlang's bit syntax.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
97	Oscar Hellström	Optimising TCP/IP connectivity.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	scalability, TCP/IP, erlang
94	Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren	The development of the HiPE system: design and experience report.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Programming language implementation, Virtual machines and compilation methods, Functional programming, Concurrent programming, Erlang, Hacking
91	Thanassis Avgerinos, Konstantinos Sagonas	Cleaning up Erlang code is a dirty job but somebody's gotta do it.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	code cleanup, code simplification, program transformation, refactoring, erlang
91	Tamás Nagy, Anikó Nagyné Víg	Erlang testing and tools survey.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	market analysis, erlang, test tools
91	Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas	A language for specifying type contracts in Erlang and its interaction with success typings.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	success typings, contracts, erlang
91	Francesco Cesarini, Lukas Larsson, Michal Slaski	From HTTP to HTML: Erlang/OTP experiences in web based service applications.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	HTML, HTTP, erlang, web frameworks
91	Per Gustafsson, Konstantinos Sagonas	Bit-level binaries and generalized comprehensions in Erlang.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	bit-streams, Erlang, comprehensions, binaries
91	Jay Nelson	A stream library using Erlang binaries.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	stream, erlang, binary, BIF
91	Tobias Lindahl, Konstantinos Sagonas	TypEr: a type annotator of Erlang code.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, principal typings, constraint-based type inference
88	Konstantinos Sagonas, Thanassis Avgerinos	Automatic refactoring of Erlang programs.	PPDP	2009	DBLP DOI BibTeX RDF	code cleanup, code simplification, program transformation, refactoring, erlang
88	Junfeng Wang 0003, Jin Liu, Chundong She	Segment-based adaptive hyper-Erlang model for long-tailed network traffic approximation.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Hyper-Erlang distribution, Adaptive approximation, Network traffic, Expectation maximization (EM) algorithm
88	Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel	Experience report: erlang in acoustic ray tracing.	ICFP	2008	DBLP DOI BibTeX RDF	acoustic ray tracing, C++, Erlang
88	Qiang Guo 0001, John Derrick, Csaba Hoch	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.	FORTE	2008	DBLP DOI BibTeX RDF	Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
88	Frank Huch	Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.	ICFP	1999	DBLP DOI BibTeX RDF	distributed system, model checking, verification, abstract interpretation, Erlang
86	Hans Svensson, Lars-Åke Fredlund	Programming distributed Erlang applications: pitfalls and recipes.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	distribution, message passing
86	Javier París, Víctor M. Gulías, Alberto Valderruten	A high performance Erlang Tcp/Ip stack.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, functional programming, TCP/IP
86	Thomas Noll 0001, Chanchal Kumar Roy	Modeling Erlang in the pi-calculus.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	mobile systems, pi-calculus, functional programming languages
86	Francesco Cesarini, Viviana Pappalardo, Corrado Santoro	A comparative evaluation of imperative and functional implementations of the imap protocol.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	erlang, functional languages, imperative languages, comparative evaluation, imap
86	Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth	Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	erlide, wrangler, refactoring, process, eclipse, erlang, slicing, record, tuple
86	Joe Armstrong	EX11: a GUI in a concurrent functional language.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	x protocol, concurrency, GUI, erlang, x windows
83	Joe Armstrong	A history of Erlang.	HOPL	2007	DBLP DOI BibTeX RDF
83	Marc Feeley, Martin Larose	Compiling Erlang to Scheme.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
81	Thorsten Schütt, Florian Schintke, Alexander Reinefeld	Scalaris: reliable transactional p2p key/value store.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	key/value store, peer-to-peer, transactions, wikipedia
80	Sten Grüner, Thomas Lorentsen	Teaching Erlang using robotics and player/stage.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	player/stage, teaching, erlang
80	Thomas Arts, Laura M. Castro, John Hughes 0001	Testing Erlang data types with quviq quickcheck.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	quickcheck, erlang, datatypes
80	Frank Huch	Learning programming with Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	kara, education, programming, erlang
80	Ulf T. Wiger	Extended process registry for Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	process registry, erlang
80	Corrado Santoro	An Erlang framework for autonomous mobile robots.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	expert systems, erlang, autonomous robots
80	Koen Claessen, Hans Svensson	A semantics for distributed Erlang.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	distributed systems, verification, semantics, Erlang
80	Simon Aurell	Remote controlling devices using instant messaging: building an intelligent gateway in Erlang/OTP.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	agents, presence, instant messaging, Erlang, remote controlling, home automation, networked appliances, ubiquity
80	Mats Cronqvist	Troubleshooting a large erlang system.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	erlang
80	Scott Lystig Fritchie	A study of Erlang ETS table implementations and performance.	Erlang Workshop	2003	DBLP DOI BibTeX RDF	Judy array, in-memory database, Erlang, B-tree, hash table, AVL tree
77	Qiang Guo 0001	Verifying Erlang/OTP Components in mu CRL.	FORTE	2007	DBLP DOI BibTeX RDF	OTP, ?CRL, Verification, process algebra, Erlang
75	Hans Svensson	Implementing an LTL-to-Büchi translator in Erlang: a protest experience report.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	LTL-to-B?chi translator, QuickCheck, property driven development
75	Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías	On modelling agent systems with Erlang.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	distributed systems, multi-agent systems, functional programming
75	Sven-Olof Nyström	A soft-typing system for Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
75	Thomas Arts, Lars-Åke Fredlund	Trace analysis of Erlang programs.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
75	Clara Benac Earle, Lars-Åke Fredlund	Recent improvements to the McErlang model checker.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	model checking, verification, formal methods, erlang
75	Hugo Cortés, Mónica García, Jorge Hernández, Manuel Hernández-Gutiérrez, Esperanza Pérez-Cordoba, Erik Ramos	Development of a distributed system applied to teaching and learning.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	learning, functional programming, extreme programming, distributed programming, erlang
75	László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király	Introducing records by refactoring.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	refactoring, erlang, records
72	Joe Armstrong	Erlang - Software for a Concurrent World.	ECOOP	2007	DBLP DOI BibTeX RDF
72	Konstantinos Sagonas	Detecting defects in Erlang programs using static analysis.	PPDP	2007	DBLP DOI BibTeX RDF
72	Insoo Koo, Jeongrok Yang, Kiseon Kim	Erlang Capacity of Voice/Data CDMA Systems with Service Requirements of Blocking Probability and Delay Constraint.	ICN (2)	2005	DBLP DOI BibTeX RDF
72	Junfeng Wang, Hongxia Zhou, Lei Li, Fanjiang Xu	Accurate Long-tailed Network Traffic Approximation and Its Queueing Analysis by Hyper-Erlang Distributions.	LCN	2005	DBLP DOI BibTeX RDF
72	Junfeng Wang 0008, Hongxia Zhou, Mingtian Zhou, Lei Li	A general model for long-tailed network traffic approximation.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	Hyper-erlang distribution, Network measurements, Network traffic, Queueing analysis, Expectation maximization (EM) algorithm
70	Jan Henry Nyström, Philip W. Trinder, David J. King	Evaluating distributed functional languages for telecommunications software.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
68	Ingela Anderton Andin, Raimo Niskanen, Peter Dimitrov, Kiko Fernandez-Reyes	TLS the Erlang/OTP Way (Experience Report).	Erlang Workshop	2023	DBLP DOI BibTeX RDF
68	Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler	A Semantics of Core Erlang with Handling of Signals.	Erlang Workshop	2023	DBLP DOI BibTeX RDF
68	Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano	InfERL: scalable and extensible Erlang static analysis.	Erlang Workshop	2022	DBLP DOI BibTeX RDF
68	Nikos Tsikoudis, Marc Sugiyama	Troubleshooting the performance of a large Erlang system.	Erlang Workshop	2022	DBLP DOI BibTeX RDF
68	Ilya G. Klyuchnikov	eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote).	Erlang Workshop	2022	DBLP DOI BibTeX RDF
68	Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy	The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network.	Erlang Workshop	2021	DBLP DOI BibTeX RDF
68	Nithin Vadukkumchery Rajendrakumar, Annette Bieniusa	Bidirectional typing for Erlang.	Erlang Workshop	2021	DBLP DOI BibTeX RDF
68	Fernando Benavides Rodríguez, Laura M. Castro	Detecting oxbow code in Erlang codebases with the highest degree of certainty.	Erlang Workshop	2021	DBLP DOI BibTeX RDF
68	Konstantinos Sagonas	Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk).	Erlang Workshop	2021	DBLP DOI BibTeX RDF
68	Peter Zeller 0001, Annette Bieniusa, Carla Ferreira 0001	Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.	Erlang Workshop	2020	DBLP DOI BibTeX RDF
68	Viktória Fördós	Secure design and verification of Erlang systems.	Erlang Workshop	2020	DBLP DOI BibTeX RDF
68	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	Machine-checked natural semantics for Core Erlang: exceptions and side effects.	Erlang Workshop	2020	DBLP DOI BibTeX RDF
68	Joseph R. Harrison	Runtime type safety for erlang/otp behaviours.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
68	Igor Kopestenski, Peter Van Roy	Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
68	Håkan Mattsson, Cons T. Åhs	Lux: an expect-like test tool written in Erlang: synchronised testing of multiple sessions.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
68	Adam Lindberg, Sébastien Merle, Peer Stritzinger	Scaling Erlang distribution: going beyond the fully connected mesh.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
68	Gergely Nagy, Áron Attila Mészáros, István Bozó, Melinda Tóth	Tools supporting green computing in Erlang.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
68	Michal Slaski, Wojciech Turek	Towards online profiling of Erlang systems.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
66	Thomas Arts, Clara Benac Earle, John Derrick	Development of a verified Erlang program for resource locking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Formal methods, Functional programming, Erlang, Software verification
66	Insoo Koo, Aftab Ahmad, Kiseon Kim	Erlang Capacity of CDMA Systems Using Optimized Sectoring.	Int. J. Wirel. Inf. Networks	2003	DBLP DOI BibTeX RDF	Erlang capacity, optimized-sectoring, CDMA
66	Joe L. Armstrong	The Development of Erlang.	ICFP	1997	DBLP DOI BibTeX RDF	ERLANG
64	Torbjrn Trnkvist	An implementation of the SMB protocol in erlang.	Erlang Workshop	2004	DBLP DOI BibTeX RDF
64	Manfred Widera	Flow graphs for testing sequential Erlang programs.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	test coverage, flow graphs
64	David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro	ARMISTICE: an experience developing management software with Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF	distributed computing, design patterns, functional programming, concurrent programming, business logic, client/server architecture
64	Richard Carlsson	Parameterized modules in Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
64	Richard Carlsson	Hierarchical module namespaces in Erlang.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
63	László Lövei, Csaba Hoch, Hanna Köllö, Tamás Nagy, Anikó Nagyné Víg, Dániel Horpácsi, Róbert Kitlei, Roland Király	Refactoring module structure.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	clustering modules, refactoring, erlang
63	Jan Henry Nyström	Priority messaging made easy.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	generic, erlang, server, behaviour
63	Jay Nelson	Structured programming using processes.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	COPL, concurrency oriented programming language, inductive decomposition, erlang
63	Erik Stenman, Konstantinos Sagonas	On reducing interprocess communication overhead in concurrent programs.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	erlang, process scheduling, concurrent languages
61	Junfeng Wang, Hongxia Zhou, Fanjiang Xu, Lei Li	Hyper-Erlang Based Model for Network Traffic Approximation.	ISPA	2005	DBLP DOI BibTeX RDF