Travelled to:1 × Denmark
1 × Luxembourg
1 × Poland
1 × The Netherlands
1 × United Kingdom
12 × USA
2 × Belgium
2 × France
2 × Germany
3 × Canada
3 × Japan
3 × Spain
4 × Portugal
6 × Italy
Collaborated with:D.S.Warren B.Demoen T.Swift J.Wilhelmsson E.Johansson M.Christakis ∅ P.Gustafsson T.Lindahl M.Pettersson M.Leuschel D.D.Schreye B.Martens M.Pitidis T.Avgerinos Z.Somogyi P.J.Stuckey H.Makholm P.A.Abdulla S.Aronis B.Jonsson I.V.Ramakrishnan A.Giantsios N.S.Papaspyrou A.Gotovos J.Silva S.Tamarit V.S.Costa R.Lopes D.Luna R.Carlsson R.Vandeginste H.Nässén M.Carlsson S.Verbaeten M.Bruynooghe M.Codish S.Kaxiras D.Klaftenegger M.Norgren A.Ros S.Decorte P.Rao M.F.Atig C.Leonardsson S.Dawson C.R.Ramakrishnan S.Skiena
Talks about:program (11) erlang (10) tabl (9) analysi (8) prolog (7) languag (6) concurr (5) effici (5) detect (5) compil (5)
Person: Konstantinos F. Sagonas
DBLP: Sagonas:Konstantinos_F=
Facilitated 1 volumes:
EdContributed to:
2015
2015
2015
2014
2013
20132011
2010
201020102009
200720072007
2006200620062005
200420042004
200320022002200220022002200120002000199919991998199819981997
1997
19961996199519951994
1994Wrote 47 papers:
- HPDC-2015-KaxirasKNRS #approach #distributed #execution #memory management #scalability
- Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.
- PPDP-2015-GiantsiosPS #functional #testing
- Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
- TACAS-2015-AbdullaAAJLS #model checking
- Stateless Model Checking for TSO and PSO (PAA, SA, MFA, BJ, CL, KFS), pp. 353–367.
- POPL-2014-AbdullaAJS #partial order #reduction
- Optimal dynamic partial order reduction (PAA, SA, BJ, KFS), pp. 373–384.
- ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing
- Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
- PEPM-2013-SagonasST #fault #precise #type system
- Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.
- PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using
- Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
- FLOPS-2010-Sagonas #concurrent #detection #erlang #fault #source code #static analysis #using
- Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs (KFS), pp. 13–18.
- IFL-2010-PitidisS #erlang
- Purity in Erlang (MP, KFS), pp. 137–152.
- PADL-2010-ChristakisS #detection #erlang #static analysis
- Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
- PPDP-2009-SagonasA #automation #erlang #refactoring #source code
- Automatic refactoring of Erlang programs (KFS, TA), pp. 13–24.
- ICLP-2007-CostaSL #prolog
- Demand-Driven Indexing of Prolog Clauses (VSC, KFS, RL), pp. 395–409.
- PADL-2007-GustafssonS #erlang #evaluation #implementation #performance #programming
- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang (PG, KFS), pp. 94–108.
- PPDP-2007-Sagonas #detection #erlang #fault #source code #static analysis #using
- Detecting defects in Erlang programs using static analysis (KFS), p. 37.
- ISMM-2006-SagonasW
- Mark and split (KFS, JW), pp. 29–39.
- PADL-2006-SomogyiS #design #implementation
- Tabling in Mercury: Design and Implementation (ZS, KFS), pp. 150–167.
- PPDP-2006-LindahlS #type inference
- Practical type inference based on success typings (TL, KFS), pp. 167–178.
- PPDP-2005-LunaPS #compilation #experience #functional
- Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.
- ESOP-2004-GustafssonS #adaptation #pattern matching
- Adaptive Pattern Matching on Binary Data (PG, KFS), pp. 124–139.
- ISMM-2004-SagonasW #concurrent #garbage collection #incremental
- Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language (KFS, JW), pp. 1–12.
- PPDP-2004-SagonasS
- Just enough tabling (KFS, PJS), pp. 78–89.
- SAS-2003-CarlssonSW #analysis #concurrent
- Message Analysis for Concurrent Languages (RC, KFS, JW), pp. 73–90.
- FLOPS-2002-PetterssonSJ #compilation #erlang #evaluation #performance
- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.
- ICLP-2002-MakholmS #on the
- On Enabling the WAM with Region Support (HM, KFS), pp. 163–178.
- IFL-2002-LindahlS #compilation #float
- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.
- ISMM-2002-JohanssonSW #architecture #concurrent #message passing #using
- Heap architectures for concurrent languages using message passing (EJ, KFS, JW), pp. 195–206.
- PADL-2002-JohanssonS #compilation #erlang #linear
- Linear Scan Register Allocation in a High-Performance Erlang Compiler (EJ, KFS), pp. 101–119.
- PADL-2002-VandeginsteSD #garbage collection #order #prolog
- Segment Order Preserving and Generational Garbage Collection for Prolog (RV, KFS, BD), pp. 299–317.
- PPDP-2001-NassenCS #prolog #virtual machine
- Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
- PADL-2000-DemoenS #experience #garbage collection
- Heap Garbage Collection in XSB: Practice and Experience (BD, KFS), pp. 93–108.
- PPDP-2000-JohanssonPS #erlang #performance
- A high performance Erlang system (EJ, MP, KFS), pp. 32–43.
- PADL-1999-DemoenS #approach #chat #named
- CHAT: The Copy-Hybrid Approach to Tabling (BD, KFS), pp. 106–121.
- PPDP-1999-VerbaetenSS #composition #prolog #proving #termination
- Modular Termination Proofs for Prolog with Tabling (SV, KFS, DDS), pp. 342–359.
- ALP-PLILP-1998-DemoenS #approach #named
- CAT: The Copying Approach to Tabling (BD, KFS), pp. 21–35.
- ESOP-1998-BruynoogheLS #analysis #deduction
- A Polyvariant Binding-Time Analysis for Off-line Partial Deduction (MB, ML, KFS), pp. 27–41.
- ISMM-1998-DemoenS #memory management #prolog
- Memory Management for Prolog with Tabling (BD, KFS), pp. 97–106.
- ICLP-1997-CodishDS #program analysis
- XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.
- LOPSTR-1997-DecorteSLMS #analysis #logic programming #termination
- Termination Analysis for Tabled Logic Programming (SD, DDS, ML, BM, KFS), pp. 111–127.
- LOPSTR-1997-LeuschelMS #logic programming #source code #termination
- Preserving Termination of Tabled Logic Programs While Unfolding (ML, BM, KFS), pp. 189–205.
- CADE-1996-SagonasSW #automaton #source code
- An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.
- JICSLP-1996-SagonasSW #automaton #semantics
- An Abstract Machine for Computing the Well-Founded Semantics (KFS, TS, DSW), pp. 274–288.
- ICLP-1995-RamakrishnanRSSW #logic programming #performance #source code
- Efficient Tabling Mechanisms for Logic Programs (IVR, PR, KFS, TS, DSW), pp. 697–711.
- ICLP-1995-SagonasW #execution #implementation #performance #prolog
- Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.
- POPL-1995-DawsonRRSSSW #execution #logic programming #performance #source code #unification
- Unification Factoring for Efficient Execution of Logic Programs (SD, CRR, IVR, KFS, SS, TS, DSW), pp. 247–258.
- ILPS-1994-SagonasW #compilation #prolog
- A Portable Compiler for Integrating HiLog into Prolog Systems (KFS, DSW), p. 682.
- SIGMOD-1994-SagonasSW #database #deduction #performance
- XSB as an Efficient Deductive Database Engine (KFS, TS, DSW), pp. 442–453.
- SIGMOD-1994-SagonasSW94a #database #deduction
- XSB as a Deductive Database (KFS, TS, DSW), p. 512.