Jan Vraný

18 papers B 1Journal 4Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract).
Programming
Boris Shingarov, Jan Vraný
2024 — conf
Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs.
Programming
Jan Vraný, Boris Shingarov
2024 J jnl
Towards a Dynabook for verified VM construction.
J. Comput. Lang.
Boris Shingarov, Jan Vraný
2018 J jnl
Efficient parsing with parser combinators.
Sci. Comput. Program.
Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz
2016 — conf
Optimizing Parser Combinators.
IWST
Jan Kurs, Jan Vraný, Mohammad Ghafari, Mircea Lungu, Oscar Nierstrasz
2014 J jnl
On the integration of Smalltalk and Java.
Sci. Comput. Program.
Marcel Hlopko, Jan Kurs, Jan Vraný, Claus Gittinger
2013 — conf
Towards a Runtime Code Update in Java.
DATESO
Marcel Hlopko, Jan Kurs, Jan Vraný
2012 — conf
Efficient Method Lookup Customization for Smalltalk.
TOOLS (50)
Jan Vraný, Jan Kurs, Claus Gittinger
2012 — conf
On the integration of Smalltalk and Java: practical experience with STX: LIBJAVA.
IWST
Marcel Hlopko, Jan Kurs, Jan Vraný, Claus Gittinger
2011 — conf
Supporting Language Interoperability by Dynamically Switched Behaviors.
DATESO
Jan Kurs, Jan Vraný, Alexandre Bergel
2010 J jnl
CRAB - CombinatoRial Auction Body Software System.
J. Softw. Eng. Appl.
Petr Fiala, Jana Kalcevová, Jan Vraný
2010 — conf
Deferred Node-copying Scheme for XQuery Processors.
DATESO
Jan Kurs, Jan Vraný
2010 B conf
Multilanguage Debugger Architecture.
SOFSEM
Jan Vraný, Michal Píse
2007 — conf
A Debugger for the Interpreter Design Pattern.
ICSOFT/ENASE (Selected Papers)
Jan Vraný, Alexandre Bergel
2007 — conf
Presentation.
DATESO
Jan Vraný, Jan Zak
2007 — conf
The Debuggable Interpreter Design Pattern.
ICSOFT (PL/DPS/KE/MUSE)
Jan Vraný, Alexandre Bergel
2006 — conf
CellStore - the Vision of Pure Object Database.
DATESO
Jan Vraný
2006 — conf
Object Normalization as the Contribution to the Area of Formal Methods of Object-Oriented Database Design.
ICEIS (3)
Jan Vraný, Zdenek Struska, Vojtech Merunka