Konstantin Lufer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1996–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSoft | Can LLMs Write Correct TLA + Specifications? Evaluating Natural-Language-to-TLA + Generation. | Arslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad |
| 2026 | ICSoft | TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation. | Eric Spencer, Arslan Bisharat, Brian Ortiz, Mujtaba Nazari, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad |
| 2024 | FIE | WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+. | Konstantin Lufer, Gunda Mertin, George K. Thiruvathukal |
| 2014 | SIGCSE | Scala for introductory CS and parallelism(abstract only). | Mark C. Lewis, Konstantin Lufer, George K. Thiruvathukal |
| 2013 | SIGCSE | Using Scala strategically across the undergraduate curriculum (abstract only). | Mark C. Lewis, Konstantin Lufer, George K. Thiruvathukal |
| 2011 | ICSoft | Initial Experience in Moving Key Academic Department Functions to Social Networking Sites. | David B. Dennis, Konstantin Lufer, George K. Thiruvathukal |
| 2011 | ICSoft | REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers. | Joe Kaylor, Konstantin Lufer, George K. Thiruvathukal |
| 2009 | ICWS | GroupSpeak: High-level Language Extension for Workflow Capability. | Moshe Gutman, Sridhar Radhakrishnan, Changwook Kim, Chandra N. Sekharan, Konstantin Lufer |
| 2008 | SEKE | Combining SOA and BPM Technologies for Cross-System Process Automation. | S. Herr, Konstantin Lufer, J. Shafaee, George K. Thiruvathukal, Guido Wirtz |
| 2000 | CP | A Constraint-Based Framework for Prototyping Distributed Virtual Applications. | Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Lufer |
| 1996 | POPL | Putting Type Annotations to Work. | Martin Odersky, Konstantin Lufer |